{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:29:17Z","timestamp":1761611357740,"version":"3.41.2"},"reference-count":1,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2014,1,3]],"date-time":"2014-01-03T00:00:00Z","timestamp":1388707200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/arxiv.org\/licenses\/nonexclusive-distrib\/1.0"}],"funder":[{"name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia, I.P.","award":["PEst-C\/MAT\/UI4106\/2011"],"award-info":[{"award-number":["PEst-C\/MAT\/UI4106\/2011"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>Stepwise refinement of algebraic specifications is a well known formal\nmethodology for program development. However, traditional notions of refinement\nbased on signature morphisms are often too rigid to capture a number of\nrelevant transformations in the context of software design, reuse, and\nadaptation. This paper proposes a new approach to refinement in which signature\nmorphisms are replaced by logical interpretations as a means to witness\nrefinements. The approach is first presented in the context of equational\nlogic, and later generalised to deductive systems of arbitrary dimension. This\nallows, for example, refining sentential into equational specifications and the\nlatter into modal ones.<\/jats:p>","DOI":"10.2168\/lmcs-10(1:1)2014","type":"journal-article","created":{"date-parts":[[2014,7,15]],"date-time":"2014-07-15T09:40:14Z","timestamp":1405417214000},"source":"Crossref","is-referenced-by-count":1,"title":["The role of logical interpretations in program development"],"prefix":"10.46298","volume":"Volume 10, Issue 1","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5109-8066","authenticated-orcid":false,"given":"Manuel A.","family":"Martins","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0646-2017","authenticated-orcid":false,"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[]},{"given":"Luis S.","family":"Barbosa","sequence":"additional","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2014,1,3]]},"reference":[{"key":"592:not-found"}],"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/706\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/706\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T19:54:15Z","timestamp":1681242855000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/706"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,3]]},"references-count":1,"URL":"https:\/\/doi.org\/10.2168\/lmcs-10(1:1)2014","relation":{"is-same-as":[{"id-type":"arxiv","id":"1311.7090","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.1311.7090","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2014,1,3]]},"article-number":"706"}}