Programming Languages and Systems

DOI10.1007/11575467MaRDI QIDQ5493392zbMATH OpenFDO

Authors Damien Sereni, Neil D. Jones

Publication date 20 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11575467

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Rewriting Techniques and Applications
• The size-change principle for program termination
• Automatic Termination Verification for Higher-Order Functional Programs
• The size-change termination principle for constructor based languages
• Call-by-value Termination in the Untyped lambda-calculus

Cited in

(19)

• Termination analysis for functional programs
• Automatic termination analysis for functional and imperative programs (Thesis, TU Darmstadt)
• Analysing the complexity of functional programs: higher-order meets first-order
• Call-by-value Termination in the Untyped lambda-calculus
• Büchi Complementation and Size-Change Termination
• scientific article; zbMATH DE number 756052 (Why is no real title available?)
• scientific article; zbMATH DE number 935187 (Why is no real title available?)
• scientific article; zbMATH DE number 1438809 (Why is no real title available?)
• scientific article; zbMATH DE number 7453196 (Why is no real title available?)
• Termination analysis for offline partial evaluation of a higher order functional language
• Dependency pairs termination in dependent type theory modulo rewriting
• Termination analysis and call graph construction for higher-order functional programs
• The size-change termination principle for constructor based languages
• Automatic Termination Verification for Higher-Order Functional Programs
• A SAT-Based Approach to Size Change Termination with Global Ranking Functions
• Programming Languages and Systems
• Rewriting Techniques and Applications
• Type-based termination of generic programs
• Typing termination in a higher-order concurrent imperative language

Describes a project that uses

Uses Software

• OCaml

This page was built for publication: Programming Languages and Systems

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