scientific article; zbMATH DE number 4003496

MaRDI QIDQ4728223zbMATH OpenFDO

Authors

Publication date 1987

zbMATH Keywords

attribute grammarsformal specification

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1543051
• Semantical analysis of specification logic
• scientific article; zbMATH DE number 58286
• A structural approach to operational semantics
• scientific article; zbMATH DE number 4033046

Cited in

(6)

• scientific article; zbMATH DE number 3860370 (Why is no real title available?)
• scientific article; zbMATH DE number 58286 (Why is no real title available?)
• scientific article; zbMATH DE number 683362 (Why is no real title available?)
• scientific article; zbMATH DE number 1953277 (Why is no real title available?)
• scientific article; zbMATH DE number 1543051 (Why is no real title available?)
• On extracting static 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 Q4728223)