Minimal and Optimal Computations of Recursive Programs

DOI10.1145/322108.322122zbMATH Open0388.68012OpenAlexW2025170645MaRDI QIDQ4170199FDOQ4170199

Authors: Gérard Berry, Jean-Jacques Lévy 

Publication date: 1979

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/322108.322122

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40) Semantics in the theory of computing (68Q55)

Cited In (33)

• Optimal normalization in orthogonal term rewriting systems
• A short scientific biography of Maurice Nivat
• Rewriting on cyclic structures: Equivalence between the operational and the categorical description
• Minimal relative normalization in orthogonal expression reduction systems
• Open problems in rewriting
• Labelled domains and automata with concurrency
• Relating conflict-free stable transition and event models via redex families
• Concurrency and atomicity
• Sequential algorithms on concrete data structures
• Representation of computations in concurrent automata by dependence orders
• Infinitary combinatory reduction systems
• Reversing Single Sessions
• Total unfolding: theory and applications
• An algebraic approach to stable domains
• Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
• Redexes are stable in the λ-calculus
• An algebraic semantics approach to the effective resolution of type equations
• Reversible session-based pi-calculus
• Sequentiality in orthogonal term rewriting systems
• Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
• Title not available (Why is that?)
• Transformations of structures: An algebraic approach
• Studying Operational Models of Relaxed Concurrency
• From domains to automata with concurrency
• A kleene theorem for recognizable languages over concurrency monoids
• A proof description language and its reduction system
• The combinator M and the Mockingbird lattice
• Concurrent transition systems
• Conditional rewrite rules: Confluence and termination
• Needed reduction and spine strategies for the lambda calculus
• Complexity of the combinator reduction machine
• Recognizable languages in concurrency monoids
• Connections between a concrete and an abstract model of concurrent systems

This page was built for publication: Minimal and Optimal Computations of Recursive Programs

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