Adding Semantic and Syntactic Predicates To LL(k): pred-LL(k)
No abstract available.
Related papers
- A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages GPCE 2023
- Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables POPL 2015
- A predicative analysis of structural recursion JFP 2002
- Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment POPL 1983
- Nested refinements: a logic for duck typing POPL 2012
- A simple semantics for Haskell overloading Haskell 2014
- A Simple Abstraction of Arrays and Maps by Program Translation SAS 2015
- Model checking for symbolic-heap separation logic with inductive predicates POPL 2016