Ehud Shapiro

Proceedings of the 6th Annual Conference on the Teaching of Computing and the 3rd Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1998

1995

On the Structural Simplicity of Machines and Languages.

[BibT_eX]

[DOI]

Yael Moscowitz

Ann. Math. Artif. Intell., 1995

1994

The Art of Prolog - Advanced Programming Techniques, 2nd Ed.

[BibT_eX]

Leon Sterling

MIT Press, 1994

1993

The Fifth Generation Project: Personal Perspectives.

[BibT_eX]

Commun. ACM, 1993

1992

Spatial Machines: A More Realistic Approach to Parallel Computation.

[BibT_eX]

[DOI]

Yosee Feldman

Commun. ACM, 1992

Logic Programs with Inheritance.

[BibT_eX]

Yaron Goldberg

William Silverman

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Active Mail - A Framework for Implementing Groupware.

[BibT_eX]

[DOI]

Yaron Goldberg

Marilyn Safran

Proceedings of the CSCW '92, Proceedings of the Conference on Computer Supported Cooperative Work, Toronto, Canada, October 31, 1992

Embeddings Among Concurrent Programming Languages (Preliminary Version).

[BibT_eX]

[DOI]

Proceedings of the CONCUR '92, 1992

Polymorphically Typed Logic Programs.

[BibT_eX]

Thom W. Frühwirth

Proceedings of the Types in Logic Programming., 1992

1991

A Type System for Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1991

Separating Concurrent Languages with Categories of Language Embeddings (Extended Abstract)

[BibT_eX]

[DOI]

Proceedings of the 23rd Annual ACM Symposium on Theory of Computing, 1991

Temporal Debugging and its Visual Animation.

[BibT_eX]

Yosee Feldman

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Communication with Directed Logic Variables.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs.

[BibT_eX]

[DOI]

Michael J. Maher

Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991

Embeddings Among Concurrent Programming Languages (Abstract).

[BibT_eX]

[DOI]

Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

Logic Programs as Types for Logic Programs

[BibT_eX]

[DOI]

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

Polymorphically Typed Logic Programs.

[BibT_eX]

Thom W. Frühwirth

Proceedings of the Logic Programming, 1991

Lexical Logic Programs.

[BibT_eX]

Yael Moscowitz

Proceedings of the Logic Programming, 1991

Inductive Inference of Theories from Facts.

[BibT_eX]

Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

1990

The languages FCP(: ) and FCP(: , ?).

[BibT_eX]

[DOI]

Shmuel Kliger

New Gener. Comput., 1990

Guest editors' preface.

[BibT_eX]

[DOI]

New Gener. Comput., 1990

From Decision Trees to Decision Graphs.

[BibT_eX]

Shmuel Kliger

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

FCP Sequential Abstract Machine Characteristics for the Systems Development Workload.

[BibT_eX]

Leon Alkalaj

Tomás Lang

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Distributed Variable Server for Atomic Unification.

[BibT_eX]

[DOI]

Alon Kleinman

Yoram Moses

Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990

1989

Or-Parallel Prolog in Flat Concurrent Prolog.

[BibT_eX]

[DOI]

J. Log. Program., 1989

A Sequential Abstract Machine for Flat Concurrent Prolog.

[BibT_eX]

[DOI]

Avshalom Houri

J. Log. Program., 1989

The Family of Concurrent Logic Programming Languages.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1989

Reactive Behaviour Semantics for Concurrent Constraint Logic Programs.

[BibT_eX]

Michael J. Maher

Proceedings of the Logic Programming, 1989

Fully Abstract Compositional Semantics for Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

Proof Theory and Semantics of Logic Programs

[BibT_eX]

[DOI]

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

A Distributed Locking Algorithm for A Transactions System in Flat Concurrent Prolog.

[BibT_eX]

[DOI]

Ehud Reches

Ehud Gudes

Proceedings of the Foundations of Data Organization and Algorithms, 1989

1988

Specialisation of Prolog and FCP Programs Using Abstract Interpretation.

[BibT_eX]

[DOI]

John P. Gallagher

Michael Codish

New Gener. Comput., 1988

Concurrent Algorithmic Debugging.

[BibT_eX]

[DOI]

