concurrent prolog
Recently Published Documents

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Concurrent Prolog

Encyclopedia of Parallel Computing ◽

10.1007/978-0-387-09766-4_2010 ◽

2011 ◽

pp. 378-378

Author(s):

Guy L. Steele ◽

Xiaowei Shen ◽

Josep Torrellas ◽

Mark Tuckerman ◽

Eric J. Bohm ◽

...

Keyword(s):

Concurrent Prolog

Download Full-text

A compositional semantics for Concurrent Prolog

STACS 88 - Lecture Notes in Computer Science ◽

10.1007/bfb0035860 ◽

2006 ◽

pp. 373-388 ◽

Cited By ~ 7

Author(s):

Joost N. Kok

Keyword(s):

Compositional Semantics ◽

Concurrent Prolog

Download Full-text

Concurrent Prolog: A progress report

Fundamentals of Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/bfb0022685 ◽

2005 ◽

pp. 277-313 ◽

Cited By ~ 6

Author(s):

Ehud Shapiro

Keyword(s):

Progress Report ◽

Concurrent Prolog

Download Full-text

P#: a concurrent Prolog for the .NET framework

Software Practice and Experience ◽

10.1002/spe.594 ◽

2004 ◽

Vol 34 (9) ◽

pp. 815-845 ◽

Cited By ~ 5

Author(s):

Jonathan J. Cook

Keyword(s):

Concurrent Prolog ◽

Net Framework

Download Full-text

Fully abstract denotational semantics for flat Concurrent Prolog

[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science ◽

10.1109/lics.1988.5130 ◽

2003 ◽

Cited By ~ 11

Author(s):

R. Gerth ◽

M. Codish ◽

Y. Lichtenstein ◽

E. Shapiro

Keyword(s):

Denotational Semantics ◽

Concurrent Prolog ◽

Flat Concurrent Prolog

Download Full-text

Architectural support for the management of tightly-coupled fine-grain goals in Flat Concurrent Prolog

[1990] Proceedings. The 17th Annual International Symposium on Computer Architecture ◽

10.1109/isca.1990.134538 ◽

2002 ◽

Cited By ~ 1

Author(s):

L. Alkalaj ◽

T. Lang ◽

Ercegovac Milos

Keyword(s):

Concurrent Prolog ◽

Architectural Support ◽

Fine Grain ◽

Tightly Coupled ◽

Flat Concurrent Prolog

Download Full-text

A Flat Concurrent Prolog Compiler for PARAM

IETE Journal of Research ◽

10.1080/03772063.1996.11415920 ◽

1996 ◽

Vol 42 (3) ◽

pp. 161-164

Author(s):

Manish Gupta ◽

Vijay Chandru

Keyword(s):

Concurrent Prolog ◽

Flat Concurrent Prolog

Download Full-text

Linear logic semantics for Concurrent Prolog

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58025-5_66 ◽

1994 ◽

pp. 348-360

Author(s):

Jiří Zlatuška

Keyword(s):

Linear Logic ◽

Concurrent Prolog

Download Full-text

A survey of PARLOG and Concurrent Prolog: The integration of logic and parallelism

Computer Languages ◽

10.1016/0096-0551(93)90024-u ◽

1993 ◽

Vol 18 (3) ◽

pp. 185-196 ◽

Cited By ~ 2

Author(s):

Domenico Talia

Keyword(s):

Concurrent Prolog

Download Full-text

A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems

10.1007/978-3-322-97611-6 ◽

1993 ◽

Author(s):

Uwe Glässer

Keyword(s):

Message Passing ◽

Multiprocessor Systems ◽

Concurrent Prolog ◽

Flat Concurrent Prolog ◽

Distributed Implementation

Download Full-text

concurrent prologRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Concurrent Prolog

A compositional semantics for Concurrent Prolog

Concurrent Prolog: A progress report

P#: a concurrent Prolog for the .NET framework

Fully abstract denotational semantics for flat Concurrent Prolog

Architectural support for the management of tightly-coupled fine-grain goals in Flat Concurrent Prolog

A Flat Concurrent Prolog Compiler for PARAM

Linear logic semantics for Concurrent Prolog

A survey of PARLOG and Concurrent Prolog: The integration of logic and parallelism

A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems

concurrent prolog
Recently Published Documents