Scott, D.S., C. Strachey, Toward a mathematical semantics for computer languages, Oxford University Technical Monograph PRG-6, August 1971. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
The Regular-Language Semantics of Second-Order Idealized ALGOL - Ghica, McCusker (2003) (Correct)
What Is an Algorithm? - Moschovakis (2001) (Correct)
A Formal Semantics for the C Programming Language - Nikolaos Papaspyrou Doctoral (1998) (1 citation) (Correct)
Programming Metalogics with a Fixpoint Type - Crole (1992) (9 citations) (Correct)
Structural Operational Semantics - Aceto, Fokkink, Verhoef (1999) (15 citations) (Correct)
Introducing OBJ - Goguen, Winkler, Meseguer.. (1993) (69 citations) (Correct)
Role of Verification in the Software Specification Process - Zelkowitz (1998) (1 citation) (Correct)
Compiler Implementation Verification and Trojan Horses (Draft) - Goerigk, Langmaack (2000) (1 citation) (Correct)
Verbal Source Code Descriptor - Soudian, Fels (2002) (Correct)
Will Informatics be able to Justify the Construction of.. - Goerigk, Langmaack (2001) (1 citation) (Correct)
A Method of Program Refinement - Grundy (1993) (9 citations) (Correct)
The Formal Relationship Between Direct and Continuation-Passing.. - Sabry (1994) (9 citations) (Correct)
A Conversation-oriented language for B2B integration based.. - Gomez, Haller, al. (2005) (Correct)
Algebraic Correctness Proofs for Compiling Recursive Function .. - Indermark, Noll (2004) (Correct)
From Trees to Graphs: Defining the Semantics of Diagram.. - Engels, Heckel (2000) (Correct)
Review of Control Flow Semantics by J. de Bakker and E. de Vink - Pucella (2001) (Correct)
Domain Theory for Concurrency - Nygaard (2003) (1 citation) (Correct)
Probability, Nondeterminism and Concurrency: Two Denotational.. - Varacca (2003) (Correct)
Chapters 3 and 8: Yes-No voting - There Are Many (Correct)
Domain Theory for Concurrency - Nygaard (2003) (1 citation) (Correct)
A Compositional Logic for Polymorphic Higher-Order Functions - Kohei Honda Department (2004) (Correct)
Processes and Games - Honda (2003) (Correct)
Unknown - Fairness Is Concept (Correct)
Solving Recursive Domain Equations with Enriched Categories - Wagner (1994) (17 citations) Self-citation (Scott) (Correct)
Solving Recursive Domain Equations with Enriched Categories - Wagner (1994) (17 citations) Self-citation (Scott) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC