A Loop-detecting Interpreter for Lazy, Higher-order Programs

A Loop-detecting Interpreter for Lazy, Higher-order Programs (1992)

Cached

Download Links

[www.cs.chalmers.se]

Other Repositories/Bibliography

DBLP

by John Hughes , Chalmers Tekniska Hogskola , Alex Ferguson

Venue:	Functional Programming, Workshops in Computing
Citations:	6 - 0 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A Loop-detecting Interpreter for Lazy, Higher-order Programs	user correction - Legacy Corrections
AUTHOR NAME	John Hughes	SVM HeaderParse 0.1
AUTHOR AFFIL	S-41296 G	SVM HeaderParse 0.2
AUTHOR ADDR	OTEBORG, Sweden	SVM HeaderParse 0.1
AUTHOR NAME	Chalmers Tekniska Hogskola	SVM HeaderParse 0.1
AUTHOR AFFIL	S-41296 G	SVM HeaderParse 0.2
AUTHOR ADDR	OTEBORG, Sweden	SVM HeaderParse 0.1
AUTHOR NAME	Alex Ferguson	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computing Science, University of Glasgow	SVM HeaderParse 0.2
AUTHOR ADDR	Glasgow G12 8QQ	SVM HeaderParse 0.1
ABSTRACT	Interpreters that detect some forms of non-termination have a variety of applications, from abstract interpretation to partial evaluation. A simple and often used strategy is to test for a repeated state, but this cannot handle infinite values (such as first-class functions) or unevaluated states such as arise in lazy programs. In this paper we propose using Berry and Curien's theory of sequential algorithms as a semantic foundation for loop detection: we obtain straightforwardly a loop detector for lazy higher-order functional programs, which is more effective than the simple strategy even for strict first order cases. 1 Introduction We normally expect an interpreter, given a non-terminating program to interpret, to fail to terminate itself. But there are applications in which it is useful for an interpreter to stop in such cases, with a report that the interpreted program is in an infinite loop. One such application is abstract interpretation[1], a method of compile-time analysis in...	user correction - Legacy Corrections
YEAR	1992	INFERENCE
VENUE	Functional Programming, Workshops in Computing	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	.	INFERENCE
CITATIONS	7 found	ParsCit 1.0