{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T05:58:47Z","timestamp":1791093527771,"version":"4.1.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,5,23]],"date-time":"2007-05-23T00:00:00Z","timestamp":1179878400000},"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":[[2007,8,6]]},"DOI":"10.1007\/s11241-007-9024-3","type":"journal-article","created":{"date-parts":[[2007,5,23]],"date-time":"2007-05-23T16:04:11Z","timestamp":1179936251000},"page":"1-44","source":"Crossref","is-referenced-by-count":20,"title":["Scoped types and aspects for real-time Java memory management"],"prefix":"10.1007","volume":"37","author":[{"given":"Chris","family":"Andreae","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yvonne","family":"Coady","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Celina","family":"Gibbs","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James","family":"Noble","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jan","family":"Vitek","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tian","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2007,5,23]]},"reference":[{"key":"9024_CR1","first-page":"57","volume-title":"Proceedings of the 21th annual ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications (OOPSLA)","author":"C Andreae","year":"2006","unstructured":"Andreae C, Noble J, Markstrum S, Millstein TD (2006) A framework for implementing pluggable type systems. In: Proceedings of the 21th annual ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications (OOPSLA). ACM, New York, pp 57\u201374"},{"key":"9024_CR2","doi-asserted-by":"crossref","unstructured":"Armbuster A, Baker J, Cunei A, Holmes D, Flack C, Pizlo F, Pla E, Prochazka M, Vitek J (2006) A\u00a0real-time Java virtual machine with applications in avionics. In: ACM transactions in embedded computing systems (TECS)","DOI":"10.1145\/1324969.1324974"},{"key":"9024_CR3","doi-asserted-by":"crossref","unstructured":"Bacon DF, Chang P, Rajan VT (2003) A\u00a0real-time garbage collector with low overhead and consistent utilization. In: ACM symposium on principles of programming languages (POPL), pp 285\u2013298, January 2003","DOI":"10.1145\/604131.604155"},{"key":"9024_CR4","doi-asserted-by":"crossref","unstructured":"Bacon DF, Cheng P, Rajan VT (2003) The metronome: a\u00a0simpler approach to garbage collection in real-time systems. In: Workshop on Java technologies for real-time and embedded systems (JTRES). OTM workshops, pp 466\u2013478","DOI":"10.1007\/978-3-540-39962-9_52"},{"key":"9024_CR5","volume-title":"Proceedings of the 12th IEEE real-time and embedded technology and applications symposium (RTAS 2006)","author":"J Baker","year":"2006","unstructured":"Baker J, Cunei A, Flack C, Pizlo F, Prochazka M, Vitek J, Armbuster A, Pla E, Holmes D (2006) A real-time Java virtual machine for avionics. In: Proceedings of the 12th IEEE real-time and embedded technology and applications symposium (RTAS 2006). IEEE Computer Society, Los Alamitos"},{"key":"9024_CR6","doi-asserted-by":"crossref","unstructured":"Beebee WS Jr, Rinard M (2001) An implementation of scoped memory for real-time Java. In: Proceedings of the first international workshop on embedded software (EMSOFT)","DOI":"10.1007\/3-540-45449-7_21"},{"key":"9024_CR7","doi-asserted-by":"crossref","unstructured":"Benowitz EG, Niessner AF (2003) A\u00a0patterns catalog for RTSJ software designs. In: Workshop on Java technologies for real-time and embedded systems (JTRES). OTM workshops, pp 497\u2013507","DOI":"10.1007\/978-3-540-39962-9_55"},{"key":"9024_CR8","doi-asserted-by":"crossref","unstructured":"Bollella G, Reinholtz K (2002) Scoped memory. In: Proceedings of the fifth international symposium on object-oriented real-time distributed computing (ISORC02)","DOI":"10.1109\/ISORC.2002.1003656"},{"key":"9024_CR9","volume-title":"The real-time specification for Java","author":"G Bollella","year":"2000","unstructured":"Bollella G, Gosling J, Brosgol B, Dibble P, Furr S, Turnbull M (2000) The real-time specification for Java. Addison\u2013Wesley, Reading"},{"key":"9024_CR10","volume-title":"Companion of the 18th annual ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications","author":"G Bollella","year":"2003","unstructured":"Bollella G, Canham T, Carson V, Champlin V, Dvorak D, Giovannoni B, Indictor M, Meyer K, Murray A, Reinholtz K (2003) Programming with non-heap memory in the real time specification for Java. In: Companion of the 18th annual ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications. ACM, New York"},{"key":"9024_CR11","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1109\/ISORC.2005.31","volume-title":"Eighth IEEE international symposium on object-oriented real-time distributed computing (ISORC)","author":"G Bollella","year":"2005","unstructured":"Bollella G, Delsart B, Guider R, Lizzi C, Parain F (2005) Mackinac: Making hotspot real-time. In: Eighth IEEE international symposium on object-oriented real-time distributed computing (ISORC). IEEE Computer Society, Los Alamitos, pp\u00a045\u201354"},{"key":"9024_CR12","doi-asserted-by":"crossref","unstructured":"Boyapati C, Salcianu A, Beebee W, Rinard M (2003) Ownership types for safe region-based memory management in real-time Java. In: ACM conference on programming language design and implementation, June 2003","DOI":"10.1145\/781131.781168"},{"key":"9024_CR13","unstructured":"Bracha G (2004) Pluggable type systems. In: OOPSLA 2004 workshop on revival of dynamic languages"},{"key":"9024_CR14","doi-asserted-by":"crossref","unstructured":"Bracha G, Griswold D (1993) Strongtalk: typechecking smalltalk in a\u00a0production environment. In: Proceedings of the ACM conference on object-oriented programming, systems, languages and applications (OOPSLA), September 1993","DOI":"10.1145\/165854.165893"},{"key":"9024_CR15","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1145\/113445.113469","volume-title":"Proceedings of the ACM SIGPLAN 1991 conference on programming language design and implementation","author":"R Cartwright","year":"1991","unstructured":"Cartwright R, Fagan M (1991) Soft typing. In: Proceedings of the ACM SIGPLAN 1991 conference on programming language design and implementation. ACM, New York, pp\u00a0278\u2013292"},{"key":"9024_CR16","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/1029873.1029884","volume-title":"Proceedings of the 4th international symposium on memory management, ISMM","author":"S Cherem","year":"2004","unstructured":"Cherem S, Rugina R (2004) Region analysis and transformation for Java programs. In: Proceedings of the 4th international symposium on memory management, ISMM. ACM, New York, pp\u00a085\u201396"},{"key":"9024_CR17","doi-asserted-by":"crossref","unstructured":"Corsaro A, Schmidt D (2002) The design and performance of the jRate Real-Time Java implementation. In: The 4th international symposium on distributed objects and applications (DOA\u201902)","DOI":"10.1007\/3-540-36124-3_59"},{"key":"9024_CR18","series-title":"ACM SIGPLAN Notices","first-page":"25","volume-title":"ISMM\u201902 proceedings of the third international symposium on memory management","author":"M Deters","year":"2002","unstructured":"Deters M, Cytron R (2002) Automated discovery of scoped memory regions for real-time Java. In: Detlefs\u00a0D (ed) ISMM\u201902 proceedings of the third international symposium on memory management. ACM SIGPLAN Notices, Berlin, June 2002, pp 25\u201335. ACM, New York"},{"key":"9024_CR19","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1109\/ISORC.2004.1300324","volume-title":"Proceedings of the 7th IEEE international symposium on object-oriented real-time distributed computing (ISORC 2004)","author":"D Dvorak","year":"2004","unstructured":"Dvorak D, Bollella G, Canham T, Carson V, Champlin V, Giovannoni B, Indictor M, Meyer K, Murray A, Reinholtz K (2004) Project Golden Gate: towards real-time Java in space missions. In: Proceedings of the 7th IEEE international symposium on object-oriented real-time distributed computing (ISORC 2004), Vienna, Austria, 12\u201314 May 2004, pp\u00a015\u201322. IEEE Computer Society, Los Alamitos"},{"key":"9024_CR20","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.entcs.2004.01.031","volume":"113","author":"D Garbervetsky","year":"2005","unstructured":"Garbervetsky D, Nakhli C, Yovine S, Zorgati H (2005) Program instrumentation and run-time analysis of scoped memory in Java. Electr Notes Theor Comput Sci 113:105\u2013121","journal-title":"Electr Notes Theor Comput Sci"},{"key":"9024_CR21","doi-asserted-by":"crossref","unstructured":"Grossman D, Morrisett G, Jim T, Hicks M, Wang Y, Cheney J (2002) Region-based memory management in cyclone. In: ACM conference on programming language design and implementation (PLDI\u201903), Berlin, Germany, June 2002, pp 282\u2013293","DOI":"10.1145\/512529.512563"},{"key":"9024_CR22","unstructured":"HIJA (2006) European High Integrity Java Project. www.hija.info"},{"key":"9024_CR23","doi-asserted-by":"crossref","unstructured":"Hogg J (1991) Islands: aliasing protection in object-oriented languages. In: Proceedings of the OOPSLA\u00a0\u201991 conference on object-oriented programming systems, languages and applications","DOI":"10.1145\/117954.117975"},{"issue":"3","key":"9024_CR24","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A Igarashi","year":"2001","unstructured":"Igarashi A, Pierce BC, Wadler P (2001) Featherweight Java: a\u00a0minimal core calculus for Java and GJ. ACM Trans Program Lang Syst 23(3):396\u2013450","journal-title":"ACM Trans Program Lang Syst"},{"key":"9024_CR25","doi-asserted-by":"crossref","unstructured":"Kiczales G, Hilsdale E, Hugunin J, Kersten M, Palm J, Griswold WG (2001) An overview of AspectJ. In: Lecture notes in computer science, vol\u00a02072, pp\u00a0327\u2013355","DOI":"10.1007\/3-540-45337-7_18"},{"key":"9024_CR26","doi-asserted-by":"crossref","unstructured":"Kwon J, Wellings A (2004) Memory management based on method invocation in RTSJ. In: OTM workshops 2004, Lecture notes in computer science, vol\u00a03292, pp 33\u2013345","DOI":"10.1007\/978-3-540-30470-8_49"},{"key":"9024_CR27","doi-asserted-by":"crossref","unstructured":"Kwon J, Wellings A, King S (2002) Ravenscar-Java: a\u00a0high integrity profile for real-time Java. In: Joint ACM Java grande\/ISCOPE conference, November 2002","DOI":"10.1145\/583810.583825"},{"key":"9024_CR28","unstructured":"Nakhli C, Rippert C, Salagnac G, Yovine S (2006) Efficient region-based memory management for resource-limited real-time embedded systems. In: Implementation, compilation, optimization of object-oriented languages, programs and systems (ICOOOLPS), Nantes, France, July 2006"},{"key":"9024_CR29","doi-asserted-by":"crossref","unstructured":"Niessner AF, Benowitz EG (2003) RTSJ memory areas and their affects on the performance of a\u00a0flight-like attitude control system. In: Workshop on Java technologies for real-time and embedded systems (JTRES). OTM workshops, pp 508\u2013519","DOI":"10.1007\/978-3-540-39962-9_56"},{"key":"9024_CR30","volume-title":"Small memory software: patterns for systems with limited memory","author":"J Noble","year":"2000","unstructured":"Noble J, Weir C (2000) Small memory software: patterns for systems with limited memory. Addison\u2013Wesley, Reading"},{"key":"9024_CR31","doi-asserted-by":"crossref","unstructured":"Noble J, Potter J, Vitek J (1998) Flexible alias protection. In: Proceedings of the 12th European conference on object-oriented programming (ECOOP), Brussels, Belgium, July 1998","DOI":"10.1007\/BFb0054091"},{"key":"9024_CR32","doi-asserted-by":"crossref","unstructured":"Pizlo F, Fox J, Holmes D, Vitek J (2004) Real-time Java scoped memory: design patterns and semantics. In: Proceedings of the IEEE international symposium on object-oriented real-time distributed computing (ISORC\u201904), Vienna, Austria, May 2004","DOI":"10.1109\/ISORC.2004.1300335"},{"key":"9024_CR33","first-page":"3","volume-title":"Proceeding of the 3rd international symposium on distributed objects and applications, DOA 2001","author":"DC Sharp","year":"2001","unstructured":"Sharp DC (2001) Real-time distributed object computing: ready for mission-critical embedded system applications. In: Proceeding of the 3rd international symposium on distributed objects and applications, DOA 2001, Rome, Italy, 17\u201320 September 2001. IEEE Computer Society, Los Alamitos, pp\u00a03\u20134"},{"key":"9024_CR34","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/RTTAS.2003.1203034","volume-title":"Proceedings of the 9th IEEE real-time and embedded technology and applications symposium (RTAS 2003)","author":"DC Sharp","year":"2003","unstructured":"Sharp DC, Pla E, Luecke KR, Hassan II RJ (2003) Evaluating real-time Java for mission-critical large-scale embedded systems. In: Proceedings of the 9th IEEE real-time and embedded technology and applications symposium (RTAS 2003), Toronto, Canada, May 27\u201330, 2003. IEEE Computer Society, Los Alamitos, pp\u00a030\u201336"},{"key":"9024_CR35","doi-asserted-by":"crossref","unstructured":"Spoonhower D, Auerbach J, Bacon DF, Cheng P, Grove D (2006) Eventrons: a\u00a0safe programming construct for high-frequency hard real-time applications. In: Proceedings of the conference on programming language design and implementation (PLDI), pp 283\u2013294","DOI":"10.1145\/1133981.1134015"},{"key":"9024_CR36","first-page":"291","volume-title":"Seventh IEEE international symposium on object-oriented real-time distributed computing (ISORC)","author":"SL Tsang","year":"2004","unstructured":"Tsang SL, Clarke S, Baniassad E (2004) An evaluation of aspect-oriented programming for java-based real-time systems development. In: Seventh IEEE international symposium on object-oriented real-time distributed computing (ISORC). IEEE Computer Society, Los Alamitos, pp\u00a0291\u2013300"},{"key":"9024_CR37","series-title":"OTM confederated international conferences","first-page":"1520","volume-title":"CoopIS, DOA, and ODBAS","author":"N Wang","year":"2004","unstructured":"Wang N, Gill CD, Schmidt DC, Subramonian V (2004) Configuring real-time aspects in component middleware. In: CoopIS, DOA, and ODBAS. OTM confederated international conferences, vol\u00a03291. Springer, Berlin, pp\u00a01520\u20131537"},{"issue":"3","key":"9024_CR38","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1023\/A:1022816701710","volume":"24","author":"AJ Wellings","year":"2003","unstructured":"Wellings AJ, Puschner PP (2003) Evaluating the expressive power of the real-time specification for Java. Real-Time Syst 24(3):319\u2013359","journal-title":"Real-Time Syst"},{"key":"9024_CR39","doi-asserted-by":"crossref","unstructured":"Zhao T, Noble J, Vitek J (2004) Scoped types for real-time java. In: Proceedings of the 25th IEEE international real-time systems symposium (RTSS04), Lisbon, Portugal, December 2004","DOI":"10.1109\/REAL.2004.51"},{"issue":"1","key":"9024_CR40","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1017\/S0956796805005691","volume":"16","author":"T Zhao","year":"2006","unstructured":"Zhao T, Palsberg J, Vitek J (2006) Type-based confinement. J Funct Program 16(1):83\u2013123","journal-title":"J Funct Program"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-007-9024-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-007-9024-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-007-9024-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,14]],"date-time":"2021-08-14T02:12:53Z","timestamp":1628907173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-007-9024-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5,23]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,8,6]]}},"alternative-id":["9024"],"URL":"https:\/\/doi.org\/10.1007\/s11241-007-9024-3","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,5,23]]}}}