Sciweavers

4370 search results - page 83 / 874

» Algebra of Logic Programming

115

Voted

PPDP
2001
Springer

79views Programming Languages» more PPDP 2001»

Termination of Well-Typed Logic Programs

15 years 10 months ago

Termination of Well-Typed Logic Programs

Download www.dsi.unive.it

Annalisa Bossi, Nicoletta Cocco, Sabina Rossi

claim paper

Read More »

146

Voted

ESOP
1999
Springer

96views Programming Languages» more ESOP 1999»

A Programming Logic for Sequential Java

15 years 10 months ago

A Programming Logic for Sequential Java

Download sct.inf.ethz.ch

Arnd Poetzsch-Heffter, Peter Müller

claim paper

Read More »

144

Voted

PADL
1999
Springer

130views Programming Languages» more PADL 1999»

Applying Logic Programming to Derive Novel Functional Information of Genomes

15 years 10 months ago

Applying Logic Programming to Derive Novel Functional Information of Genomes

Download www.cs.kent.edu

Arvind K. Bansal, Peer Bork

claim paper

Read More »

177

Voted

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

15 years 10 months ago

Recursive Object Types in a Logic of Object-Oriented Programs

Download www.hpl.hp.com

K. Rustan M. Leino

claim paper

Read More »

143

Voted

ICALP
1992
Springer

74views Programming Languages» more ICALP 1992»

Logic Programming Semantics Made Easy

15 years 10 months ago

Logic Programming Semantics Made Easy

Download www.cs.ucla.edu

Els Laenens, Dirk Vermeir, Carlo Zaniolo

claim paper

Read More »

« Prev « First page 83 / 874 Last » Next »