Yossi Lichtenstein

Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, 1988

Using Safe Approximations of Fixed Points for Analysis of Logic Programs.

[BibT_eX]

Michael Codish

John P. Gallagher

Proceedings of the Meta-Programming in Logic Programming, 1988

Fully Abstract Denotational Semantics for Flat Concurrent Prolog

[BibT_eX]

[DOI]

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

Abstract Algorithmic Debugging.

[BibT_eX]

Yossi Lichtenstein

Proceedings of the Logic Programming, 1988

A Decision Tree Compilation Algorithm for FCP(!, : , ?).

[BibT_eX]

Shmuel Kliger

Proceedings of the Logic Programming, 1988

An Architectural Model for a Flat Concurrent Prolog Processor.

[BibT_eX]

Leon Alkalaj

Proceedings of the Logic Programming, 1988

The Panel on Theory and Practice of Concurrent Systems.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

The Language FCP(: , ?).

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

FCP: a summary of performance results.

[BibT_eX]

[DOI]

Stephen Taylor

R. Shapiro

Proceedings of the Third Conference on Hypercube Concurrent Computers and Applications, 1988

Prolog - fortgeschrittene Programmiertechniken.

[BibT_eX]

Leon Sterling

Addison-Wesley, ISBN: 978-3-925118-84-5, 1988

1987

Compiling OR-parallelism into AND-parallelism.

[BibT_eX]

[DOI]

Michael Codish

New Gener. Comput., 1987

Notes on the Complexity of Systolic Programs.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1987

Channels: A Generalization of Streams.

[BibT_eX]

Proceedings of the Logic Programming, 1987

An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation.

[BibT_eX]

Proceedings of the Logic Programming, 1987

1986

Multiway Merge with Constant Delay in Concurrent Prolog.

[BibT_eX]

[DOI]

New Gener. Comput., 1986

Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience.

[BibT_eX]

[DOI]

Lisa Hellerstein

J. Log. Program., 1986

A parallel implementation of Flat Concurrent Prolog.

[BibT_eX]

[DOI]

Stephen Taylor

Int. J. Parallel Program., 1986

Concurrent Prolog: A Progress Report.

[BibT_eX]

[DOI]

Computer, 1986

Meta Interpreters For Real (Invited Paper).

[BibT_eX]

Proceedings of the Information Processing 86, 1986

A New Approach for Intruducing Prolog to Naive Users.

[BibT_eX]

[DOI]

Oded Maler

Zahava Scherz

Proceedings of the Third International Conference on Logic Programming, 1986

The Art of Prolog - Advanced Programming Techniques

[BibT_eX]

Leon Sterling

MIT Press, ISBN: 0-262-19250-0, 1986

1985

Fast Multiway Merge Using Destructive Operation.

[BibT_eX]

Proceedings of the International Conference on Parallel Processing, 1985

Polymorphic Arrays: An Architecture for a Programmable Systolic Machine.

[BibT_eX]

Amos Fiat

Adi Shamir

Proceedings of the International Conference on Parallel Processing, 1985

Quadtrees in Concurrent PROLOG.

[BibT_eX]

Shimon Edelman

Proceedings of the International Conference on Parallel Processing, 1985

1984

Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog.

[BibT_eX]

[DOI]

Colin Mierowsky

New Gener. Comput., 1984

Guest Editor's Preface.

[BibT_eX]

[DOI]

New Gener. Comput., 1984

Alternation and the Computational Complexity of Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1984

Systems Programming in Concurrent Prolog.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

Systolic Programming: A Paradigm of Parallel Processing.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1983

Playing mastermind logically.

[BibT_eX]

[DOI]

SIGART Newsl., 1983

Object Oriented Programming in Concurrent Prolog.

[BibT_eX]

[DOI]

Akikazu Takeuchi

New Gener. Comput., 1983

The Fifth Generation Project - Trip Report.

[BibT_eX]

[DOI]

Commun. ACM, 1983

Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Methodology of Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

1982

Algorithmic Program Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982

1981

PASES: a programming environment for PASCAL.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1981

An Algorithm that Infers Theories from Facts.

[BibT_eX]

[DOI]

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

The Model Inference System.

[BibT_eX]