{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:11:24Z","timestamp":1747807884873},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439288"},{"type":"electronic","value":"9783540456148"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45614-7_8","type":"book-chapter","created":{"date-parts":[[2007,5,17]],"date-time":"2007-05-17T00:45:28Z","timestamp":1179362728000},"page":"126-145","source":"Crossref","is-referenced-by-count":5,"title":["Safeness of Make-Based Incremental Recompilation"],"prefix":"10.1007","author":[{"given":"Niels","family":"J\u00f8rgensen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,9]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"R. Adams, W. Tichy, and A. Weinert. The cost of selective recompilation and environment processing. ACM Transactions on Software Engineering and Methodology, Vol. 3(1), January 1994, 3\u201328.","DOI":"10.1145\/174634.174637"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Demers, A., Reps, T., and Teitelbaum, T. Incremental evaluation for attribute grammars with application to syntax-directed editors. Proc. Eighth ACM Symposium on Principles of Programming Languages, Williamsburg, VA, January, 1981, 105\u2013116.","DOI":"10.1145\/567532.567544"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"M. Elsman. Static Interpretation of Modules. Proc. International Conference on Functional Programming, September 99, Paris, France.","DOI":"10.1145\/317636.317800"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1002\/spe.4380090402","volume":"9","author":"S. I. Feldman","year":"1979","unstructured":"S. I. Feldman. Make-a program for maintaining computer programs. Software-Practice and Experience, Vol. 9, 1979, 255\u2013265.","journal-title":"Software-Practice and Experience"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"R. Ford and D. Sawamiphakdi. A Greedy Concurrent Approach to Incremental Code Generation. Proc. 12th Annual ACM Symposium on Principles of Programming Languages, New Orleans, Louisiana, 1985, 165\u2013178.","DOI":"10.1145\/318593.318634"},{"key":"8_CR6","first-page":"1013","volume":"1","author":"Institute of Electrical and Electronics Engineers.","year":"1993","unstructured":"Institute of Electrical and Electronics Engineers. Information technology-Portable Operating System Interface (POSIX). ANSI\/IEEE Std. 1003.2, 1993, Part 2: Shell and Utilities, Volume 1, 1013\u20131020.","journal-title":"Information technology-Portable Operating System Interface (POSIX)"},{"key":"8_CR7","unstructured":"N. J\u00f8rgensen. Safeness of Make-Based Incremental Recompilation. URL: http:\/\/www.ruc.dk\/~nielsj\/research\/papers\/make.pdf ."},{"key":"8_CR8","unstructured":"K. Marriott and H. S\u00f8ndergaard. Analysis of constraint logic programs, Proc. North American Conference on Logic Programming, Austin, 1988, 521\u2013540."},{"key":"8_CR9","unstructured":"P. Miller. Recursive make considered harmful. URL: http:\/\/www.pcug.org.au\/~millerp\/rmch\/recu-make-cons-harm.html ."},{"key":"8_CR10","unstructured":"The Mozilla build process is described at the URL: http:\/\/www.mozilla.org\/tinderbox.html in the context of a presentation of the build tool \u201cTinderbox\u201d."},{"key":"8_CR11","unstructured":"P.J. Nicklin. Mkmf-makefile editor. UNIX Programmer\u2019s Manual 4.2 BSD, June 1983."},{"key":"8_CR12","unstructured":"A. Oram and S. Talbott. Managing projects with make. O\u2019Reilly, 1993."},{"key":"8_CR13","unstructured":"R. Quinton. Make and Makefiles. URL: http:\/\/www.ibiblio.org\/pub\/docs\/unix-tutorials\/courses\/make.ps ."},{"key":"8_CR14","unstructured":"S. Robbins. JavaDeps-automatic dependency tracking for Java. http:\/\/www.cs.mcgill.ca\/~stever\/software\/JavaDeps\/ . The JavaDeps tool is a SourceForge project available at http:\/\/sourceforge.net\/projects\/jmk."},{"key":"8_CR15","unstructured":"D.A. Schmidt. Denotational semantics-a methodoogy for language development. Allyn and Bacon, 1986."},{"key":"8_CR16","unstructured":"R. Stallman and R. McGrath. GNU Make, Version 3.77. Free Software Foundation, 1998."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"W. F. Ticky. Smart recompilation. ACM Transactions on Programming Languages and Systems, Vol. 8(3), July 1986, 273\u2013291.","DOI":"10.1145\/5956.5959"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"K. Walden. Automatic Generation of Make Dependencies. Software-Practice and Experience, Vol. 14(6), June 1984, 575\u2013585.","DOI":"10.1002\/spe.4380140607"}],"container-title":["Lecture Notes in Computer Science","FME 2002:Formal Methods\u2014Getting IT Right"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45614-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T00:05:23Z","timestamp":1556409923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45614-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439288","9783540456148"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45614-7_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}