Efficient parsing with parser combinators
4
TL;DR: This work optimize the performance of parsing combinators with specializations of parsing strategies, and achieves performance comparable to that of hand-written or optimized parsers while preserving the advantages of parsers combinators.
read more
About: This article is published in Science of Computer Programming. The article was published on 01 Sep 2018. and is currently open access. The article focuses on the topics: Parser combinator & Parsing.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Context-sensitive parsing for programming languages
TL;DR: In this paper , a deterministic non-backtracking algorithm for parsing deterministic context-sensitive languages is described, which uses a reduction automaton for finding the position of the next reduction at each step during parsing rather than a hardcoded trie.
On Parsing Programming Languages with Turing-Complete Parser
Boštjan Slivnik,Marjan Mernik +1 more
TL;DR: Semi-Thue parsing as mentioned in this paper is a semi-thue-based method for parsing recursively enumerable languages, which can be used for programming languages and domain-specific languages.
3
A New Life for Legacy Language Definition Approaches
Mikhail Barash
- 01 Jan 2020
TL;DR: What prevents the practical use of the Author’s model in SLE is discussed and open problems for further research are states.
An Innovative Approach to Syntax-Free Interpretation in Functional Programming Languages
Omar Alaqeeli
TL;DR: Researchers propose a syntax-free interpretation method for functional programming languages, leveraging graph-based representations and type inference to enable efficient and flexible evaluation of programs, improving expressiveness and modularity in language design.
References
LLVM: a compilation framework for lifelong program analysis & transformation
Chris Lattner,Vikram Adve +1 more
- 20 Mar 2004
TL;DR: The design of the LLVM representation and compiler framework is evaluated in three ways: the size and effectiveness of the representation, including the type information it provides; compiler performance for several interprocedural problems; and illustrative examples of the benefits LLVM provides for several challenging compiler problems.
Efficiently computing static single assignment form and the control dependence graph
TL;DR: In this article, the authors present new algorithms that efficiently compute static single assignment forms and control dependence graphs for arbitrary control flow graphs using the concept of {\em dominance frontiers} and give analytical and experimental evidence that these data structures are usually linear in the size of the original program.
•Book
The Theory of Parsing, Translation, and Compiling
Alfred V. Aho,Jeffrey D. Ullman +1 more
- 01 Jan 1972
TL;DR: It is the hope that the algorithms and concepts presented in this book will survive the next generation of computers and programming languages, and that at least some of them will be applicable to fields other than compiler writing.
2K
•Book
Structure and Interpretation of Computer Programs
Harold Abelson,Gerald Jay Sussman,Julie Sussman +2 more
- 01 Jan 1985
TL;DR: Structure and Interpretation of Computer Programs emphasizes the central role played by different approaches to dealing with time in computational models, appropriate for an introduction to computer science courses, as well as programming languages and program design.
•Book
Haskell 98 language and libraries : the revised report
Peyton Jones,L Simon +1 more
- 01 Jan 2003
TL;DR: The Haskell 98 Language: Lexical structure, Declarations and bindings, Predefined types and classes, and Libraries.
1.4K
Related Papers (5)
Jan Kurs,Jan Vraný,Mohammad Ghafari,Mircea Lungu,Oscar Nierstrasz +4 more
- 23 Aug 2016
Doaitse Swierstra,Atze Dijkstra +1 more
- 01 Jun 2001
Eric Beguet,Manohar Jonnalagedda +1 more
- 28 Jul 2014