Keyword

operational semantics

Description: A formal method for defining programming language meaning by specifying how program expressions execute and transition between computational states.

Primary topic: Logic, programming, and type systems (59%)

Wikidata ID: wiki/Q1930895

OpenAlex ID: keywords/operational-semantics

A Structural Approach to Operational Semantics

2004 · Gordon Plotkin · 1,955

The Theory and Practice of Concurrency

1997 · A. W. Roscoe · International Linear Collider · 1,709

The Semantics of Predicate Logic as a Programming Language

1976 · M. H. Van Emden, R. A. Kowalski · Journal of the ACM · 1,450

PDF

Conditional rewriting logic as a unified model of concurrency

1992 · José Meseguer · Theoretical Computer Science · 1,336

PDF

AgentSpeak(L): BDI agents speak out in a logical computable language

1996 · Anand S. Rao · Lecture notes in computer science · 1,295

LCF considered as a programming language

1977 · G.D. Plotkin · Theoretical Computer Science · 1,086

Featherweight Java

2001 · Atsushi Igarashi, Benjamin C. Pierce, et al. · ACM Transactions on Programming Languages and Systems · 986

PDF

The chemical abstract machine

1992 · Gérard Berry, Gérard Boudol · Theoretical Computer Science · 813

Specifying distributed software architectures

1995 · Jeff Magee, Naranker Dulay, et al. · Lecture notes in computer science · 774

A structural approach to operational semantics

2004 · The Journal of Logic and Algebraic Programming · 710

Concurrent Constraint Programming

1993 · Vijay A. Saraswat · The MIT Press eBooks · 577

Dynamic structure in software architectures

1996 · Jeff Magee, Jeff Kramer · 539

Natural Semantics

1987 · Gilles Kahn · Symposium on Theoretical Aspects of Computer Science · 530

Unifying Theories of Programming

1998 · Tony Hoare · 528

KLAIM: a kernel language for agents interaction and mobility

1998 · R. De Nicola, G.L. Ferrari, et al. · IEEE Transactions on Software Engineering · 523

The Tapenade automatic differentiation tool

2013 · Laurent Hascoet, Valérie Pascual · ACM Transactions on Mathematical Software · 501

Domain theory in logical form*

1991 · Samson Abramsky · Annals of Pure and Applied Logic · 484

PDF

A modal process logic

2003 · K.G. Larsen, B. Thomsen · 462

Application of a stochastic name-passing calculus to representation and simulation of molecular processes

2001 · Corrado Priami, Aviv Regev, et al. · Information Processing Letters · 459

Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine

2003 · David Harel, Rami Marelly · 453

A foundation for actor computation

1997 · GUL A. AGHA, IAN A. MASON, et al. · Journal of Functional Programming · 445

PDF

The integration of functions into logic programming: From theory to practice

1994 · Michael Hanus · The Journal of Logic Programming · 420

Semantics of programming languages: structures and techniques

1993 · Choice Reviews Online · 419

Nominal logic, a first order theory of names and binding

2003 · Andrew M. Pitts · Information and Computation · 418

Weaving Executability into Object-Oriented Meta-languages

2005 · Pierre-Alain Muller, Franck Fleurey, et al. · Lecture notes in computer science · 411

Works count: 8,160

Citation count: 115,400