Conferences in DBLP

Advanced Courses (ac)
1979 (conf/ac/1979ass)

1. Heinz Zemanek
   Abstract Architecture. [Citation Graph (0, 0)][DBLP]
   Abstract Software Specifications, 1979, pp:1-42 [Conf]
   
2. Joseph E. Stoy
   Foundations of Denotational Semantics. [Citation Graph (0, 0)][DBLP]
   Abstract Software Specifications, 1979, pp:43-99 [Conf]
   
3. Cliff B. Jones
   Models of Programming Language Concepts. [Citation Graph (0, 0)][DBLP]
   Abstract Software Specifications, 1979, pp:100-143 [Conf]
   
4. Dines Bjørner
   Formalization of Data Base Models. [Citation Graph (0, 0)][DBLP]
   Abstract Software Specifications, 1979, pp:144-215 [Conf]
   
5. Dines Bjørner
   Experiments in Block-structured GOTO Modelling: exits vs. Continuations. [Citation Graph (0, 0)][DBLP]
   Abstract Software Specifications, 1979, pp:216-247 [Conf]
   
6. Stephen N. Zilles
   Introduction to Data Algebra. [Citation Graph (0, 0)][DBLP]
   Abstract Software Specifications, 1979, pp:248-272 [Conf]
   
7. Ole-Johan Dahl
   Time Swquences as a Tool for Describing Program Behaviour. [Citation Graph (0, 0)][DBLP]
   Abstract Software Specifications, 1979, pp:273-290 [Conf]
   
8. Rod M. Burstall, Joseph A. Goguen
   The Semantics of CLEAR, A Specification Language. [Citation Graph (0, 0)][DBLP]
   Abstract Software Specifications, 1979, pp:292-332 [Conf]
   
9. Bálint Dömölki
   An Example of Hierarchical Program Specification. [Citation Graph (0, 0)][DBLP]
   Abstract Software Specifications, 1979, pp:333-353 [Conf]
   
10. Barbara Liskov
    Modular Program Construction Using Abstractions. [Citation Graph (0, 0)][DBLP]
    Abstract Software Specifications, 1979, pp:354-389 [Conf]
    
11. Peter Lucas
    On the Structure of Application Programs. [Citation Graph (0, 0)][DBLP]
    Abstract Software Specifications, 1979, pp:390-438 [Conf]
    
12. H. Gerstmann, Alexander Ollongren
    Abstract Objects as Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    Abstract Software Specifications, 1979, pp:439-450 [Conf]
    
13. Peter E. Lauer, M. W. Shields, Eike Best
    Design & Analysis of Highly Parallel & Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Abstract Software Specifications, 1979, pp:451-503 [Conf]
    
14. David Park
    On the Semantics of Fair Parallelism. [Citation Graph (0, 0)][DBLP]
    Abstract Software Specifications, 1979, pp:504-526 [Conf]
    
15. Gordon D. Plotkin
    Dijkstras Predicate Transformers & Smyth's Power Domaine. [Citation Graph (0, 0)][DBLP]
    Abstract Software Specifications, 1979, pp:527-553 [Conf]
    
16. Heinz Zemanek
    Banquet Talk. [Citation Graph (0, 0)][DBLP]
    Abstract Software Specifications, 1979, pp:554-563 [Conf]