1613 search results - page 161 / 323 » Functional and Constraint Logic Programming |
122
Voted
NJC
2006
15 years 3 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
111
Voted
COLT
1992
Springer
15 years 7 months ago
1992
Springer
Machine learning of limit programs (i.e., programs allowed finitely many mind changes about their legitimate outputs) for computable functions is studied. Learning of iterated lim...
136
click to vote
SIGSOFT
2002
ACM
16 years 4 months ago
2002
ACM
Program slicing is a potentially useful analysis for aiding program understanding. However, slices of even small programs are often too large to be generally useful. Imprecise poi...
123
Voted
ASAP
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper presents a technique to map automatically a complete digital signal processing (DSP) application onto a parallel machine with distributed memory. Unlike other applicati...
166
Voted
TLDI
2010
ACM
15 years 3 months ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...