scientific article; zbMATH DE number 1231613

MaRDI QIDQ4222935zbMATH OpenFDO

Authors Allen Stoughton

Publication date 6 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=10#10011

zbMATH Keywords

Dops metalanguagetyped lambda calculus

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• Dynamic structural operational semantics
• From algebra to operational semantics
• Modularity and implementation of mathematical operational semantics
• From operational semantics to abstract machines
• Structured Operational Semantics of a fragment of the language Scheme

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222935)