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

zbMATH Open0645.68016MaRDI QIDQ1103382FDOQ1103382

Authors: B. N. Ostrovskij 

Publication date: 1987

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

Recommendations

• Combinator Parsers: From Toys to Tools
• The semantics of parsing with semantic actions
• Combinators for parsing expressions
• scientific article; zbMATH DE number 782027
• Parsing Computer Languages with an Automaton Compiled from a Single Regular Expression

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)

Cited In (3)

• Title not available (Why is that?)
• MIXED LINKS: A METHOD FOR GENERATING MULTI-STRANDED STRUCTURES IN SYNTAX
• Using and parsing the Mizar language

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

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