Conferences in DBLP

Formalization of Programming Concepts (ICFPC) (icfpc)
1981 (conf/icfpc/1981)

1. John Backus
   The Algebra of Functional Programs: Function Level Reasoning, Linear Equations, and Extended Definitions. [Citation Graph (0, 0)][DBLP]
   ICFPC, 1981, pp:1-43 [Conf]
   
2. Dines Bjørner
   The VDM Principles of Software Specification and Program Design. [Citation Graph (0, 0)][DBLP]
   ICFPC, 1981, pp:44-74 [Conf]
   
3. Bruno Courcelle
   Attribute Grammars: Theory and Applications. [Citation Graph (0, 0)][DBLP]
   ICFPC, 1981, pp:75-95 [Conf]
   
4. Marie-Claude Gaudel
   Compiler Generation from Formal Definition of Programming Languages: A Survey. [Citation Graph (0, 0)][DBLP]
   ICFPC, 1981, pp:96-114 [Conf]
   
5. Peter E. Lauer, M. W. Shields, John Yiannis Cotronis
   Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions. [Citation Graph (0, 0)][DBLP]
   ICFPC, 1981, pp:115-151 [Conf]
   
6. José Meseguer
   A Birkhoff-Like Theorem for Algebraic Classes of Interpretations of Program Schemes. [Citation Graph (0, 0)][DBLP]
   ICFPC, 1981, pp:152-168 [Conf]
   
7. Erich J. Neuhold, Th. Olnhoff
   Building Data Base Management Systems Through Formal Specification. [Citation Graph (0, 0)][DBLP]
   ICFPC, 1981, pp:169-209 [Conf]
   
8. Egidio Astesiano, Gerardo Costa
   Reducing Types in Applicative Languages with Structured Data. [Citation Graph (0, 0)][DBLP]
   ICFPC, 1981, pp:210-217 [Conf]
   
9. Gérard Berry
   On the Definition of Lamda-Calculus Models. [Citation Graph (0, 0)][DBLP]
   ICFPC, 1981, pp:218-230 [Conf]
   
10. Didier Bert, Roger Soler
    About Data Type Genericity. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:231-243 [Conf]
    
11. Manfred Broy, Martin Wirsing
    On the Algebraic Extensions of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:244-251 [Conf]
    
12. J. Dean Brock, William B. Ackerman
    Scenarios: A Model of Non-Determinate Computation. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:252-259 [Conf]
    
13. Jack B. Dennis
    An Operational Semantics for a Language with Early Completion Data Structures. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:260-267 [Conf]
    
14. Jean-Louis Durieux
    Le Calcul des Fermetures dans les Lamda-Langages. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:268-279 [Conf]
    
15. N. Frances, Michael Rodeh, Michel Sintzoff
    Distributed Termination with Interval Assertions. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:280-291 [Conf]
    
16. Joseph A. Goguen, Kamran Parsaye-Ghomi
    Algebraic Denotational Semantics Using Parameterized Abstract Modules. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:292-309 [Conf]
    
17. Pedro Guerreiro
    Relational Semantics of Strongly Communicating Sequential Processes. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:310-326 [Conf]
    
18. Ryszard Janicki
    A Construction of Concurrent Systems by Means of Sequential Solutions and Concurrency Relations. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:327-334 [Conf]
    
19. Herbert Klaeren, Heiko Petzsch
    The Development of an Interpreter by Means of Abstract Algebraic Software Specifications. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:335-346 [Conf]
    
20. Juan M. Lafuente
    A Formal Model of an Interpreter for Nonprocedural Languages. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:347-355 [Conf]
    
21. Daniel Leivant
    A Proof Theoretic Methodology for Propositional Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:356-373 [Conf]
    
22. Jacek Leszczylowski
    FP Systems in Edinburgh LCF. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:374-386 [Conf]
    
23. Luis Mejia
    A Proposal for Operational Semantics and Equivalence of Finite Asynchronous Processes. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:387-400 [Conf]
    
24. Luís Monteiro
    An Extension to Horn Clause Logic Allowing the Definition of Concurrent Processes. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:401-407 [Conf]
    
25. Peter D. Mosses
    A Semantic Algebra for Binding Constructs. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:408-418 [Conf]
    
26. Fernando Orejas
    On the Representation of Data Types. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:419-431 [Conf]
    
27. Alberto Pettorossi
    An Approach to Communications and Parallelism in Applicative Languages. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:432-446 [Conf]
    
28. Axel Poigné
    Using Last Fixed Points to Characterize Formal Computations of Non-Deterministic Equations. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:447-459 [Conf]
    
29. John H. Williams
    Formal Representations for Recursively Defined Functional Programs. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:460-470 [Conf]
    
30. Piotr W. Prószynski
    Petri Nets and Concurrency-Like Relations. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:471-478 [Conf]