{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:49:04Z","timestamp":1725558544721},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201458"},{"type":"electronic","value":"9783540399209"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39920-9_21","type":"book-chapter","created":{"date-parts":[[2010,6,28]],"date-time":"2010-06-28T04:08:38Z","timestamp":1277698118000},"page":"298-312","source":"Crossref","is-referenced-by-count":0,"title":["Transformation of Meta-Information by Abstract Co-interpretation"],"prefix":"10.1007","author":[{"given":"Raimund","family":"Kirner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Puschner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"Conference Record of the 4th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the 4th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Los Angeles, California, pp. 238\u2013252. ACM Press, New York (1977)"},{"doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Conference Record of the 6th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas, pp. 269\u2013282 (1979)","key":"21_CR2","DOI":"10.1145\/567752.567778"},{"key":"21_CR3","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1145\/503272.503290","volume-title":"Conference Record of the 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"P. Cousot","year":"2002","unstructured":"Cousot, P., Cousot, R.: Systematic design of program transformation frameworks by abstract interpretation. In: Conference Record of the 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, pp. 178\u2013190. ACM Press, New York (2002)"},{"doi-asserted-by":"crossref","unstructured":"Engblom, J., Ermedahl, A., Altenbernd, P.: Facilitating Worst- Case Execution Time Analysis for Optimized Code. In: Proc. 10th Euromicro Real-Time Workshop, Berlin, Germany (June 1998)","key":"21_CR4","DOI":"10.1109\/EMWRTS.1998.685079"},{"unstructured":"Gustafsson, J.: Analysing Execution-Time of Object-Oriented Programs Using Abstract Interpretation. PhD thesis, Uppsala University, Uppsala, Sweden (May 2000)","key":"21_CR5"},{"unstructured":"Kirner, R.: Extending Optimising Compilation to Support Worst-Case Execution Time Analysis. PhD thesis, Technische Universit\u00e4tWien, Treitlstr. 3\/3\/182- 1, 1040 Vienna, Austria (May 2003)","key":"21_CR6"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/EMRTS.2001.933993","volume-title":"Proc. 13th IEEE Euromicro Conference on Real-Time Systems","author":"R. Kirner","year":"2001","unstructured":"Kirner, R., Puschner, P.: Transformation of Path Information for WCET Analysis during Compilation. In: Proc. 13th IEEE Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 2001, pp. 29\u201336. Technical University of Delft, Delft (2001)"},{"unstructured":"Kirner, R., Puschner, P.: Timing analysis of optimised code. In: Proc. 8th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003), Guadalajara, Mexico (January 2003)","key":"21_CR8"},{"key":"21_CR9","volume-title":"Advanced Compiler Design & Implementation","author":"S.S. Muchnick","year":"1997","unstructured":"Muchnick, S.S.: Advanced Compiler Design & Implementation. Morgan Kaufmann Publishers, Inc., San Francisco (1997). ISBN: 1-55860-320-4"},{"key":"21_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Heidelberg (1999). ISBN: 3-540-65410-0"},{"issue":"2\/3","key":"21_CR11","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1023\/A:1008119029962","volume":"18","author":"P. Puschner","year":"2000","unstructured":"Puschner, P., Burns, A.: A Review of Worst-Case Execution-Time Analysis. Journal of Real-Time Systems\u00a018(2\/3), 115\u2013128 (2000)","journal-title":"Journal of Real-Time Systems"},{"key":"21_CR12","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1023\/A:1007905003094","volume":"13","author":"P. Puschner","year":"1997","unstructured":"Puschner, P., Schedl, A.V.: Computing Maximum Task Execution Times A Graph-Based Approach. The Journal of Real-Time Systems\u00a013, 67\u201391 (1997)","journal-title":"The Journal of Real-Time Systems"}],"container-title":["Lecture Notes in Computer Science","Software and Compilers for Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39920-9_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T07:13:32Z","timestamp":1635578012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39920-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201458","9783540399209"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39920-9_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}