Search Sciweavers | Sciweavers

1320 search results - page 5 / 264

» Efficient Implementation of a Linear Logic Programming Langu...

click to vote

PADL
2010
Springer

127views Programming Languages» more PADL 2010»

A Simple and Efficient Implementation of Concurrent Local Tabling

13 years 8 months ago

Download www.cs.sunysb.edu

Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...

Rui Marques, Terrance Swift, José C. Cunha

claim paper

Read More »

click to vote

LICS
1995
IEEE

156views Automated Reasoning» more LICS 1995»

Structural Cut Elimination

13 years 10 months ago

Download www.cs.cmu.edu

We present new proofs of cut elimination for intuitionistic, classical, and linear sequent calculi. In all cases the proofs proceed by three nested structural inductions, avoiding...

Frank Pfenning

claim paper

Read More »

click to vote

PPCP
1993

148views Programming Languages» more PPCP 1993»

Higher-Order Logic Programming as Constraint Logic Programming

13 years 10 months ago

Download www.cs.cmu.edu

Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...

Spiro Michaylov, Frank Pfenning

claim paper

Read More »

click to vote

IFIP
1994
Springer

121views Programming Languages» more IFIP 1994»

A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations

13 years 10 months ago

Download www.eecs.umich.edu

Egon Börger, Francisco Javier López-Fr...

claim paper

Read More »