Programming Concepts and Methods

Keyphrases

Publications

1990

Johan Jeuring
Algorithms for Theorems. Programming Concepts and Methods (1990)
Beverly A. Sanders
Stepwise Refinement of Mixed Specifications of Concurrent Programs. Programming Concepts and Methods (1990)
Pierre America, Frank S. de Boer
A Proof System for Process Creation. Programming Concepts and Methods (1990)
Shmuel Katz, Ira R. Forman, Michael Evangelist
Language Constructs for Distributed Systems. Programming Concepts and Methods (1990)
Jifeng He, Mark B. Josephs, Charles Antony Richard Hoare
A Theory of Synchrony and Asynchrony. Programming Concepts and Methods (1990)
Christine Lafontaine
Formalization of the VDM Reification in the DEVA Meta-Calculus - The Human-Leucocyte-Antigen Case Study. Programming Concepts and Methods (1990)
Yolanda Ortega-Mallén, David de Frutos-Escrig
Timed Observations: A Semantic Model for Real-Time Concurrency. Programming Concepts and Methods (1990)
Limor Fix, Nissim Francez, Orna Grumberg
Sematics-Driven Decompositions for the Verification of Distributed Programs. Programming Concepts and Methods (1990)
Ursula Martin, Tobias Nipkow
Automating Squiggol. Programming Concepts and Methods (1990)
Jules Desharnais, Nazim H. Madhavji
Abstract Relational Specifications. Programming Concepts and Methods (1990)
Rob J. van Glabbeek
The Refinement Theorem for ST-bisimulation Semantics. Programming Concepts and Methods (1990)
Martin C. Henson
Information Loss in the Programming Logic TK. Programming Concepts and Methods (1990)
Albert Dietl
Global Control for Communicating Processes. Programming Concepts and Methods (1990)
Philip Wadler
Linear Types can Change the World! Programming Concepts and Methods (1990)
Matthias Weber
Formalization of the Bird-Meertens Algorithmic Calculus in the Deva Meta-Calculus. Programming Concepts and Methods (1990)
Jan J. M. M. Rutten
Deriving Denotational Models for Bisimulation from Structured Operational Semantics. Programming Concepts and Methods (1990)
Stephen J. Garland, John V. Guttag
Using LP to Debug Specifications. Programming Concepts and Methods (1990)
Alessandro Giacalone, Chi-Chang Jou, Scott A. Smolka
Algebraic Reasoning for Probabilistic Concurrent Systems. Programming Concepts and Methods (1990)
Furio Honsell, Simona Ronchi Della Rocca
Reasoning About Interpretations in Qualitative λ-Models. Programming Concepts and Methods (1990)
Xavier Nicollin, Jean-Luc Richier, Joseph Sifakis, Jacques Voiron
ATP: an Algebra for Timed Processes. Programming Concepts and Methods (1990)
Ralph-Johan Back, Joakim von Wright
Refinement Concepts Formalized in Higher Order Logic. Programming Concepts and Methods (1990)
Luca Cardelli, Xavier Leroy
Abstract Types and the Dot Notation. Programming Concepts and Methods (1990)
Rudolf Berghammer, Herbert Ehler, Bernhard Möller
On the Refinement of Non-Deterministic Recursive Routines by Transformations. Programming Concepts and Methods (1990)
David M. Goldschlag
Mechanizing Unity. Programming Concepts and Methods (1990)