When separately written programs are composed so that they may cooperate, they may
instead destructively interfere in unanticipated ways. These hazards limit the scale and …

We present a new framework for amalgamating two successful programming paradigms:
logic programming and object-oriented programming. From the former, we keep the …

Programmers write programs, expressing plans for machines to execute. When composed
so that they may cooperate, plans may instead interfere with each other in unanticipated …

This tutorial collects and elaborates arguments for distinguishing between object-oriented
programming and abstract data types. The basic distinction is that object-oriented …

We define TRIO+, an object-oriented logical language for modular system specification.
TRIO+ is based on TRIO, a first-order temporal language that is well suited to the …

A number of attempts have been made to obtain type systems for object-oriented
programming. The view that lies common is “object-oriented programming= λ-calculus+ …

We introduce a novel concurrent logic programming language, which we call LO, based on
an extension of Horn logic. This language enhances the process view of objects …

ABSTRACT A propositional temporal logic is introduced whose operators quantify over
intervals of a reference time line. The intervals are specified symbolically, for example 'next …

In this paper we introduce an alternative to streams as the communication medium for object-
oriented programming in concurrent logic programming languages. This alternative will be …

We present a logic programming language that uses implications and universal quantifiers
in goals and in the bodies of clauses to provide a simple scoping mechanism for program …