SCOPUS 정보 검색 플랫폼

Electronic Notes in Theoretical Computer Science

Volumn 4, Issue C, 1996, Pages 110-125

Distributed Logic Objects. A Fragment of Rewriting Logic and its Implementation

(4) Ciampolini, Anna a Lamma, Evelina a Mello, Paola b Stefanelli, Cesare a

a UNIVERSITY OF BOLOGNA (Italy)

b UNIVERSITY OF FERRARA (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; LOGIC PROGRAMMING; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; TELECOMMUNICATION SYSTEMS; THEOREM PROVING;

CONCURRENT LOGIC LANGUAGES; DISTRIBUTED MEMORY; MAUDE LANGUAGES; REWRITING LOGICS;

FORMAL LOGIC;

EID: 19144364126 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/S1571-0661(04)00036-2 Document Type: Article

Times cited : (4)

References (24)

1
- 84916565217
- A. Ciampolini, E. Lamma, P. Mello, and C. Stefanelli. Distributed Logic Objects. Technical Report DEIS, DEIS - University of Bologna, 1994.

2
- 0003528391
- The MIT Press
- (1986) Actors: A Model of Concurrent Computation in Distributed Systems
- Agha¹

3
- 0027594189
- Abstraction and Modularity Mechanisms for Concurrent Computing
- (1993) IEEE Parallel & Distributed Technology , vol.1 , Issue.2 , pp. 3-20
- Agha¹ Frolund² Kim³ Panwar⁴ Patterson⁵ Sturman⁶

4
- 84916565216
- J.M. Andreoli, T. Castagnetti, and R. Pareschi. Abstract Interpretation of Linear Logic Programming. In D. Miller, editor, Proceedings of IEEE Symposium on Logic Programming ILPS93. The MIT Press, 1993.

5
- 84916565215
- J.M. Andreoli and R. Pareschi. Linear objects: logical processes with built-in inheritance. In D.H.D. Warren and P. Szeredi, editors, Proc. Seventh International Conference on Logic Programming, pages 495–510. The MIT Press, 1990.

6
- 84916565214
- M. Bourgois, J.M. Andreoli, and R. Pareschi. Extending Objects with Rules, Composition and Concurrency: The LO Experience. Technical Report TR-92-26, ECRC, 1992.

7
- 84916565213
- A. Brogi. AND-parallelism without Shared Variables. In D.H.D. Warren and Peter Szeredi, editors, Proc. Seventh International Conference on Logic Programming, pages 306–324. The MIT Press, 1990.

8
- 0026897587
- The Implementation of a Distributed Model for Logic Programming based on Multiple-headed Clauses
- (1992) Information Processing Letters , vol.42 , pp. 331-338
- Brogi¹ Ciampolini² Lamma³ Mello⁴

9
- 84916565212
- J.S. Conery. Logical objects. In R. A. Kowalski and K. A. Bowen, editors, Proc. Fifth International Conference on Logic Programming, pages 420–434. The MIT Press, 1988.

10
- 84916565211
- A. Davison. Polka: A Parlog Object-oriented Language. Technical Report Internal report, Dept. of Computing, Imperial College, 1988.

11
- 0022047445
- Concurrent Histories: A Basis for Observing Distributed Systems
- (1987) J.CSS , vol.34 , pp. 442-461
- Degano¹ Montanari²

12
- 0021302899
- A Synchronization Logic: Axiomatic and Formal Semantics of Generalized Horn Clauses
- (1984) Information and Control , vol.60 , pp. 36-69
- Falaschi¹ Levi² Palamidessi³

13
- 84916565210
- J. A. Goguen, Claude Kirchner, and José Meseguer. Concurrent term rewriting as a model of computation. In R. Keller and J. Fasel, editors, Proceedings of Graph Reduction Workshop, volume 279 of LNCS, pages 53–93, Santa Fe (NM, USA), 1987. Springer-Verlag.

14
- 84916565209
- J. A. Gougen. The rewrite rule machine project. In Proceedings of the 2nd International Conference on Supercomputing, 1987.

15
- 84916565208
- K. Kahn, E.D. Tribble, M.S. Miller, and, D. G. Bobrow. Objects in concurrent logic programming languages. In Proceedings of OOPSLA-86. ACM Press, Portland (Oregon), 1986.

16
- 84916565207
- Claude Kirchner and Patrick Viry. Implementing parallel rewriting. In B. Fronhöfer and G. Wrightson, editors, Parallelization in Inference Systems, volume 590 of LNCS, pages 123–138. Springer-Verlag, 1992.

17
- 84916565206
- Patrick Lincoln, Narciso Martí-Oliet, and José Meseguer. Specification, transformation, and programming of concurrent systems in rewriting logic. In G.E. Blelloch, K.M. Chandy, and S. Jagannathan, editors, Specification of Parallel Algorithms, pages 309–339. DIMACS Series, Vol. 18, American Mathematical Society, 1994.

18
- 84916565205
- Patrick Lincoln, Narciso Marti-Oliet, José Meseguer, and Livio Ricciulli. Compiling rewriting onto SIMD and MIMD/SIMD machines. In Proceedings of PARLE'94, 6th International Conference on Parallel Architectures and Languages Europe, pages 37–48. Springer LNCS 817, 1994.

19
- 84916565204
- J. Meseguer. A Logical Theory of Concurrent Objects. In Proceedings of OOPSLA-ECOOP-90, pages 101–115. ACM Press, 1990s.

20
- 84916565203
- J. Meseguer and T. Winkler. Parallel Programming in Maude. Technical Report CSL-91-08, SRI, 1991.

21
- 0002893365
- A logical theory of concurrent objects and its realization in the Maude language
- Gul Agha, Peter Wegner, Akinori Yonezawa, MIT Press
- (1993) Research Directions in Concurrent Object-Oriented Programming , pp. 314-390
- é Meseguer¹

22
- 84916565202
- L. Monteiro. Distributed Logic: A Theory of Distributed Programming in Logic. Technical report, Universidade Nova de Lisboa, 1986.

23
- 0004029755
- Object oriented programming in Concurrent Prolog
- (1983) New Generation Computing , vol.1 , pp. 25-48
- Shapiro¹ Takeuchi²

24
- 84916565201
- D.H.D. Warren. An abstract Prolog instruction set. Technical Report TR 309, SRI International, 1983.

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.