scientific article; zbMATH DE number 3936497

MaRDI QIDQ3707385zbMATH OpenFDO

Authors Heiko Petzsch

Publication date 1985

zbMATH Keywords

automatic prototyping of algebraic specificationsdata typesPrologrecursive specificationsSRDLstructural induction

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• Language prototyping: An algebraic specification approach
• scientific article; zbMATH DE number 4092745
• scientific article; zbMATH DE number 3880080
• Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings
• scientific article; zbMATH DE number 194509

Cited in

(5)

• Language prototyping: An algebraic specification approach
• Specification of logic programming languages from reusable semantic building blocks
• scientific article; zbMATH DE number 4092745 (Why is no real title available?)
• Logic Programming with Graph Automorphism: Integratingnautywith Prolog (Tool Description)
• scientific article; zbMATH DE number 194506 (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 Q3707385)