Search Sciweavers | Sciweavers

3481 search results - page 75 / 697

» Higher-Order Logic Programming as Constraint Logic Programmi...

210

click to vote

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

15 years 11 months ago

Download www.hpl.hp.com

K. Rustan M. Leino

claim paper

Read More »

171

click to vote

ICALP
1992
Springer

74views Programming Languages» more ICALP 1992»

Logic Programming Semantics Made Easy

15 years 11 months ago

Download www.cs.ucla.edu

Els Laenens, Dirk Vermeir, Carlo Zaniolo

claim paper

Read More »

152

Voted

IFIP
1989
Springer

90views Programming Languages» more IFIP 1989»

Parallelism in Logic Programming

15 years 11 months ago

Download www.ueda.info.waseda.ac.jp

Kazunori Ueda

claim paper

Read More »

169

Voted

POPL
1990
ACM

93views Programming Languages» more POPL 1990»

Parallelism in Logic Programs

15 years 11 months ago

Download glew.org

Raghu Ramakrishnan

claim paper

Read More »

154

click to vote

PPDP
2000
Springer

80views Programming Languages» more PPDP 2000»

Type-based nondeterminism checking in functional logic programs

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers