Properties of a first-order functional language with sharing
From MaRDI portal
Publication:673126
DOI10.1016/0304-3975(94)00185-LzbMATH Open0873.68016MaRDI QIDQ673126FDOQ673126
Authors: Zena M. Ariola, Arvind 
Publication date: 28 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Recommendations
- A first-order language for expressing sharing and type properties of logic programs
- Processes, Terms and Cycles: Steps on the Road to Infinity
- First-order functional languages and intensional logic
- Maximal sharing in the lambda calculus with letrec
- scientific article; zbMATH DE number 4011906
- An operational semantics of sharing in lazy evaluation
- An abstract view on syntax with sharing
- scientific article; zbMATH DE number 859787
- Sharing in the graph rewriting calculus
Cites Work
- Implementing term rewrite languages in DACTL
- The lambda calculus. Its syntax and semantics. Rev. ed.
- LEAN: An intermediate language based on graph rewriting
- Title not available (Why is that?)
- Transfinite reductions in orthogonal term rewriting systems
- Title not available (Why is that?)
- Relating graph and term rewriting via Böhm models
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (10)
- Addressed term rewriting systems: syntax, semantics, and pragmatics (extended abstract)
- Computing in unpredictable environments: semantics, reduction strategies, and program transformations
- Safety of Nöcker's strictness analysis
- Lambda calculus with explicit recursion
- Rewriting and narrowing for constructor systems with call-time choice semantics
- Three Syntactic Theories for Combinatory Graph Reduction
- An abstract view on syntax with sharing
- Relating graph and term rewriting via Böhm models
- Computing in unpredictable environments: Semantics, reduction strategies, and program transformations
- On graph rewriting, reduction, and evaluation in the presence of cycles
Uses Software
This page was built for publication: Properties of a first-order functional language with sharing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673126)
