{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:53Z","timestamp":1761611093385},"reference-count":0,"publisher":"Cambridge University Press (CUP)","issue":"5","license":[{"start":{"date-parts":[[1997,10,1]],"date-time":"1997-10-01T00:00:00Z","timestamp":875664000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1997,10]]},"abstract":"<jats:p>This paper develops the functional part of a theory of action \nsemantics for reasoning about \nprograms. Action notation, the specification language of action \nsemantics, is given an \nevaluation semantics, and operational techniques from process theory and\n functional \nprogramming are applied in the development of a versatile action \ntheory. The power of the \ntheory is demonstrated by means of action semantic proofs of functional\n program \nequivalences.<\/jats:p>","DOI":"10.1017\/s0960129597002417","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T13:29:40Z","timestamp":1027776580000},"page":"557-589","source":"Crossref","is-referenced-by-count":1,"title":["Action semantics reasoning about functional programs"],"prefix":"10.1017","volume":"7","author":[{"given":"S. B.","family":"LASSEN","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[1997,10,1]]},"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129597002417","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T20:12:45Z","timestamp":1557605565000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129597002417\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,10]]},"references-count":0,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1997,10]]}},"alternative-id":["S0960129597002417"],"URL":"https:\/\/doi.org\/10.1017\/s0960129597002417","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,10]]}}}