G. Winskel. The Formal Semantics of Programming Languages. Foundations of Computing. The MIT Press, Cambridge, Massachusetts, 1993. 60  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Full Abstraction for PCF - Samson Abramsky Radha (1994) (116 citations) (Correct)
No context found.
G. Winskel. The Formal Semantics of Programming Languages. Foundations of Computing. The MIT Press, Cambridge, Massachusetts, 1993. 60
Basic Research in Computer Science - From Natural Semantics (Correct)
No context found.
Glynn Winskel. The Formal Semantics of Programming Languages. Foundation of Computing Series. The MIT Press, 1993.
Models of Computation and Languages for Embedded System Design - Jantsch, Sander (2005) (Correct)
No context found.
G. Winskel. The Formal Semantics of Programming Languages. MIT Press, 1993.
Algebraic Correctness Proofs for Compiling Recursive Function .. - Indermark, Noll (2004) (Correct)
No context found.
G. Winskel. The Formal Semantics of Programming Languages. MIT Press, Cambridge, Massachusetts,
Models of Computation in the Design Process - Jantsch, Sander (2005) (Correct)
No context found.
G. Winskel. The Formal Semantics of Programming Languages. MIT Press, 1993.
Adequacy for Algebraic Effects - Plotkin, Power (2001) (Correct)
No context found.
G. Winskel, The Formal Semantics of Programming Languages, Cambridge: MIT Press, 1993.
Type-Theoretic Functional Semantics - Bertot, Capretta, Barman (2 citations) (Correct)
No context found.
Glynn Winskel. The Formal Semantics of Programming Languages, an introduction. Foundations of Computing. The MIT Press, 1993.
Complete Axioms for Categorical Fixed-point Operators - Simpson, Plotkin (2000) (11 citations) (Correct)
No context found.
G. Winskel. The Formal Semantics of Programming Languages. MIT Press, 1993.
Watchpoint Semantics: A Tool for Compositional and Focussed Static .. - Spoto (2001) (1 citation) (Correct)
No context found.
G. Winskel. The Formal Semantics of Programming Languages. The MIT Press, 1993.
Simple Relational Correctness Proofs for Static Analyses and.. - Benton (2004) (4 citations) (Correct)
No context found.
G. Winskel. The Formal Semantics of Programming Languages. MIT Press, 1993.
Tool Support for Logics of Programs - Paulson (2002) (Correct)
No context found.
Glynn Winskel. The Formal Semantics of Programming Languages. MIT Press, 1993.
Black tie optional: Modelling programming language concepts - Coleman, Jefferson, Jones (2004) (Correct)
No context found.
Glynn Winskel. The Formal Semantics of Programming Languages. The MIT Press, 1993. ISBN 0-262-23169-7.
Ordinals and Interactive Programs - Hancock (2000) (Correct)
No context found.
G. Winskel. The Formal Semantics of Programming Languages. Foundations of Computing. The MIT Press, 1993.
Domain Theory for Concurrency - Nygaard (2003) (1 citation) (Correct)
No context found.
G. Winskel. The Formal Semantics of Programming Languages. An Introduction. The MIT Press, 1993.
Probability, Nondeterminism and Concurrency: Two Denotational.. - Varacca (2003) (Correct)
No context found.
Glynn Winskel. The Formal Semantics of Programming Languages. MIT Press, 1993.
A Temporal Concurrent Constraint Programming Calculus - Valencia, Valencia (2001) (2 citations) (Correct)
No context found.
G. Winskel. The Formal Semantics of Programming Languages. The
Domain Theory - Corrected and expanded version - Abramsky, Jung (Correct)
No context found.
G. Winskel. The Formal Semantics of Programming Languages. An Introduction. MIT Press, 1993.
Java as a Functional Programming Language - Anton Setzer Dept (Correct)
No context found.
Glynn Winskel. The formal semantics of programming languages. MIT Press, Cambridge, Massachusetts and London, 1998.
A Proposal for a Formal OCL Semantics in Isabelle/HOL - Brucker, Wolff (2002) (14 citations) (Correct)
No context found.
Winskel, G.: The Formal Semantics of Programming Languages. MIT Press, Cambridge (1993)
Analyse Statique De Programmes : Fondements Et Applications - Jensen (1999) (Correct)
No context found.
G. Winskel. The formal semantics of programming languages. Foundations of Computing Series. The MIT Press, 1993.
Process Logic and Duality - Part I: Sequential Processes - Honda (Correct)
No context found.
Winskel, G. The Formal Semantics of Programming Languages. MIT Press, 1993.
Simple Relational Correctness Proofs for Static Analyses and.. - Benton (2004) (4 citations) (Correct)
No context found.
G. Winskel. The Formal Semantics of Programming Languages. MIT Press, 1993.
Specification of Real-Time and Hybrid Systems in FOCUS - Müller, Scholz (1996) (2 citations) (Correct)
No context found.
G. Winskel. The Formal Semantics of Programming Languages. The MIT Press, 1993. 19
Towards Abstractions for Distributed Systems - Berger (2004) (4 citations) (Correct)
No context found.
Glynn Winskel. The formal semantics of programming languages. MIT Press, 1993.
A Compositional Logic for Polymorphic Higher-Order Functions - Honda, Yoshida (2004) (Correct)
No context found.
Winskel, G. The Formal Semantics of Programming Languages. MIT Press, 1993.
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