scientific article; zbMATH DE number 3821090

MaRDI QIDQ3667929zbMATH OpenFDO

Authors Francois Lavandier, Bruno Courcelle

Publication date 1983

zbMATH Keywords

formal languagesdenotational semanticsattribute grammarsPROLOGleast fix-point

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited in

(1)

• scientific article; zbMATH DE number 3896271 (Why is no real title available?)

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