{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:46:51Z","timestamp":1725544011623},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346630"},{"type":"electronic","value":"9783540346647"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767077_4","type":"book-chapter","created":{"date-parts":[[2006,5,29]],"date-time":"2006-05-29T09:29:34Z","timestamp":1148894974000},"page":"40-55","source":"Crossref","is-referenced-by-count":5,"title":["Static Detection of Access Anomalies in Ada95"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Burgstaller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johann","family":"Blieberger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Mittermayr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"SPARK Examiner, The SPARK Ravenscar Profile (2004), \n                    \n                      http:\/\/www.praxis-his.com\/sparkada\/pdfs\/examiner_ravenscar.pdf"},{"key":"4_CR2","volume-title":"The Java Programming Language","author":"K. Arnold","year":"2000","unstructured":"Arnold, K., Gosling, J., Holmes, D.: The Java Programming Language, 3rd edn. Addison-Wesley, Reading (2000)","edition":"3"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1145\/197694.197724","volume-title":"Proceedings of the conference on TRI-Ada 1994","author":"C. Barbasch","year":"1994","unstructured":"Barbasch, C., Egnor, D.: Always one more bug: Applying AdaWise to improve Ada code. In: Proceedings of the conference on TRI-Ada 1994, pp. 228\u2013235. ACM Press, New York (1994)"},{"key":"4_CR4","volume-title":"High Integrity Software - The SPARK Approach to Safety and Security","author":"J. Barnes","year":"2003","unstructured":"Barnes, J.: High Integrity Software - The SPARK Approach to Safety and Security. Addison-Wesley, Harlow (2003)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/3-540-48753-0_12","volume-title":"Reliable Software Technologies - Ada-Europe \u201999","author":"J. Blieberger","year":"1999","unstructured":"Blieberger, J., Burgstaller, B., Scholz, B.: Interprocedural Symbolic Evaluation of Ada Programs with Aliases. In: Gonz\u00e1lez Harbour, M., la de Puente, J.A. (eds.) Ada-Europe 1999. LNCS, vol.\u00a01622, pp. 136\u2013145. Springer, Heidelberg (1999)"},{"issue":"4","key":"4_CR6","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/340396.340450","volume":"XIX","author":"A. Burns","year":"1999","unstructured":"Burns, A.: The Ravenscar Profile. Ada Lett.\u00a0XIX(4), 49\u201352 (1999)","journal-title":"Ada Lett."},{"issue":"2","key":"4_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/997119.997120","volume":"XXIV","author":"A. Burns","year":"2004","unstructured":"Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar Profile in high integrity systems. Ada Lett.\u00a0XXIV(2), 1\u201374 (2004)","journal-title":"Ada Lett."},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/53990.53996","volume-title":"PLDI 1988: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation","author":"K.D. Cooper","year":"1988","unstructured":"Cooper, K.D., Kennedy, K.: Interprocedural side-effect analysis in linear time. In: PLDI 1988: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, pp. 57\u201366. ACM Press, New York (1988)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Cooper, K.D., Kennedy, K.: Fast interprocedural alias analysis. In: Conference Record of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 49\u201359 (1989)","DOI":"10.1145\/75277.75282"},{"issue":"1","key":"4_CR10","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1145\/122037.990034","volume":"XI","author":"P. Delrio","year":"1991","unstructured":"Delrio, P., Mazzanti, F.: The risk of destructive run-time errors. Ada Lett.\u00a0XI(1), 102\u2013113 (1991)","journal-title":"Ada Lett."},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/99163.99165","volume-title":"PPOPP 1990: Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming","author":"A. Dinning","year":"1990","unstructured":"Dinning, A., Schonberg, E.: An empirical comparison of monitoring algorithms for access anomaly detection. In: PPOPP 1990: Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming, pp. 1\u201310. ACM Press, New York (1990)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/3-540-63114-3_15","volume-title":"Reliable Software Technologies - Ada-Europe \u201997","author":"W. Gellerich","year":"1997","unstructured":"Gellerich, W., Ploedereder, E.: Parameter-induced aliasing and related problems can be avoided. In: Hardy, K., Briggs, J. (eds.) Ada-Europe 1997. LNCS, vol.\u00a01251, pp. 161\u2013172. Springer, Heidelberg (1997)"},{"key":"4_CR13","first-page":"74","volume-title":"Supercomputing 1990: Proceedings of the 1990 ACM\/IEEE conference on Supercomputing","author":"R. Hood","year":"1990","unstructured":"Hood, R., Kennedy, K., Mellor-Crummey, J.: Parallel program debugging with on-the-fly anomaly detection. In: Supercomputing 1990: Proceedings of the 1990 ACM\/IEEE conference on Supercomputing, pp. 74\u201381. IEEE Computer Society, Washington, DC (1990)"},{"key":"4_CR14","unstructured":"ISO\/IEC 8652. Ada Reference manual (1995)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Kildall, G.: A unified approach to global program optimization. In: Proc. of the First ACM Symposium on Principles of Programming Languages, New York, NY, pp. 194\u2013206 (1973)","DOI":"10.1145\/512927.512945"},{"key":"4_CR16","unstructured":"Lasseter, J.H.E.F.: Toolkits for the automatic construction of data flow analyzers. Technical report, University of Oregon, Computer & Information Sci. Dept. (2005)"},{"key":"4_CR17","unstructured":"Marzullo, C., Mazzanti, F.: Towards the static detection of erroneous executions in Ada 95. Technical report, Ninth International Software Quality Week 1996 (QW 1996), Sheraton Palace Hotel, San Francisco, California USA (1996)"},{"key":"4_CR18","unstructured":"Mazzanti, F.: Guide to erroneous executions in Ada 95. Technical report, Centre National de la Recherche Scientifique, Paris, France (1997)"},{"key":"4_CR19","series-title":"Data Structures and Algorithms","volume-title":"Graph Algorithms and NP-Completeness","author":"K. Mehlhorn","year":"1984","unstructured":"Mehlhorn, K.: Graph Algorithms and NP-Completeness. Data Structures and Algorithms, vol.\u00a02. Springer, Berlin (1984)"},{"key":"4_CR20","volume-title":"Algorithm Design \u2013 A Recursion Transformation Framework","author":"M.C. Paull","year":"1988","unstructured":"Paull, M.C.: Algorithm Design \u2013 A Recursion Transformation Framework. Wiley Interscience, New York (1988)"},{"issue":"3","key":"4_CR21","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1145\/27632.27649","volume":"18","author":"B.G. Ryder","year":"1986","unstructured":"Ryder, B.G., Paull, M.C.: Elimination algorithms for data flow analysis. ACM Computing Surveys\u00a018(3), 277\u2013316 (1986)","journal-title":"ACM Computing Surveys"},{"key":"4_CR22","unstructured":"Schmidt, D.A.: Denotational Semantics \u2014 A Methodology for Language Development. Allyn and Bacon (1986)"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1145\/73141.74844","volume-title":"PLDI 1989: Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation","author":"E. Schonberg","year":"1989","unstructured":"Schonberg, E.: On-the-fly detection of access anomalies. In: PLDI 1989: Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation, pp. 285\u2013297. ACM Press, New York (1989)"},{"issue":"4","key":"4_CR24","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1145\/989393.989426","volume":"39","author":"E. Schonberg","year":"2004","unstructured":"Schonberg, E.: On-the-fly detection of access anomalies. SIGPLAN Not.\u00a039(4), 313\u2013327 (2004)","journal-title":"SIGPLAN Not."},{"issue":"2","key":"4_CR25","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1145\/276393.278523","volume":"20","author":"V.C. Sreedhar","year":"1998","unstructured":"Sreedhar, V.C., Gao, G.R., Lee, Y.-F.: A new framework for elimination-based data flow analysis using DJ graphs. ACM Trans. Program. Lang. Syst.\u00a020(2), 388\u2013435 (1998)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"5","key":"4_CR26","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1145\/69586.69587","volume":"26","author":"R.N. Taylor","year":"1983","unstructured":"Taylor, R.N.: A general-purpose algorithm for analyzing concurrent programs. Commun. ACM\u00a026(5), 361\u2013376 (1983)","journal-title":"Commun. ACM"},{"key":"4_CR27","unstructured":"Zhou, F.: Survey: Race Detection and Atomicity Checking, CS263 Course Project (2003)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767077_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:11:18Z","timestamp":1619507478000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767077_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346630","9783540346647"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11767077_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}