scientific article; zbMATH DE number 591239

zbMATH Open0806.68077MaRDI QIDQ4296534FDOQ4296534

Authors: Jolanta Cybulka, Jacek Martinek 

Publication date: 19 June 1994

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• RGSep Action Inference
• Title not available (Why is that?)
• 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)