Objects in concurrent logic programming languages

Conference proceedings on Object-oriented programming systems, languages and applications - OOPLSA '86 ◽

10.1145/28697.28721 ◽

1986 ◽

Cited By ~ 17

Author(s):

Kenneth Kahn ◽

Eric Dean Tribble ◽

Mark S. Miller ◽

Daniel G. Bobrow

Keyword(s):

Logic Programming ◽

Programming Languages ◽

Concurrent Logic Programming ◽

Logic Programming Languages

Download Full-text

Objects in concurrent logic programming languages

ACM SIGPLAN Notices ◽

10.1145/960112.28721 ◽

1986 ◽

Vol 21 (11) ◽

pp. 242-257 ◽

Cited By ~ 4

Author(s):

Kenneth Kahn ◽

Eric Dean Tribble ◽

Mark S. Miller ◽

Daniel G. Bobrow

Keyword(s):

Logic Programming ◽

Programming Languages ◽

Concurrent Logic Programming ◽

Logic Programming Languages

Download Full-text

The family of concurrent logic programming languages

ACM Computing Surveys ◽

10.1145/72551.72555 ◽

1989 ◽

Vol 21 (3) ◽

pp. 413-510 ◽

Cited By ~ 268

Author(s):

Ehud Shapiro

Keyword(s):

Logic Programming ◽

Programming Languages ◽

Concurrent Logic Programming ◽

The Family ◽

Logic Programming Languages

Download Full-text

Objects in concurrent logic programming languages (abstract only)

Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming - ◽

10.1145/323779.323765 ◽

1986 ◽

Author(s):

Ken Kahn

Keyword(s):

Logic Programming ◽

Programming Languages ◽

Concurrent Logic Programming ◽

Logic Programming Languages

Download Full-text

The Family of Concurrent Logic Programming Languages

Logic, Algebra, and Computation ◽

10.1007/978-3-642-76799-9_10 ◽

1991 ◽

pp. 359-485 ◽

Cited By ~ 1

Author(s):

Ehud Shapiro

Keyword(s):

Logic Programming ◽

Programming Languages ◽

Concurrent Logic Programming ◽

The Family ◽

Logic Programming Languages

Download Full-text

Objects in concurrent logic programming languages

Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming - ◽

10.1145/323779.323739 ◽

1986 ◽

Author(s):

Kenneth Kahn ◽

Eric Dean Tribble ◽

Mark S. Miller ◽

Daniel G. Bobrow

Keyword(s):

Logic Programming ◽

Programming Languages ◽

Concurrent Logic Programming ◽

Logic Programming Languages

Download Full-text

Objects in concurrent logic programming languages

ACM SIGPLAN Notices ◽

10.1145/323648.323739 ◽

1986 ◽

Vol 21 (10) ◽

pp. 29-38 ◽

Cited By ~ 3

Author(s):

Kenneth Kahn ◽

Eric Dean Tribble ◽

Mark S. Miller ◽

Daniel G. Bobrow

Keyword(s):

Logic Programming ◽

Programming Languages ◽

Concurrent Logic Programming ◽

Logic Programming Languages

Download Full-text

Towards a formal semantics for concurrent logic programming languages

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_86 ◽

1986 ◽

pp. 335-349

Author(s):

Lennart Beckman

Keyword(s):

Logic Programming ◽

Programming Languages ◽

Formal Semantics ◽

Concurrent Logic Programming ◽

Logic Programming Languages

Download Full-text

Objects in concurrent logic programming languages (abstract only)

ACM SIGPLAN Notices ◽

10.1145/323648.323765 ◽

1986 ◽

Vol 21 (10) ◽

pp. 186

Author(s):

Ken Kahn

Keyword(s):

Logic Programming ◽

Programming Languages ◽

Concurrent Logic Programming ◽

Logic Programming Languages

Download Full-text

Detecting stable properties of networks in concurrent logic programming languages

Proceedings of the seventh annual ACM Symposium on Principles of distributed computing - PODC '88 ◽

10.1145/62546.62582 ◽

1988 ◽

Cited By ~ 4

Author(s):

Vijay A. Saraswat ◽

Kenneth Kahn ◽

David Weinbaum

Keyword(s):

Logic Programming ◽

Programming Languages ◽

Concurrent Logic Programming ◽

Logic Programming Languages

Download Full-text

A Semantics for Concurrent Logic Programming Languages Based on Multiple-Valued Logic

International Journal of Advanced Computer Science and Applications ◽

10.14569/ijacsa.2012.031002 ◽

2012 ◽

Vol 3 (10) ◽

Author(s):

Marion Glazerman

Keyword(s):

Logic Programming ◽

Programming Languages ◽

Concurrent Logic Programming ◽

Multiple Valued Logic ◽

Logic Programming Languages

Download Full-text