G.D. Plotkin. A structural approach to operational semantics. Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Process Algebra with Language Matching - Jos Van Wamel (Correct)
No context found.
G.D. Plotkin. A structural approach to operational semantics. Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.
Frame Algebra with Synchronous Communication - Jan Bergstra Alban (Correct)
No context found.
G.D. Plotkin. A structural approach to operational semantics. Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.
From Rewrite Rules to Bisimulation - Congruences Peter Sewell (Correct)
No context found.
Gordon D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark, 1981.
Unknown - (Correct)
No context found.
Gordon D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark, 1981.
Synchronization in Massive Multiplayer - Online Games Stefano (Correct)
No context found.
G.D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Microsoft Research, Deptartment of Computer Science, Univ. of Aarhus, 1981.
Unknown - (Correct)
No context found.
Gordon D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark, 1981.
Math. Struct. in Comp. Science (2004), vol. 14, pp.. - Cambridge University Press (Correct)
No context found.
Plotkin, G. D. (1981) A Structural Approach to Operational Semantics. Technical Report FN-19, DAIMI, Computer Science Department, Aarhus University, Ny Munkegade, Building 540, DK8000 Aarhus, Denmark. (Reprinted April 1991.) Sagiv, M., Reps, T. and Wilhelm, R. (1999) Parametric Shape Analysis via 3-Valued Logic.
Algebraic Operational Semantics and Modula-2* - Yuri Gurevich And (Correct)
No context found.
Plotkin, Gordon, A Structural Approach to Operational Semantics, DAIMI FN-19, Aarhus University.
Semantic Essence of AsmL - Yuri Gurevich Benjamin (2004) (1 citation) (Correct)
No context found.
Gordon D. Plotkin, "Structural approach to operational semantics", Technical report DAIMI FN-19, Computer Science Department, Aarhus University, Denmark, September 1981
A Study of Objects - Hankin (1999) (Correct)
No context found.
Plotkin, G. D. (1981, September). A structural approach to operational semantics. Technical Report FN{19, DAIMI, Aarhus University.
An Interpretation of Standard ML in - Type Theory Robert (Correct)
No context found.
Gordon D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN--19, Aarhus University, September 1981.
Trace-based Program Analysis - Christopher Colby Peter (1996) (4 citations) (Correct)
No context found.
Gordon Plotkin. A structural approach to operational semantics. Technical Report DAIMI-- FN--19, Computer Science Department, Aarhus University, 1981.
Natural Semantics and Some of its - Meta-Theory In Elf (Correct)
No context found.
Gordon D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark, September 1981.
Mechanizing the Metatheory of Standard ML - Lee, Crary, Harper (2006) (Correct)
No context found.
Gordon D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, University of Aarhus, 1981.
Privacy via Subsumption - Jon Riecke Bell (1998) (32 citations) (Correct)
No context found.
Gordon D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus Univ., Computer Science Dept., Denmark, 1981.
Privacy via Subsumption - Jon Riecke Bell (1998) (32 citations) (Correct)
No context found.
G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus Univ., Computer Science Dept., Denmark, 1981.
A Survey of Programming Languages and Platforms for.. - Bordini, Braubach, al. (2006) (Correct)
No context found.
G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN 19, Department of Computer Science, Arhaus University, 1981.
JACK: A process algebra implementation in Java - Freitas (2002) (Correct)
No context found.
G.D. Plotkin. A structural approach to operational semantics. Lecture Notes DAIMI FN-19, Aarhus University, Denmark, 1991.
PROBMELA: a modeling language for communicating.. - Baier, Ciesinski, Größer (2004) (Correct)
No context found.
G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.
How to Specify a Graph Transformation Approach: A Meta Model.. - Heckel, Zündorf (2001) (3 citations) (Correct)
No context found.
Plotkin, G., A structural approach to operational semantics, Technical Report DAIMI FN-19, Aarhus University, Computer Science Department (1981).
Hierarchical Planning in BDI Agent Programming - Languages Formal Approach (Correct)
No context found.
G. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI-FN-19, Dept. of Computer Science Department, Aarhus University, Denmark, 1981.
A Functional Correspondence between Monadic Evaluators and.. - Ager (2004) (1 citation) (Correct)
No context found.
Gordon D. Plotkin. A structural approach to operational semantics. Technical Report FN-19, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, September 1981. 43
From Reduction-Based to Reduction-Free Normalization - Danvy (2004) (Correct)
No context found.
Gordon D. Plotkin. A structural approach to operational semantics. Technical Report FN-19, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, September 1981.
Modelling Reduction in Confluent - Categories Barry Jay (Correct)
No context found.
G.D. Plotkin, A structural approach to operational semantics. Tech. Rep. Aarhus University, Daimi FN-19.
Refocusing in Reduction Semantics - Danvy, Nielsen (2004) (1 citation) (Correct)
No context found.
Gordon D. Plotkin. A structural approach to operational semantics. Technical Report FN-19, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, September 1981.
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