{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:05:33Z","timestamp":1729616733928,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/seke.1992.227953","type":"proceedings-article","created":{"date-parts":[[2003,1,2]],"date-time":"2003-01-02T09:32:26Z","timestamp":1041499946000},"page":"17,-639","source":"Crossref","is-referenced-by-count":3,"title":["Knowledge-based transformational programming"],"prefix":"10.1109","author":[{"given":"J.","family":"Liu","sequence":"first","affiliation":[]},{"given":"O.","family":"Traynor","sequence":"additional","affiliation":[]},{"given":"B.","family":"Krieg-Bruckner","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"361","article-title":"The PROSPECTRA Methodology and System: A Unified Development Framework","author":"krieg-br\ufffdckner","year":"1991","journal-title":"Proceedings of VDM'91"},{"journal-title":"The Definition of Standard ML","year":"1990","author":"tofte","key":"ref11"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.1007\/BF01888219","article-title":"A Fast Patternmatching Algorithm Derived by Transformational and Assertional Reasoning","volume":"2","author":"partsch","year":"1990","journal-title":"Formal Aspects of Computing"},{"journal-title":"Automating Software Design","year":"1991","author":"smith","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(90)90025-9"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17162-2_133"},{"journal-title":"Fundamentals of Algebraic Specifications 1 Equations and Initial semantics","year":"1985","author":"ehrich","key":"ref4"},{"key":"ref3","article-title":"On the Algebraic Definition of Programming Languages","author":"broy","year":"1984","journal-title":"ACM TOPLAS"},{"year":"0","key":"ref6"},{"journal-title":"A Completion Procedure for Conditional Equations","year":"1987","author":"ganzinger","key":"ref5"},{"journal-title":"Program Development by Specification and Transformation","year":"1990","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-50940-2_26"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.21743"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-15187-7","author":"bauer","year":"1985","journal-title":"The Munich project CIP"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3540539816_74"}],"event":{"name":"Fourth International Conference on Software Engineering and Knowledge Engineering","location":"Capri, Italy"},"container-title":["Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/413\/5910\/00227953.pdf?arnumber=227953","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T13:10:30Z","timestamp":1497532230000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/227953\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/seke.1992.227953","relation":{},"subject":[]}}