Extended call-by-push-value: reasoning about effectful programs and evaluation order

DOI10.1007/978-3-030-17184-1_9MaRDI QIDQ6091305zbMATH OpenOpenAlexFDO

Authors Dylan McDermott, Alan Mycroft

Publication date 24 November 2023

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://www.repository.cam.ac.uk/handle/1810/289870

zbMATH Keywords

logical relationscall-by-needevaluation ordercall-by-push-valueeffect systems

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• A formal equational theory for call-by-push-value
• A Hoare Logic for Call-by-Value Functional Programs
• scientific article; zbMATH DE number 1222431
• scientific article; zbMATH DE number 7713500
• scientific article; zbMATH DE number 7650848
• A Semantical and Operational Account of Call-by-Value Solvability
• The call-by-value λ-calculus: a semantic investigation
• A relational account of call-by-value sequentiality
• Call-by-value combinatory logic and the lambda-value calculus
• scientific article; zbMATH DE number 177801

Cited in

(7)

• A relational account of call-by-value sequentiality
• scientific article; zbMATH DE number 2172969 (Why is no real title available?)
• Galois connecting call-by-value and call-by-name
• Positive supercompilation for a higher-order call-by-value language
• A formal equational theory for call-by-push-value
• Call-By-Push-Value from a Linear Logic Point of View
• A study of evaluation order semantics in expressions with side effects

This page was built for publication: Extended call-by-push-value: reasoning about effectful programs and evaluation order

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