967 search results - page 74 / 194 » Probabilistic Predicative Programming |
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...
151
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...
141
Voted
ICLP
1999
Springer
15 years 6 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...