Approximating the domains of functional and imperative programs

DOI10.1016/S0167-6423(99)00008-8zbMath0948.68040OpenAlexW1967441757MaRDI QIDQ1818071

Jürgen Giesl, Jürgen Brauburger

Publication date: 4 January 2000

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(99)00008-8

zbMATH Keywords

automated termination analysis of partial functional programs

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) General topics in the theory of software (68N01)

Related Items (1)

Context Dependent Procedures and Computed Types in ✓eriFun

This page was built for publication: Approximating the domains of functional and imperative programs