Polymorphic syntax definition

DOI10.1016/S0304-3975(97)00268-5zbMath0902.68123OpenAlexW2002045519WikidataQ59780468 ScholiaQ59780468MaRDI QIDQ1129122

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

polymorphismalgebraic specificationgrammar formalismssyntax definitiontwo-level grammars

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

On the semantic equivalence of language syntax formalisms

Uses Software

• ML
• ALGOL 68

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Towards a programming language based on the notion of two-level grammar
• How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
• Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
• Universal algebra in higher types
• Revised report on the algorithmic language ALGOL 68
• The parsing problem for affix grammars
• A decidability criterion for van Wijngaarden grammars
• A theory of type polymorphism in programming
• Language Prototyping: An Algebraic Specification Approach
• On specifications, theories, and models with higher types
• Initial Algebra Semantics and Continuous Algebras
• CONTEXT-FREE ALGEBRAS
• Algebras with a Scheme of Operators