1724 search results - page 307 / 345 » Abstract Interpreters for Free |
POPL
2012
ACM
12 years 5 months ago
2012
ACM
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
ICDE
2012
IEEE
12 years 4 days ago
2012
IEEE
—Traditional clustering algorithms identify just a single clustering of the data. Today’s complex data, however, allow multiple interpretations leading to several valid groupin...
HPDC
1998
IEEE
14 years 1 months ago
1998
IEEE
Development of portable network-aware applications demands an interface to the network that allows an application to obtain information about its execution environment. This paper...
ICLP
1997
Springer
14 years 1 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
TRIER
2002
13 years 9 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...