ICFPC 1981:
Peniscola,
Spain
Josep Díaz, Isidro Ramos (Eds.):
Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings.
Lecture Notes in Computer Science 107 Springer 1981, ISBN 3-540-10699-5 
@proceedings{DBLP:conf/icfpc/1981,
editor = {Josep D\'{\i}az and
Isidro Ramos},
title = {Formalization of Programming Concepts, International Colloquium,
Peniscola, Spain, April 19-25, 1981, Proceedings},
booktitle = {ICFPC},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {107},
year = {1981},
isbn = {3-540-10699-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Lectures
- John Backus:
The Algebra of Functional Programs: Function Level Reasoning, Linear Equations, and Extended Definitions.
1-43
- Dines Bjørner:
The VDM Principles of Software Specification and Program Design.
44-74
- Bruno Courcelle:
Attribute Grammars: Theory and Applications.
75-95
- Marie-Claude Gaudel:
Compiler Generation from Formal Definition of Programming Languages: A Survey.
96-114
- Peter E. Lauer, M. W. Shields, John Yiannis Cotronis:
Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions.
115-151
- José Meseguer:
A Birkhoff-Like Theorem for Algebraic Classes of Interpretations of Program Schemes.
152-168
- Erich J. Neuhold, Th. Olnhoff:
Building Data Base Management Systems Through Formal Specification.
169-209
Communications
Copyright © Tue Dec 1 16:18:06 2009
by Michael Ley (ley@uni-trier.de)
