On the semantics of parsing actions

DOI10.1016/J.SCICO.2013.04.010MaRDI QIDQ2441511zbMATH OpenOpenAlexFDO

Authors Hayo Thielecke

Publication date 25 March 2014

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2013.04.010

zbMATH Keywords

abstract machinescontinuationsleft recursion eliminationparser generatorssemantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• The semantics of parsing with semantic actions
• Semantic routines and \(LR(k)\) parsers
• Simple, functional, sound and complete parsing for all context-free grammars
• Combinator Parsers: From Toys to Tools
• Grammar semantics, analysis and parsing by abstract interpretation

Cites work

• A new notation for arrows
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Combinator Parsing: A Short Tutorial
• Continuations: A mathematical semantics for handling full jumps
• Dependently Typed Grammars
• First-class attribute grammars
• From control effects to typed continuation passing
• Generalising monads to arrows
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 108542 (Why is no real title available?)
• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• scientific article; zbMATH DE number 1027561 (Why is no real title available?)
• scientific article; zbMATH DE number 1088046 (Why is no real title available?)
• scientific article; zbMATH DE number 1405668 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Initial Algebra Semantics and Continuous Algebras
• Linear continuation-passing
• Linear logic
• Monadic parsing in Haskell
• On bunched typing
• Parsing with derivatives
• Premonoidal categories and notions of computation
• Representing Control: a Study of the CPS Transformation
• Semantics of context-free languages
• The Mathematics of Sentence Structure
• The Mechanical Evaluation of Expressions
• The semantics of parsing with semantic actions

Cited in

(4)

• The semantics of parsing with semantic actions
• A convenient way to incorporate semantic actions in two‐pass compiling schemes
• scientific article; zbMATH DE number 591239 (Why is no real title available?)
• ACTION TYPES IN STIT SEMANTICS

Describes a project that uses

Uses Software

• Haskell
• ANTLR

This page was built for publication: On the semantics of parsing actions

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