Correspondence between Operational and Denotational Semantics (1995)

by C. -h. L. Ong
Venue:Handbook of Logic in Computer Science
Citations:24 - 0 self

Documents Related by Co-Citation

439 D.: LCF Considered As a Programming Language – G Plotkin - 1977
234 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
1683 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
3723 Communication and Concurrency – R Milner - 1989
1284 Introduction to Lattices and Order – B A Davey, H A Priestley - 1990
3928 Communicating Sequential Processes – C. A. R. Hoare - 2004
1470 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
521 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – Joseph E Stoy - 1977
292 Semantics of Programming Languages: Structures and Techniques – C A Gunter - 1992