Concurrent/Logic Programming Papers

Tempo: a declarative concurrent programming language.

Steve Gregory and Rafael Ramirez. 1995. In Proceedings of the 12th International Conference on Logic Programming, L. Sterling (Ed.). MIT Press.

A declarative approach to concurrent programming

Steve Gregory. 1997. In Proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics, and Programs, H. Glaser (Ed.). Springer-Verlag.

Derivation of concurrent algorithms in Tempo

Steve Gregory. 1996. In LOPSTR95: Fifth International Workshop on Logic Program Synthesis and Transformation, M. Proietti (Ed.). Springer-Verlag.

Declarative concurrent object-oriented programming in Tempo++

Rafael Ramirez. 1995. In ICLP95 Workshop on Parallel Logic Programming.

Nets, logic and concurrent object-oriented programming

Rafael Ramirez. 1995. In First Workshop on Object-Oriented Programming and Models of Concurrency.

Instant Replay debugging of concurrent logic programs

Kish Shen and Steve Gregory. 1996. New Generation Computing 14, 1.

COD: a channel-oriented debugger for concurrent logic programs

Steve Gregory. 1995. In ICLP95 Workshop on Parallel Logic Programming.

Experiments with speculative parallelism in Parlog

Steve Gregory. 1993. In Proceedings of the 10th International Symposium on Logic Programming, D. Miller (Ed.). MIT Press.

Implementing a finite domain constraint solving system in KLIC

Rong Yang. 1995. In ICLP95 Workshop on Parallel Logic Programming.