Integrating Action Definitions into Concurrent Declarative Programming

The semantics of a process defines the actions it can execute. Thus actions constitute an essential notion for concurrent systems. In this paper, we tackle the problem of integrating the definition of actions within the context of concurrent constraint functional logic programming. We propose to define actions in a meta-language, where abstract data types of programs are available, as functions from constraint functional logic programs to themselves. We illustrate our approach through some examples and compare our approach to related work.

[1]  Narciso Martí-Oliet,et al.  Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..

[2]  Wolfgang Thomas,et al.  Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics , 1990 .

[3]  Simon L. Peyton Jones,et al.  Concurrent Haskell , 1996, POPL '96.

[4]  Sverker Janson,et al.  AKL - A Multiparadigm Programming Language , 1994 .

[5]  J. C. M. Baeten,et al.  Process Algebra: Bibliography , 1990 .

[6]  Peter Wegner,et al.  Interactive , 2021, Encyclopedia of the UN Sustainable Development Goals.

[7]  Michael Kifer,et al.  The State of Change: A Survey , 1996, Transactions and Change in Logic Databases.

[8]  Rachid Echahed,et al.  A Component-Based Approach to Concurrent Declarative Programming , 2001 .

[9]  Daniel G. Bobrow,et al.  Book review: The Art of the MetaObject Protocol By Gregor Kiczales, Jim des Rivieres, Daniel G. and Bobrow(MIT Press, 1991) , 1991, SGAR.

[10]  Gert Smolka.  The Oz Programming Model , 1996 .

[11]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[12]  Joe Armstrong,et al.  Concurrent programming in ERLANG , 1993 .

[13]  Andrea Omicini,et al.  Programmable Coordination Media , 1997, COORDINATION.

[14]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[15]  Michael Hanus,et al.  Distributed Programming in a Multi-Paradigm Declarative Language , 1999, PPDP.

[16]  Jean-Pierre Jouannaud,et al.  Rewrite Systems , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[17]  Pierre Deransart,et al.  Prolog - the standard: reference manual , 1996 .

[18]  Gul Agha,et al.  Ports for Objects in Concurrent Logic Programs , 2003 .

[19]  John K. Ousterhout,et al.  Tcl and the Tk Toolkit , 1994 .

[20]  Sergio Antoy.  Definitional Trees , 1992, ALP.

[21]  M. Hanus,et al.  Curry: An Integrated Functional Logic Language , 2003 .

[22]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[23]  Vijay A. Saraswat,et al.  Concurrent constraint programming , 1989, POPL '90.

[24]  Rachid Echahed,et al.  Combining Mobile Processes and Declarative Programming , 2000, Computational Logic.

[25]  John H. Reppy,et al.  Concurrent programming in ML , 1999 .

[26]  Jan Willem Klop,et al.  Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond , 1990, ICALP.

[27]  Shirley Dex,et al.  JR 旅客販売総合システム（マルス）における運用及び管理について , 1991 .