745 search results - page 56 / 149 » The Functional Side of Logic Programming |
139
Voted
PPOPP
1993
ACM
15 years 8 months ago
1993
ACM
The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scienti c Fortran programs. It displays the results of sophisticate...
233
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...
115
click to vote
TBILLC
2005
Springer
15 years 9 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ā¤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deļ...
173
Voted
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
140
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
Abstract. Hydra is a domain-speciļ¬c language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware speciļ¬cation ...