scientific article; zbMATH DE number 3885293

MaRDI QIDQ3219095zbMATH OpenFDO

Authors Karel II Culik, Mansour Farah

Publication date 1981

zbMATH Keywords

computational semantics of programming languageslinked forestLinked trees

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Semantics in the theory of computing (68Q55)

Recommendations

• A linked forest manipulation system syntax rules for an attributed translation grammar for PL/0
• Semantics of trees
• The denotational semantics of a functional tree-manipulation language
• Publication:5748893
• scientific article; zbMATH DE number 475422

Cited in

(4)

• Manipulating trees with hidden labels
• A linked forest manipulation system syntax rules for an attributed translation grammar for PL/0
• Correctness of a lucid interpreter based on linked forest manipulation systems
• scientific article; zbMATH DE number 1956515 (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 Q3219095)