Termination analysis for offline partial evaluation of a higher order functional language

DOI10.1007/3-540-61739-6_34MaRDI QIDQ5030188zbMATH OpenOpenAlexFDO

Authors Peter Holst Andersen, Carsten Kehler Holst

Publication date 16 February 2022

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61739-6_34

zbMATH Keywords

abstract interpretationpartial evaluationterminationsize analysis

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1438809
• scientific article; zbMATH DE number 1948415
• Programming Languages and Systems
• Termination analysis for partial functions
• scientific article; zbMATH DE number 756052

Cites work

• scientific article; zbMATH DE number 3735091 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 1438809 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• Some Theorems on Classes of Recursively Enumerable Sets

Cited in

(7)

• scientific article; zbMATH DE number 1948415 (Why is no real title available?)
• A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
• Termination analysis for functional programs
• scientific article; zbMATH DE number 1194182 (Why is no real title available?)
• Control-flow refinement by partial evaluation, and its application to termination and cost analysis
• scientific article; zbMATH DE number 2080285 (Why is no real title available?)
• scientific article; zbMATH DE number 2018578 (Why is no real title available?)

This page was built for publication: Termination analysis for offline partial evaluation of a higher order functional language

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