Specifications and an implementation of the type-ambiguity problem in pascal

DOI10.1002/spe.4380151203zbMath0575.68007OpenAlexW2123119517MaRDI QIDQ3694658

Derek Partridge

Publication date: 1985

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.4380151203

zbMATH Keywords

Pascalimplementationguarded commandContext-free grammarsSpecificationsCFG- based parserContext-sensitive syntaxstepwise abstraction

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Related Items (1)

Time-Varying Functional Regression for Predicting Remaining Lifetime Distributions from Longitudinal Trajectories

Cites Work

• Unnamed Item

This page was built for publication: Specifications and an implementation of the type-ambiguity problem in pascal