{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:11:48Z","timestamp":1742911908048,"version":"3.40.3"},"publisher-location":"London","reference-count":18,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198864"},{"type":"electronic","value":"9781447132400"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3240-0_6","type":"book-chapter","created":{"date-parts":[[2011,12,28]],"date-time":"2011-12-28T05:22:09Z","timestamp":1325049729000},"page":"103-120","source":"Crossref","is-referenced-by-count":1,"title":["Deriving language recognition algorithms: A case study in combining program specialisation and data refinement"],"prefix":"10.1007","author":[{"given":"Lindsay","family":"Groves","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Addison-Wesley","author":"AV Aho","year":"1983","unstructured":"Alfred V. Aho, John E. Hoperoft and Jeffrey D. Ullman. Data Structures and Algorithms. Addison-Wesley, 1983."},{"key":"6_CR2","volume-title":"Addison-Wesley","author":"AV Aho","year":"1986","unstructured":"Alfred V. Aho, Ravi Sethi and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986."},{"key":"6_CR3","volume-title":"Technical Report Series A","author":"RJR Back","year":"1988","unstructured":"R. J. R. Back. Data Refinement in the Refinement Calculus. Technical Report Series A, No. 68, Inst. f\u00f6r Informationsbehandling, Abo Akademi, Turku, Finland, 1988."},{"key":"6_CR4","unstructured":"Lucy Chubb. A Data Refinement Model of Interfaces. University of New South Wales, School of Computer Science and Engineering Report No. 9204, August, 1992."},{"key":"6_CR5","volume-title":"Prentice-Hall","author":"Rick Decker","year":"1989","unstructured":"Rick Decker. Data Structures. Prentice-Hall, 1989."},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/0304-3975(91)90029-2","volume":"87","author":"PHB Gardiner","year":"1991","unstructured":"P. H. B. Gardiner and C. C. Morgan. \u201cData refinement of predicate transformers\u201d. Theoretical Computer Science 87 (1991), pp 143\u2013162.","journal-title":"Theoretical Computer Science"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"A. Gravell. \u201cSpecialising Abstract Programs\u201d. Proc. 4th Refinement Workshop, J. M. Morris & R. C. Shaw ( Eds ), Springer-Verlag, 1991, pp 34\u201350.","DOI":"10.1007\/978-1-4471-3756-6_3"},{"key":"6_CR8","unstructured":"Lindsay Groves. \u201cDeriving Sorting Algorithms using Data Refinement\u201d. Proc. 16th Australian Computer Science Conference, 1993, pp 523\u2013534."},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0167-6423(92)90007-X","volume":"19","author":"WH Hesselink","year":"1992","unstructured":"Wim H. Hesselink. \u201cLR-parsing derived\u201d. Science of Computer Programming 19 (1992), pp 171\u2013196.","journal-title":"Science of Computer Programming"},{"key":"6_CR10","volume-title":"Addison-Wesley","author":"JE Hoperoft","year":"1979","unstructured":"John E. Hoperoft and Jeffrey D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, 1979."},{"key":"6_CR11","volume-title":"McGraw-Hill","author":"C John","year":"1991","unstructured":"John C. Martin. Introduction to Languages and the Theory of Compuation. McGraw-Hill, 1991."},{"issue":"5","key":"6_CR12","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0020-0190(88)90147-0","volume":"26","author":"CC Morgan","year":"1988","unstructured":"C. C. Morgan. \u201cData refinement using miracles\u201d. Inf. Proc. Lett. 26, 5 (Jan. 1988), pp 243\u2013246.","journal-title":"Inf. Proc. Lett"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Carroll Morgan. \u201cAuxiliary variables in data refinement\u201d. Information Processing Letters 29 (1988), pp293\u2013296. Also in [16], pp79\u201385.","DOI":"10.1016\/0020-0190(88)90227-X"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Carroll Morgan. \u201cTypes and invariants in the refinement calculus\u201d. Mathematics of Program Construction, J. L. A. van de Snepscheut (Ed.), Lecture Notes in Computer Science, Vol. 375, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51305-1_22"},{"key":"6_CR15","unstructured":"Carroll Morgan. Programming from Specifications. Prentice-Hall, 1990."},{"key":"6_CR16","unstructured":"Carroll Morgan, Ken Robinson and Paul Gardiner. On the Refinement Calculus, Technical Monograph PRG-70, Oxfrod University, 1988."},{"key":"6_CR17","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF00276019","volume":"26","author":"JM Morris","year":"1989","unstructured":"J. M. Morris. \u201cLaws of data refinement\u201d. Acta Informatica 26 (1989), pp 287\u2013308.","journal-title":"Acta Informatica"},{"key":"6_CR18","volume-title":"Proc. 6th BCS Refinement Workshop","author":"RG Nickson","year":"1994","unstructured":"Raymond G. Nickson and Lindsay J. Groves. \u201cMetavariables and Conditional Refinements in the Refinement Calculus\u201d. Proc. 6th BCS Refinement Workshop, 1994."}],"container-title":["Workshops in Computing","6th Refinement Workshop"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3240-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,16]],"date-time":"2024-04-16T19:19:58Z","timestamp":1713295198000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3240-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198864","9781447132400"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3240-0_6","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}