scientific article; zbMATH DE number 1543354

MaRDI QIDQ4520829zbMATH OpenFDO

Authors

Publication date 27 February 2001

Full work available at URL http://www.jucs.org/jucs_6_4/ensuring_termination_in_esfp

zbMATH Keywords

strong functional programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Termination analysis for partial functions
• scientific article; zbMATH DE number 756052
• Ensuring termination by typability
• scientific article; zbMATH DE number 2061698
• scientific article; zbMATH DE number 2163050

Cited in

(3)

• Size-based termination of higher-order rewriting
• Termination checking with types
• Deforestation, program transformation, and cut-elimination

This page was built for publication:

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