Precedences in specifications and implementations of programming languages
From MaRDI portal
Publication:673491
DOI10.1016/0304-3975(95)90680-JzbMath0873.68133MaRDI QIDQ673491
Publication date: 28 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Uses Software
Cites Work
This page was built for publication: Precedences in specifications and implementations of programming languages