Open AccessJournal Article
Linear Projective Program Syntax
Jan A. Bergstra,Inge Bethke +1 more
TL;DR: Based on an extremely simple program notation more advanced program features can be developed in linear projective program syntax such as conditional statements, while loops, recursion, use of an evaluation stack, object classes, method calls etc.
read more
Abstract: Based on an extremely simple program notation more advanced program features can be developed
in linear projective program syntax such as conditional statements, while loops, recursion, use of an
evaluation stack, object classes, method calls etc. Taking care of a cumulative and bottom up introduction of
such complex features while providing appropriate projections into the lower levels of language development
keeps all definitions rigorous and ensures a clear meaning of higher program constructs.
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
Decision problems for pushdown threads
TL;DR: Equivalence of pushdown threads is shown decidable whereas pushdown thread inclusion is undecidable, this is an example of a borderline crossing where the equivalence problem is decidable, whereas the inclusion problem is not.
References
Notions of computation and monads
TL;DR: Calculi are introduced, based on a categorical semantics for computations, that provide a correct basis for proving equivalence of programs for a wide range of notions of computation.
2K
•Book
Molecular Dynamics
William G. Hoover
- 05 Oct 2014
TL;DR: The equations of motion are solved numerically to follow the time evolution of the system, allowing the derivation of kinetic and thermodynamic properties of interest by means of ‘computer experiments’.
771
Molecular Dynamics 1
TL;DR: The audience at the Baltimore lectures consisted mainly of American professors, and a few English men of science attended a larger or smaller number of the lectures as discussed by the authors, and they all dealt with the same matter, and show how much the author's attention was directed to the subject during his three months' sojourn in America.
Natural Semantics
Gilles Kahn
- 01 Aug 1988
TL;DR: The purpose of this paper is to introduce in an intuitive manner the essential ideas of the method that is now~ Natural Semantics~ together with its connections to ideas in logic and computing.
418