scientific article; zbMATH DE number 3244305
From MaRDI portal
Publication:5531462
zbMath0152.15701MaRDI QIDQ5531462
No author found.
Publication date: 1966
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items
The origins of structural operational semantics, A syntactic theory of sequential control, Splitting atoms safely, Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example, John McCarthy (1927--2011), A survey of state vectors, Improving the lazy Krivine machine, A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA., SEMANOL (73), a metalanguage for programming the semantics of programming languages, Unnamed Item, Expressive power of typed and type-free programming languages, Quantitative fuzzy semantics, Operational semantics: concepts and their expression, Calvin C. Elgot (1922-1980), Computing with relational machines, Combining type disciplines