Managing and using mixed computations for the systematic construction of language-oriented parsers

zbMath0645.68016MaRDI QIDQ1103382

B. N. Ostrovskij

Publication date: 1987

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

language-oriented parsersmixed computationsPascal-like languagetransformational semantics

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Managing and using mixed computations for the systematic construction of language-oriented parsers