Search Sciweavers | Sciweavers

3481 search results - page 75 / 697

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

click to vote

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

14 years 1 months ago

Download www.hpl.hp.com

K. Rustan M. Leino

claim paper

Read More »

click to vote

ICALP
1992
Springer

74views Programming Languages» more ICALP 1992»

Logic Programming Semantics Made Easy

14 years 29 days ago

Download www.cs.ucla.edu

Els Laenens, Dirk Vermeir, Carlo Zaniolo

claim paper

Read More »

click to vote

IFIP
1989
Springer

90views Programming Languages» more IFIP 1989»

Parallelism in Logic Programming

14 years 28 days ago

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

Kazunori Ueda

claim paper

Read More »

click to vote

POPL
1990
ACM

93views Programming Languages» more POPL 1990»

Parallelism in Logic Programs

14 years 28 days ago

Download glew.org

Raghu Ramakrishnan

claim paper

Read More »

click to vote

PPDP
2000
Springer

80views Programming Languages» more PPDP 2000»

Type-based nondeterminism checking in functional logic programs

14 years 14 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers