scientific article; zbMATH DE number 3860370

MaRDI QIDQ3327701zbMATH OpenFDO

Authors Thierry Despeyroux

Publication date 1984

zbMATH Keywords

inference rulesoperational semanticssemantic specificationstype-checkerstype-inference

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• DynSem: a DSL for dynamic semantics specification
• Functional programs as executable specifications
• scientific article; zbMATH DE number 512880
• scientific article; zbMATH DE number 517001
• Publication:4728223

Cited in

(12)

• Partial evaluation with inference rules
• The origins of structural operational semantics
• Executable structural operational semantics in Maude
• Executable relational specifications of polymorphic type systems using Prolog
• Executable semantic descriptions
• scientific article; zbMATH DE number 512880 (Why is no real title available?)
• scientific article; zbMATH DE number 1953277 (Why is no real title available?)
• scientific article; zbMATH DE number 765178 (Why is no real title available?)
• scientific article; zbMATH DE number 7453190 (Why is no real title available?)
• DynSem: a DSL for dynamic semantics specification
• A Survey of the Proof-Theoretic Foundations of Logic Programming
• Two case studies of semantics execution in Maude: CCS and LOTOS

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 Q3327701)