{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:07Z","timestamp":1742617087453,"version":"3.40.2"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56777-1_10","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:30:47Z","timestamp":1330255847000},"page":"184-198","source":"Crossref","is-referenced-by-count":1,"title":["Partial evaluation and symbolic computation for the understanding of Fortran programs"],"prefix":"10.1007","author":[{"given":"Sandrine","family":"Blazy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Facon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"10_CR1","unstructured":"Programming language Fortran ANSI standard X3.9 1978."},{"key":"10_CR2","unstructured":"L.O.Andersen C program specialization Master's thesis, University of Copenhagen, May 1992, 160 pages."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"A. Berlin, D.Weise Compiling scientific code using partial evaluation, Computer, December 1990, 25\u201337.","DOI":"10.1109\/2.62091"},{"key":"10_CR4","unstructured":"Centaur group The Centaur 1.1 documentation January 1990."},{"issue":"9","key":"10_CR5","doi-asserted-by":"crossref","first-page":"884","DOI":"10.1109\/32.92907","volume":"17","author":"A. Coen-Porsini","year":"1991","unstructured":"A.Coen-Porsini, F.De Paoli, C.Ghezzi, D.Mandrioli Software specialization via symbolic execution IEEE Transactions on Software Engineering, 17(9), September 1991, 884\u2013899.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR6","unstructured":"A.P.Ershov, B.N.Ostrovski Controlled mixed computation and its application to systematic development of language-oriented parsers Program Specification and Transformation, IFIP'87,31\u201348."},{"key":"10_CR7","unstructured":"Connexite Reference manual of the Foresys line of software products 1993."},{"issue":"8","key":"10_CR8","doi-asserted-by":"crossref","first-page":"751","DOI":"10.1109\/32.83912","volume":"17","author":"K. B. Gallagher","year":"1991","unstructured":"K.B. Gallagher, J. R.Lyle Using program slicing in software maintenance IEEE Transactions on Software Engineering, 17(8), August 1991, 751\u2013761.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR9","unstructured":"M.Haziza, J.F.Voidrot, E.Minor, L.Pofelski, S.Blazy Software maintenance: an analysis of industrial needs and constraints IEEE Conference on Software Maintenance, Orlando, USA, November 1992."},{"key":"10_CR10","unstructured":"C.B.Jones Systematic software development using VDM Prentice-Hall, 2nd eds., 1990."},{"key":"10_CR11","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01806312","volume":"2","author":"N. D. Jones","year":"1989","unstructured":"N. DJones, P.Sestoft, H.Sondergaard MIX: a self-applicable partial evaluator for experiments in compiler generation Lisp and Symbolic Computation 2, 1989, 9\u201350.","journal-title":"Lisp and Symbolic Computation"},{"key":"10_CR12","unstructured":"G.Kahn Natural semantics Proceedings of STACS'87. Lecture Notes in Computer Science, vol.247, March 1987."},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0304-3975(91)90297-F","volume":"90","author":"V. Kasyanov","year":"1991","unstructured":"V.Kasyanov Transformational approach to program concretization Theoretical computer science, 90, 1991, 37\u201346.","journal-title":"Theoretical computer science"},{"issue":"5","key":"10_CR14","first-page":"439","volume":"15","author":"R. Kemmerer","year":"1985","unstructured":"R.Kemmerer, S.Eckmann UNISEX: a UNIX-based Symbolic Executor for Pascal Software Practice and Experience, 15(5), 1985, 439\u2013457.","journal-title":"UNISEX: a UNIX-based Symbolic Executor for Pascal Software Practice and Experience"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"U.Meyer Techniques for evaluation of imperative languages ACM SIGSOFT, March 1991, 94\u2013105.","DOI":"10.1145\/115866.115876"},{"key":"10_CR16","first-page":"1247","volume":"2","author":"G. Nicolas","year":"1989","unstructured":"G.Nicolas, S.Aubry, E.Briere A finite volume approach for 3D two phase flows in tube bundles: the THYC code Kernforschungscentrum, Karlsruhe, Vol.2, 1989, 1247\u20131253.","journal-title":"Karlsruhe"},{"key":"10_CR17","unstructured":"D.Sahlin An automatic partial evaluator for full Prolog Ph.D. thesis, Swedish Institute of Computer Science, March 1991, 170 pages."},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"T.H.Sneed The myth of \u2018top-down\u2019 software development and its consequences IEEE Conference on Software Maintenance, Miami, USA. October 1989, 22\u201329.","DOI":"10.1109\/ICSM.1989.65190"},{"key":"10_CR19","unstructured":"H.J.Van Zuylen Understanding in reverse engineering In REDO team The REDO handbook Wiley eds., September 1992."},{"issue":"2","key":"10_CR20","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/103135.103136","volume":"13","author":"M. N. Wegman","year":"1991","unstructured":"M.N.Wegman, K.Zadeck Constant propagation with conditional branches ACM Transactions on Programming Languages and Systems 13(2), April 1991, 181\u2013210.","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56777-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:53:08Z","timestamp":1742593988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56777-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783319981765","9783319981772"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-56777-1_10","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1993]]}}}