Homeomorphic Embedding for Online Termination

Homeomorphic Embedding for Online Termination (1998)

by Michael Leuschel

Venue:	STATIC ANALYSIS. PROCEEDINGS OF SAS’98, LNCS 1503
Citations:	57 - 8 self

User correction supplied by mph

Datum	Value	Source
TITLE	Homeomorphic Embedding for Online Termination	user correction - Legacy Corrections
AUTHOR NAME	Michael Leuschel	user correction
AUTHOR AFFIL	Department of Electronics and Computer Science; University of Southampton	user correction
AUTHOR ADDR	UK	user correction
ABSTRACT	Recently well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of program analysis, specialisation and transformation techniques. In this paper,	user correction
YEAR	1998	INFERENCE
VENUE	STATIC ANALYSIS. PROCEEDINGS OF SAS’98, LNCS 1503	user correction
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	230--245	INFERENCE
CITATIONS	66 found	ParsCit 1.0