Equational Reasoning About Programs With General Recursion and Call-By-Value Semantics

doi 10.1145/2103776.2103780
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Reasoning About Multi-Stage Programs

Journal of Functional Programming
Software
2016English

Tutorial Notes: Reasoning About Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Optimizing Equational Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1987English

Lambda Calculus With Algebraic Simplification for Reduction Parallelization by Equational Reasoning

Proceedings of the ACM on Programming Languages
2019English

Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources

SSRN Electronic Journal
2004English

Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Reasoning About Programs Using a Scientific Method

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Reasoning About Object-Oriented Programs That Use Subtypes

1990English

Syntax and Semantics in Higher-Type Recursion Theory

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1983English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy