Script d signℛℒ: A distributed real-time logic language

Computer Languages

Volumn 23, Issue 2-4, 1997, Pages 87-120

  Diaz M ^a   Rubio, B ^a   Troya, J M ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; NETWORK PROTOCOLS; REAL TIME SYSTEMS; UNIX;

CONCURRENT LOGIC LANGUAGES (CLL); DISTRIBUTED PROGRAMMING; DISTRIBUTED REAL TIME SYSTEMS;

FORMAL LANGUAGES;

EID: 0031176434     PISSN: 00960551     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0096-0551(97)00011-8     Document Type: Article

References (31)

1. H. E. Bal, J. G. Steiner and A. S. Tanenbaum. Programming languages for distributed computing systems. ACM Computing Surveys 21, 261-322 (1989).
2. Agha, G., Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.
3. Armstrong, J., Virding, R. and Willians, M., Concurrent Programming in ERLANG. Prentice Hall, 1993.
4. N. Halbwachs, P. Caspi, P. Raymond and D. Pilaud. The Synchronous dataflow programming language LUSTRE. Proc. IEEE 79, 1305-1320 (1991).
5. K. Clark and S. Gregory. PARLOG: Parallel Programming in Logic. ACM Transactions on Programming Languages and Systems 8, 1-49 (1986).
6. Diaz, M., Pimentel, E. and Troya, J. M., A Declarative Environment for Distributed Programming. In Proc. of 12th IFIP, 1992, pp. 163-169.
7. Foster, I., Systems Programming in Parallel Logic Languages. Prentice Hall, 1990.
8. K. Ueda and T. Chikayama. Design of the Kernel language for the parallel inference machine. The Computer Journal 33, 494-500 (1990).
9. Cohen, D., Huntbach, M. M. and Ringwood, G. A., Logical Occam. Technical report, Dept. of Computer Science, Queen Mary and Westfield College, London, 1991.
10. Foster I. and Taylor S., Strand: New Concepts in Parallel Programming. Prentice-Hall, 1990.
11. Elshiewy, M. A., Robust coordinated reactive computing in Sandra. Ph.D. SICS, 1990.
12. Saraswat, V. A., Kahn, K. and Levi, J., Janus: A step towards distributed constraint programming. In Proc. of North American Conference on Logic Programming, MIT press, Austin, TX, 1990, pp. 431-446.
13. Armstrong, J., Elshiewy, N. and Virding, R., The phoning philosoper's problem or logic programming for telecommunications applications. In Proc. 3rd IEEE Symposium on Logic Programming, 1986, pp. 28-33.
14. Nillson, M., Mobile robot control with concurrent logic languages. In Proc. Euromicro Workshop on Real-Time Systems, 1990, pp. 42-46.
15. Renaux, D. and Dasiewicz, P., RTX-Parlog: Real-time extended Parlog. In Proc. Euromicro Workshop on Real-Time Systems, 1993, pp. 147-153.
16. Chikayama, T., Sato, H. and Miyazaki, T., Overview of the parallel inference machine operating system PIMOS. In Proc. of the Int. Conf. on Fifth Generartion Computer Systems, ICOT, Tokyo, 1988, pp. 230-251.
17. Hirata, K., Yamamoto, R., Imai, A., Kawai, H., Hirano, K., Takagi, T., Taki, K., Nakase, A. and Rokusawa, K., Parallel and distributed implementation of concurrent logic programming language KL1. In Proc. of the Int. Conf. on Fifth Generartion Computer Systems, ICOT, Tokyo, 1992, pp. 436-459.
18. Fujise, T., Chikayama, T., Rokusawa, K. and Nakase, A., KLIC: A portable implentation of KL1. In Proc. of the Int. Conf. on Fifth Generartion Computer Systems, ICOT, Tokyo, 1994, pp. 66-80.
19. Baron, U., A Distributed Implementation of Flat Concurrent Prolog. Weizmann Institute of Science, 1986.
20. S. Taylor, S. Safra and E. Shapiro. A parallel implementation of flat concurrent Prolog. International Journal of Parallel Programming 15, 245-275 (1986).
21. Taylor, S. Parallel Logic Programming Techniques. Prentice Hall, 1989.
22. Hausman, B., Turbo Erlang: Approaching the speed of C. In Implementations of Logic Programming Systems, ed. E. Tick and G. Succi. Kluwer Academic Publishers, 1994, pp. 119-135.
23. Wikstrom, C., Distributed programming in Erlang. In 1st International Symposium on Parallel Symbolic Computation, 1994.
24. M. Diaz and J. M. Troya. A Parlog based real-time distributed logic environment. Future Generation Computer Systems 9, 201-218 (1993).
25. Plotkin, G. D., A structural approach to operational semantics. Daimi F.N. 19, Computer Science Dpt., Univ. of Aarhus, 1981.
26. Boer, F. S. and Palamidessi, C., Concurrent logic programming asynchronism and languages comparison. In Logic Programming: Proc. of the North American Conf., ed. S. Debray and M. Hermenegildo De. MIT Press, 1988, pp. 175-194.
27. M. Diaz, E. Pimentel and J. M. Troya. DROL: A distributed and real-time object-oriented logic environment. The Computer Journal 37, 407-421 (1994).
28. Rubio, B. and Troya J. M., A Sequential Implementation of Flat Parlog. Tech. Report, LCC-ITI 93/4, Dpto. Lenguajes y Ciencias de la Computaci-n. Universidad de Malaga, 1993.
29. Crammond, J., The abstract machine and implementation of parallel Parlog. Tech. Report draft, Dept. of Computing of Imperial College, 1990.
30. Baker, H. G., List processing in real time on a serial computer. Communications of the ACM 21, 4, 280-294, 1978.
31. E. W. Dijkstra, W. H. J. Feijen and A. J. M. Vangasteren. Derivation of a termination detection algorithm for distributed computation. Inf. Proc. Letters 16, 217-219 (1983).