{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T20:27:40Z","timestamp":1672432060465},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T00:00:00Z","timestamp":1141171200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2006,3]]},"DOI":"10.1007\/s11241-005-4683-4","type":"journal-article","created":{"date-parts":[[2006,3,21]],"date-time":"2006-03-21T15:24:23Z","timestamp":1142954663000},"page":"253-277","source":"Crossref","is-referenced-by-count":7,"title":["Code Analysis for Temporal Predictability"],"prefix":"10.1007","volume":"32","author":[{"given":"Jan","family":"Gustafsson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bj\u00f6rn","family":"Lisper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raimund","family":"Kirner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Puschner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,3,3]]},"reference":[{"key":"4683_CR1","doi-asserted-by":"crossref","unstructured":"Allen, J., Kennedy, K., Porterfield, C., and Warren, J. 1983. Conversion of Control Dependence to Data Dependence. In Proc. 10th ACM Symposium on Principles of Programming Languages, pp. 177\u2013189.","DOI":"10.1145\/567067.567085"},{"key":"4683_CR2","unstructured":"Cousot, P., and Cousot, R. 1977. Abstract interpretation: A unified model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of the 4th ACM Symposium on Principles of Programming Languages, pp. 238\u2013252."},{"issue":"1\u20133","key":"4683_CR3","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1016\/j.scico.2004.03.011","volume":"52","author":"C. Consel","year":"2004","unstructured":"Consel, C., Lawall, J. L., and Le Meur, A.-F. 2004. A tour of Tempo: A program specializer for the C language. Science of Computer Programming, 52(1\u20133):341\u2013370.","journal-title":"Science of Computer Programming"},{"key":"4683_CR4","unstructured":"Fauster, J., Kirner, R., and Puschner, P. 2003. Intelligent Editor for Writing WCET-Oriented Programs. In Proc. 3rd International Conference on Embedded Software (EMSOFT'03), pp. 190\u2013205."},{"key":"4683_CR5","unstructured":"Gustafsson, J. 2000. Analyzing Execution-Time of Object-Ori-ented Programs Using Abstract Interpretation. PhD thesis, Department of Computer Systems, Information Technology, Uppsala University."},{"key":"4683_CR6","unstructured":"Jones, N. D., Gomard, C. K., and Sestoft, P. 1993. Partial Evaluation and Automatic Program Generation. Hertfordshire, UK: Prentice Hall."},{"key":"4683_CR7","doi-asserted-by":"crossref","unstructured":"Mahlke, S., Hank, R., McCormick, J., August, D., and Hwu, W. 1995. A Comparison of Full and Partial Predicated Execution Support for ILP Processors. In Proc. 22nd International Symposium on Computer Architecture, pp. 138\u2013150.","DOI":"10.1145\/223982.225965"},{"key":"4683_CR8","unstructured":"Nielson, H. R. and Nielson, F. 1992. Semantics with Applications. John Wiley & Sons."},{"key":"4683_CR9","doi-asserted-by":"crossref","unstructured":"Nielson, F., Nielson, H. R., and Hankin, C. 1999. Principles of Program Analysis, Springer. ISBN: 3-540-65410-0.","DOI":"10.1007\/978-3-662-03811-6"},{"key":"4683_CR10","unstructured":"Puschner, P. and Burns, A. 2002. Writing temporally predictable code. In Proc. 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, pp. 85\u201391."},{"key":"4683_CR11","doi-asserted-by":"crossref","unstructured":"Puschner, P. 2002. Transforming execution-time boundable code into temporally predictable code. In B. Kleinjohann, K.H. (Kane) Kim, L. Kleinjohann, and A. Rettberg, editors, Design and Analysis of Distributed Embedded Systems, Kluwer Academic Publishers, pp. 163\u2013172.","DOI":"10.1007\/978-0-387-35599-3_17"},{"key":"4683_CR12","doi-asserted-by":"crossref","unstructured":"Puschner, P. 2003. Algorithms for dependable hard real-time systems. In Proc. 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, pp. 26\u201331.","DOI":"10.1109\/WORDS.2003.1218062"},{"key":"4683_CR13","unstructured":"Sestoft, P. and Zamulin, A. V. 1988. Annotated bibliography on partial evaluation and mixed computation. New Generation Computing, pp. 309\u2013354."},{"issue":"3","key":"4683_CR14","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip, F. 1995. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121\u2013 189.","journal-title":"Journal of Programming Languages"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-005-4683-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-005-4683-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-005-4683-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T11:04:27Z","timestamp":1559387067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-005-4683-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["4683"],"URL":"https:\/\/doi.org\/10.1007\/s11241-005-4683-4","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3]]}}}