{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,27]],"date-time":"2023-10-27T04:49:03Z","timestamp":1698382143093},"reference-count":17,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":6421,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1989,4]]},"abstract":"Abstract<\/jats:title>A declarative programming style is claimed to have significant advantages from a software engineering point of view. However, these benefits cannot generally be realized when writing programs that are concerned with changing state, such as environments and programming tools. Declarative state\u2010transition (DST) systems have been proposed as a solution to this problem. In DST systems, computation and update are separated. Programs are interpreted as defining functions or relations over states, and update follows successful computation of new states. Support for persistent state and atomic, serializable transactions facilitates the implementation of programming environments and tools. This paper describes an implementation scheme for DST systems. The scheme is illustrated by a presentation of the implementation of PPS, a DST system for parallel logic programming.<\/jats:p>","DOI":"10.1002\/spe.4380190404","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T05:02:05Z","timestamp":1163826125000},"page":"351-370","source":"Crossref","is-referenced-by-count":2,"title":["Implementation of a declarative state\u2010transition system"],"prefix":"10.1002","volume":"19","author":[{"given":"Ian","family":"Foster","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359579"},{"key":"e_1_2_1_3_2","first-page":"133","volume-title":"Logic programming","author":"Kowalski R. A.","year":"1983"},{"key":"e_1_2_1_4_2","doi-asserted-by":"crossref","volume-title":"A declarative state transition system","author":"Foster I. T.","DOI":"10.1016\/0743-1066(91)90005-A"},{"key":"e_1_2_1_5_2","first-page":"153","volume-title":"Logic Programming","author":"Bowen K. A.","year":"1982"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/26.4.360"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/356842.356846"},{"key":"e_1_2_1_8_2","volume-title":"Parlog programming system: user guide and reference manual","author":"Foster I. T.","year":"1986"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/5001.5390"},{"key":"e_1_2_1_10_2","first-page":"159","volume-title":"Artificial Intelligence and Heuristic Programming","author":"Raphael B.","year":"1971"},{"key":"e_1_2_1_11_2","volume-title":"Crash recovery in a distributed data storage system","author":"Lampson B. W.","year":"1976"},{"key":"e_1_2_1_12_2","volume-title":"The Theory of Database Concurrency Control","author":"Papadimitriou C.","year":"1986"},{"key":"e_1_2_1_13_2","unstructured":"D. Z.Badal \u2018Correctness of concurrency control and implications in distributed databases\u2019 Proc. COMPSAC 79 Conf. Chicago 1979."},{"key":"e_1_2_1_14_2","first-page":"799","volume-title":"Recovery algorithms for database systems","author":"Bernstein P. A.","year":"1983"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01379097"},{"key":"e_1_2_1_16_2","volume-title":"Strand: New Concepts in Parallel Programming","author":"Foster I. T.","year":"1989"},{"key":"e_1_2_1_17_2","volume-title":"Systems Programming in Parallel Logic Languages","author":"Foster I. T.","year":"1989"},{"key":"e_1_2_1_18_2","volume-title":"Parallel Logic Programming in PARLOG","author":"Gregory S.","year":"1987"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380190404","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380190404","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T08:07:38Z","timestamp":1697962058000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380190404"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,4]]},"references-count":17,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1989,4]]}},"alternative-id":["10.1002\/spe.4380190404"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380190404","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,4]]}}}