منابع مشابه
Editorial: Functional and Logic Programming
FLOPS is a forum for research on all issues concerning functional programming and logic programming. In particular, it aims to stimulate the crossfertilization as well as integration of the two paradigms. The symposium takes place about every 1.5 years in Japan. Previous FLOPS meetings were held in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), and Tsukuba (1999). This special issue contains ...
متن کاملFrom Concurrent Logic Programming to Concurrent Constraint Programming
The endeavor to extend logic programming to a language suitable for concurrent systems has stimulated in the last decade an intensive research, resulting in a large variety of proposals. A common feature of the various approaches is the attempt to deene mechanisms for concurrency within the logical paradigm, the driving ideal being the balance between expressiveness and declarative reading. In ...
متن کاملDistributed Concurrent Linear Logic Programming
We propose a framework of distributed concurrent linear logic programming, which can elegantly capture the essential features of distributed computation: locationdependence/independence of names and movement of computation. We rst de ne the syntax and semantics of a modal linear logic that is suitable for expressing distributed computation, and then show that there is a close relationship betwe...
متن کاملA Logic for Concurrent Programming
The UNITY-logic, a fragment of linear temporal logic, was introduced in 5]. In this paper, we describe several recent modiications to this logic. In particular, the operator co replaces unless, for expressing safety properties and, transient predicates form the basis for the progress properties. Our experience suggests that these modiications simplify both the theory and practice of this logic....
متن کاملConcurrent Logic Programming as Uniform Linear Proofs
We describe a formalism based on the proof theory of linear logic, whose aim is to specify concurrent computations and whose language restriction (as compared to other linear logic languages) provides a simpler operational model that can lead to a more practical language core. The fragment is proved to be an abstract logic programming language, that is any sequent can be derived by uniform proo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1990
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/33.6.481