Paper Info
Title
Nondeterminism analysis of functional logic programs
Abstract
Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations results in a run-time error. Thus, it is desirable to ensure at compile time that a given program is not going to crash in this way. Furthermore, knowledge about nondeterminism can be exploited to optimize programs. In particular, if functional logic programs are compiled to target languages without builtin support for nondeterministic computations, the transformation can be much simpler if it is known that the source program is deterministic. In this paper we present a nondeterminism analysis of functional logic programs in form of a type/effect system. We present a type inferencer to approximate the nondeterminism behavior via nonstandard types and show its correctness w.r.t. the operational semantics of functional logic programs. The type inference is based on a new compact representation of sets of types and effects.
Year
DOI
Venue
2005
10.1007/11562931_21
ICLP
Keywords
Field
DocType
o operations result,source program,type inference,nondeterminism analysis,nondeterministic computation,nondeterminism behavior,type inferencer,nonstandard type,functional logic program,nondeterministic choice,operational semantics,functional logic programming
Operational semantics,Programming language,Program transformation,Effect system,Nondeterministic algorithm,Computer science,Correctness,Algorithm,Theoretical computer science,Type inference,Program analysis,Unbounded nondeterminism
Conference
Volume
ISSN
ISBN
3668
0302-9743
3-540-29208-X
Citations 
PageRank 
References 
6
0.46
19
Authors
2
Name
Order
Citations
PageRank
Bernd Braßel118112.47
Michael Hanus270745.18