Search results for "ICFPC"

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

Publications at "ICFPC"( http://dblp.L3S.de/Venues/ICFPC )