Search Sciweavers | Sciweavers

3983 search results - page 46 / 797

» Conceptual logic programs

click to vote

POPL
1990
ACM

93views Programming Languages» more POPL 1990»

Parallelism in Logic Programs

14 years 22 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 8 days ago

Download eref.uqu.edu.sa

Michael Hanus, Frank Steiner

claim paper

Read More »

click to vote

PPDP
2000
Springer

94views Programming Languages» more PPDP 2000»

Continuations for parallel logic programming

14 years 8 days ago

Download www.softlab.ntua.gr

Eneia Todoran, Nikolaos Papaspyrou

claim paper

Read More »

click to vote

ICALP
1991
Springer

99views Programming Languages» more ICALP 1991»

Logical and Computational Aspects of Programming with Sets/Bags/Lists

14 years 7 days ago

Download www.ircs.upenn.edu

Val Tannen, Ramesh Subrahmanyam

claim paper

Read More »

click to vote

PADL
2007
Springer

180views Programming Languages» more PADL 2007»

Aspect-Oriented Programming in Higher-Order and Linear Logic

14 years 2 months ago

Download www.cs.hofstra.edu

Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Deﬁ...

Chuck C. Liang

claim paper

Read More »

« Prev « First page 46 / 797 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers