Graph-based Implementation of a Functional Logic Langugage
No abstract available.
DOI 10.1007/3-540-52592-0_69
Related papers
- Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach ICFP 2025
- Full functional verification of linked data structures PLDI 2008
- Induction Variables in Very High Level Languages POPL 1976
- Functional Programming and the Logical Variable POPL 1985
- Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code PLDI 2021
- Inductive graphs and functional graph algorithms JFP 2001
- A Logic for Analyzing Abstractions of Graph Transformation Systems SAS 2003
- SeLoger: A Tool for Graph-Based Reasoning in Separation Logic CAV 2013