{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:45:43Z","timestamp":1747579543625},"reference-count":18,"publisher":"Wiley","issue":"11","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":6938,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1987,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper describes a system for automatically generating an implementation of an abstract data type from its axiomatic specifications. Such a system can be useful for rapid prototyping and for detecting inconsistencies in the specifications by testing the generated implementation. In the generated Implementation, an instance of the data type is represented by its state. An operation on the data type is implemented by a collection of functions \u2014 a function for each of the axioms specified for the operation, and a function for the operation that determines, depending on the state of the instance(s) on which the operation is being performed, which of the axioms of the operation is applicable. The system is developed on a Sun\u20103 workstation running Unix. It is written in C and generates the implementation of the abstract data type in C.<\/jats:p>","DOI":"10.1002\/spe.4380171106","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T02:05:25Z","timestamp":1163815525000},"page":"847-858","source":"Crossref","is-referenced-by-count":12,"title":["Synthesizing implementations of abstract data types from axiomatic specifications"],"prefix":"10.1002","volume":"17","author":[{"given":"Pankaj","family":"Jalote","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312816"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231535"},{"key":"e_1_2_1_4_2","volume-title":"The SIMULA 67 Common Base Language","author":"Dahl O. J.","year":"1970"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/359763.359789"},{"key":"e_1_2_1_6_2","volume-title":"Reference Manual for the ADA Programming Language, United States Department of Defense","year":"1983"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00260922"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230209"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380120505"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359666"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230459"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/359605.359618"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/357139.357140"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231877"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312946"},{"key":"e_1_2_1_16_2","unstructured":"J.GoguenandJ. J.Tardo \u2018An introduction to OBJ: a language for writing and testing formal algebraic program specifications\u2019 Proc. Specification of Reliable Software 1979 pp.170\u2013189."},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312960"},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233830"},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-012975-4.50028-X"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380171106","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380171106","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T07:18:11Z","timestamp":1697959091000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380171106"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,11]]},"references-count":18,"journal-issue":{"issue":"11","published-print":{"date-parts":[[1987,11]]}},"alternative-id":["10.1002\/spe.4380171106"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380171106","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,11]]}}}