1194 search results - page 131 / 239 » A Calculus for Predicative Programming |
108
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
125
Voted
VLDB
1991
ACM
15 years 6 months ago
1991
ACM
We introduce a persistentfunctional languagecalled PFL which adapts functional programming to the area of deductive databases,much as logic-based deductive databaselanguagesadapt ...
110
Voted
PEPM
2007
ACM
15 years 8 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
146
click to vote
HASKELL
2005
ACM
15 years 8 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
153
Voted
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...