Polymorphic syntax definition

DOI10.1016/S0304-3975(97)00268-5MaRDI QIDQ1129122zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Eelco Visser

Publication date 13 August 1998

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(97)00268-5

zbMATH Keywords

algebraic specificationgrammar formalismspolymorphismsyntax definitiontwo-level grammars

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• An Algebraic Approach to Multiple Context-Free Grammars
• On the semantic equivalence of language syntax formalisms
• scientific article; zbMATH DE number 897254
• scientific article; zbMATH DE number 17791

Cites work

• A decidability criterion for van Wijngaarden grammars
• A theory of type polymorphism in programming
• Algebras with a Scheme of Operators
• CONTEXT-FREE ALGEBRAS
• Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
• How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
• scientific article; zbMATH DE number 108365 (Why is no real title available?)
• scientific article; zbMATH DE number 408803 (Why is no real title available?)
• scientific article; zbMATH DE number 3264942 (Why is no real title available?)
• Initial Algebra Semantics and Continuous Algebras
• Language prototyping: An algebraic specification approach
• On specifications, theories, and models with higher types
• Revised report on the algorithmic language ALGOL 68
• The parsing problem for affix grammars
• Towards a programming language based on the notion of two-level grammar
• Universal algebra in higher types

Cited in

(2)

• On the semantic equivalence of language syntax formalisms
• scientific article; zbMATH DE number 2112161 (Why is no real title available?)

Describes a project that uses

Uses Software

• ML
• ALGOL 68

This page was built for publication: Polymorphic syntax definition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1129122)