Search Sciweavers | Sciweavers

5482 search results - page 111 / 1097

» Logic Programming and Databases

131

Voted

SIGMOD
1989
ACM

153views Database» more SIGMOD 1989»

Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference

15 years 9 months ago

Download homepages.inf.ed.ac.uk

Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...

Atsushi Ohori, Peter Buneman, Val Tannen

claim paper

Read More »

213

click to vote

POPL
2008
ACM

102views Programming Languages» more POPL 2008»

Lifting abstract interpreters to quantified logical domains

16 years 5 months ago

Download research.microsoft.com

Sumit Gulwani, Bill McCloskey, Ashish Tiwari

claim paper

Read More »

131

click to vote

ESOP
2010
Springer

128views Programming Languages» more ESOP 2010»

Logical Concurrency Control From Sequential Proofs

16 years 2 months ago

Download research.microsoft.com

G. Ramalingam, Jyotirmoy V. Deshmukh, Kapil Vaswan...

claim paper

Read More »

167

click to vote

LOPSTR
2005
Springer

170views Automated Reasoning» more LOPSTR 2005»

Declarative Programming with Function Patterns

15 years 10 months ago

Download web.cecs.pdx.edu

We propose an extension of functional logic languages that allows the deﬁnition of operations with patterns containing other deﬁned operation symbols. Such “function patterns...

Sergio Antoy, Michael Hanus

claim paper

Read More »

112

click to vote

ICCL
1998
IEEE

120views Programming Languages» more ICCL 1998»

A Conservative Technique to Improve Deterministic Evaluation of Logic Programs

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers