scientific article; zbMATH DE number 591239

MaRDI QIDQ4296534zbMATH OpenFDO

Authors Jolanta Cybulka, Jacek Martinek

Publication date 19 June 1994

zbMATH Keywords

programming language specificationsemantics specification method

Mathematics Subject Classification ID

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

Recommendations

• On the semantics of parsing actions
• scientific article; zbMATH DE number 4050948
• Action Semantics in Retrospect
• scientific article; zbMATH DE number 2006475
• The semantics of parsing with semantic actions
• Action semantics reasoning about functional programs
• An Action Semantics Based on Two Combinators
• Aspect-oriented action semantics descriptions
• scientific article; zbMATH DE number 177779

Cited in

(4)

• RGSep Action Inference
• scientific article; zbMATH DE number 2085188 (Why is no real title available?)
• DynSem: a DSL for dynamic semantics specification
• ACTION TYPES IN STIT SEMANTICS

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