Defining actions in concurrent declarative programming

Electronic Notes in Theoretical Computer Science

Volumn 64, Issue , 2002, Pages 176-194

  Echahed, Rachid ^a   Serwe, Wendelin ^a  

^a CNRS 46   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; CONCURRENCY CONTROL; DATA STRUCTURES; DATABASE SYSTEMS; PROGRAM COMPILERS;

ABSTRACT DATA TYPES (ADT); COMPILATION; COMPONENT-BASED PROGRAMMING; CONCURRENT DECLARATIVE PROGRAMMING;

LOGIC PROGRAMMING;

EID: 18944379437     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80350-5     Document Type: Conference Paper

References (31)

1. 5 report on the algorithmic language Scheme. Higher Order and Symbolic Computation, 11(1):7 - 105, Aug. 1998.
2. J.-R. Abrial. Formal Methods for Industrial Applications, volume 1165 of Lecture Notes in Computer Science, chapter Steam-Boiler Control Specification Problem, pages 500 - 510. Springer Verlag, 1996.
3. rd International Conference on Algebraic and Logic Programming (ALP 1992), volume 632 of Lecture Notes in Computer Science, pages 143 - 157, Volterra, Sept. 1992. Springer Verlag.
4. Armstrong J., Virding R., Wikstrom C., Williams M. Concurrent Programming in ERLANG. second edition :1996;Prentice Hall
5. J. Blanc and R. Echahed. Adding time to functional logic programs. Electronic Notes in Theoretical Computer Science, 64, 2002.
6. A. J. Bonner and M. Kifer. The state of change: A survey. In B. Freitag, H. Decker, M. Kifer, and A. Voronkov, editors, Transactions and Change in Logic Databases: Invited Surveys and Selected Papers of the International Seminar on Logic Databases and the Meaning of Change and ILPS '97 PostConference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97), volume 1472 of Lecture Notes in Computer Science, pages 1 - 36, Schloß Dagstuhl and Port Jefferson, 1998. Springer Verlag.
7. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. Maude: Specification and Programming in Rewriting Logic. Computer Science Laboratory, SRI International, Mar. 1999.
8. Curry: An integrated functional logic language. available at http://www.informatik.uni-kiel.de/~mh/curry/report.html.
9. nd International Conference on Coordination Languages and Models (Coordination '97), volume 1282 of Lecture Notes in Computer Science, pages 274 - 288, Berlin, Sept. 1997. Springer Verlag.
10. Deransart P., Ed-Dbali A., Cervoni L. Prolog: The Standard, Reference Manual. 1996;Springer Verlag
11. Dershowitz N., Jouannaud J.-P. Rewrite systems. van Leeuwen J. Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, chapter 6. 1990;243-320 Elsevier, Amsterdam
12. E. W. Dijkstra. Hierarchical ordering of sequential processes. In C. A. R. Hoare and R. H. Perrott, editors, Proceedings of a Seminar on Operating Systems Techniques, volume 9 of A.P.I.C. Studies in Data Processing, pages 72 - 93, Belfast, 1971. Acdemic Press.
13. Dijkstra E.W. Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM. 18:(8):1975;453-457
14. st International Conference on Computational Logic (CL 2000), volume 1861 of Lecture Notes in Artificial Intelligence, pages 300 - 314, London, July 2000. Springer Verlag.
15. Fokkink W. Introduction to Process Algebra. Texts in Theoretical Computer Science. 2000;Springer Verlag
16. Gelernter D. Generative communication in Linda. ACM Transactions on Programming Languages and Systems. 7:(1):Jan. 1985;80-112
17. M. Hanus. Distributed programming in a multi-paradigm declarative language. In G. Nadathur, editor, Proceedings of the International Conference on Principles and Practice of Declarative Programming (PPDP'99), volume 1702 of Lecture Notes in Computer Science, pages 188 - 205, Paris, 1999. Springer Verlag.
18. S. Janson. AKL - A Multiparadigm Programming Language. PhD thesis, Uppsala Theses in Computing Science 19, June 1994. SICS Dissertation Series 14.
19. Janson S., Montelius J., Haridi S. Ports for objects in concurrent logic programs. Agha G.A., Wegner P., Yonezawa P. Research Directions in Concurrent Object-Oriented Programming. 1993;The MIT Press
20. Kiczales G., des Rivières J., Bobrow D.G. The Art of the Metaobject Protocol, chapter 5 and 6. 1991;The MIT Press
21. Klop J.W. Term rewriting systems. Abramsky S., Gabbay D., Maibaum D. Handbook of Logic in Computer Science. II:1992;1-112 Oxford University Press
22. G. McCluskey. Using Java reflection. available at http://developer.java. sun.com/developer/technicalArticles/ALT/Reflection, Jan. 1998.
23. Milner R. Communicating and Mobile Systems: the Pi-Calculus Cambridge. June1999;University Press
24. Milner R., Tofte M., Harper R., MacQueen D. The Definition of Standard ML - Revised. 1997;The MIT Press
25. Ousterhout J.K. Tcl and the Tk toolkit. Addison-Wesley Professional Computing Series. 1994;Addison-Wesley Publishing Company
26. rd ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL '96), pages 295 - 308, St Petersburg Beach, Florida, Jan. 1996.
27. Reppy J.H. Concurrent Programming in ML. 1999;Cambridge University Press
28. Saraswat V.A. Concurrent Constraint Programming. ACM Doctoral Dissertation Awards. 1993;The MIT Press
29. G. Smolka. The Oz programming model. In J. van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, volume 1000 of Lecture Notes in Computer Science, pages 324 - 343. Springer Verlag, 1995.
30. Steele G.L. Jr. Common Lisp the Language. second edition :1990;Digital Press
31. Wegner P. Interactive foundations of computing. Theoretical Computer Science. 192:(2):Feb. 1998;315-351