Results 261 to 267 of about 6,120 (267)

Operational semantics for declarative multi-paradigm languages

Journal of Symbolic Computation, 2005
Javier Oliver, German Vidal, Michael Hanus   +2 more
exaly  

Algebraic operational semantics

1987
openaire   +1 more source

Coinductive big-step operational semantics

Information and Computation, 2009
exaly  

Operational semantics of Framed Tempura

The Journal of Logic and Algebraic Programming, 2008
exaly  

A non-SOS operational semantics for a process algebra

Information Processing Letters, 1998
exaly  

An Operational Semantics for CSP.

openaire   +1 more source

Algebraic and operational semantics of specifications allowing exceptions and errors

Theoretical Computer Science, 1984
exaly