ICFPC

Keyphrases

Publications

1981

Gérard Berry
On the Definition of Lamda-Calculus Models. ICFPC (1981)
Dines Bjørner
The VDM Principles of Software Specification and Program Design. ICFPC (1981)
N. Frances, Michael Rodeh, Michel Sintzoff
Distributed Termination with Interval Assertions. ICFPC (1981)
Daniel Leivant
A Proof Theoretic Methodology for Propositional Dynamic Logic. ICFPC (1981)
Fernando Orejas
On the Representation of Data Types. ICFPC (1981)
Luís Monteiro
An Extension to Horn Clause Logic Allowing the Definition of Concurrent Processes. ICFPC (1981)
Herbert Klaeren, Heiko Petzsch
The Development of an Interpreter by Means of Abstract Algebraic Software Specifications. ICFPC (1981)
Marie-Claude Gaudel
Compiler Generation from Formal Definition of Programming Languages: A Survey. ICFPC (1981)
John H. Williams
Formal Representations for Recursively Defined Functional Programs. ICFPC (1981)
Piotr W. Prószynski
Petri Nets and Concurrency-Like Relations. ICFPC (1981)
Peter D. Mosses
A Semantic Algebra for Binding Constructs. ICFPC (1981)
Jean-Louis Durieux
Le Calcul des Fermetures dans les Lamda-Langages. ICFPC (1981)
José Meseguer
A Birkhoff-Like Theorem for Algebraic Classes of Interpretations of Program Schemes. ICFPC (1981)
Pedro Guerreiro
Relational Semantics of Strongly Communicating Sequential Processes. ICFPC (1981)
Luis Mejia
A Proposal for Operational Semantics and Equivalence of Finite Asynchronous Processes. ICFPC (1981)
Manfred Broy, Martin Wirsing
On the Algebraic Extensions of Abstract Data Types. ICFPC (1981)
Jack B. Dennis
An Operational Semantics for a Language with Early Completion Data Structures. ICFPC (1981)
Bruno Courcelle
Attribute Grammars: Theory and Applications. ICFPC (1981)
John W. Backus
The Algebra of Functional Programs: Function Level Reasoning, Linear Equations, and Extended Definitions. ICFPC (1981)
Juan M. Lafuente
A Formal Model of an Interpreter for Nonprocedural Languages. ICFPC (1981)
J. Dean Brock, William B. Ackerman
Scenarios: A Model of Non-Determinate Computation. ICFPC (1981)
Axel Poigné
Using Last Fixed Points to Characterize Formal Computations of Non-Deterministic Equations. ICFPC (1981)
Alberto Pettorossi
An Approach to Communications and Parallelism in Applicative Languages. ICFPC (1981)
Jacek Leszczylowski
FP Systems in Edinburgh LCF. ICFPC (1981)
Egidio Astesiano, Gerardo Costa
Reducing Types in Applicative Languages with Structured Data. ICFPC (1981)
Ryszard Janicki
A Construction of Concurrent Systems by Means of Sequential Solutions and Concurrency Relations. ICFPC (1981)
Didier Bert, Roger Soler
About Data Type Genericity. ICFPC (1981)
Peter E. Lauer, M. W. Shields, John Yiannis Cotronis
Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions. ICFPC (1981)
Joseph A. Goguen, Kamran Parsaye-Ghomi
Algebraic Denotational Semantics Using Parameterized Abstract Modules. ICFPC (1981)
Erich J. Neuhold, Thomas Olnhoff
Building Data Base Management Systems Through Formal Specification. ICFPC (1981)

volume 107, 1981

Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings ICFPC 107 (1981)