Вы здесь

Главная

J.W. de Bakker, 25 Jaar Semantiek

Связанные издания:

A Compositional Semantics for Statecharts
A compositional semantics for the Turing machine
Applications of Computability Theory over Abstract Data Types
A Theory of Programs an Outline of Joint Work
Continuation Semantics for PROLOG with Cut
Cooperating-Proofs for Distributed Programs with Multy-Party Interactions
Facets of Software Development
Metric Semantics for the Input/Output Behaviour of Sequential Programs
On the use of semantics: Extending Prolog to a Parallel Object Oriented Language
The Decent Philosophers: An exercise in operational semantics of concurrent systems
The Practical Importance of Formal Semantics
The Semantics and Complexity of Parallel Programs for Vector Computations. Part II
Towards Compositional Predicate Transformer Semantics for Concurrent Programs
Views on Parallel Parsing: A preliminary survey