{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:40:35Z","timestamp":1725486035840},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437840"},{"type":"electronic","value":"9783540480464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48046-3_18","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T20:48:07Z","timestamp":1181681287000},"page":"231-244","source":"Crossref","is-referenced-by-count":0,"title":["DataFAN: A Practical Approach to Data Flow Analysis for Ada 95"],"prefix":"10.1007","author":[{"given":"Krzysztof","family":"Czarnecki","sequence":"first","affiliation":[]},{"given":"Michael","family":"Himsolt","sequence":"additional","affiliation":[]},{"given":"Ernst","family":"Richter","sequence":"additional","affiliation":[]},{"given":"Falk","family":"Vieweg","sequence":"additional","affiliation":[]},{"given":"Alfred","family":"Rosskopf","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,5,29]]},"reference":[{"key":"18_CR1","unstructured":"DaimlerChrysler Research. Ada Cross-Referencer. In Proceedings ACM SIGAda Annual International Conference (SIGAda2001), 2001, p. 131"},{"key":"18_CR2","unstructured":"Ada Reference Manual (Information technology-Programming languages-Ada), International Standard ISO\/IEC 8652:1995(E)"},{"key":"18_CR3","unstructured":"AdaSTAT, a static analysis tool for Ada95, DCS IP LLC Corporation, http:\/\/www.adastat.com"},{"key":"18_CR4","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A.V. Aho","year":"1986","unstructured":"A.V. Aho, R. Sethi, J.D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, Massachusetts, USA, 1986"},{"key":"18_CR5","volume-title":"High Integrity Ada: The SPARK Approach","author":"J. Barnes","year":"1997","unstructured":"J. Barnes. High Integrity Ada: The SPARK Approach. Addison-Wesley, Harlow, England, 1997"},{"key":"18_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/BFb0055011","volume-title":"Ada-Europe 98","author":"A. Burns","year":"1998","unstructured":"A. Burns, B. Dobbing and G. Romanski. The Ravenscar Tasking Profile for High Integrity Real-Time Programs. In Ada-Europe 98, LNCS 1411, Springer-Verlag Berlin Heidelberg, 1998, pp. 263\u2013275"},{"key":"18_CR7","unstructured":"Software Considerations in Airborne Systems and Equipment Certification. Issued in the USA by the Requirements and Technical Concepts for Aviation (document RTCA SC167\/DO-178B) and in Europe by the European Organization for Civil Aviation Electronics (EUROCAE document ED-12B), December 1992"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"L. D. Fosdik and L. J. Osterweil. Data Flow Analysis in Software Reliability. In ACM Computing Surveys, Vol. 8, No. 3, September 1976","DOI":"10.1145\/356674.356676"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"D. Guspari et al. Formal Verification of Ada Programs. In IEEE Transactions on Software Engineering, Vol. 16, Sept. 1990","DOI":"10.1109\/32.58790"},{"key":"18_CR10","unstructured":"Programming Languages-Guide for the Use of the Ada Programming Language in High Integrity Systems. ISO\/IEC technical report 15942, final draft, ISO\/IEC JTC1 \/SC 22\/WG 9 N 359r, July 1, 1999, http:\/\/wwwold.dkuug.dk\/JTC1\/SC22\/WG9\/documents.htm"},{"key":"18_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/10722060_6","volume-title":"Ada-Europe 2000","author":"B. K\u00e4llberg","year":"2000","unstructured":"B. K\u00e4llberg. Is An Ada Lint Necessary? In Ada-Europe 2000, LNCS vol. 1845, Springer-Verlag, 2000, pp. 29\u201340"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"E. Mehofer and B. Scholz. A Novel Probabilistic Data-Flow Framework. In International Conference on Compiler Construction (CC), 2001","DOI":"10.1007\/3-540-45306-7_4"},{"key":"18_CR13","unstructured":"Requirements for the Procurement of Safety Critical Software in Defence Equipment. Interim Defence Standard 00-55, UK Ministry of Defence, 1991"},{"key":"18_CR14","unstructured":"Defence Standard 00-55,\u2019 Requirements for Safety Related Software in Defence Equipment\u2019, Ministry of Defence, (Part1: Requirements; Part2: Guidance). August 1997"},{"key":"18_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"1999","unstructured":"F. Nielson, H.R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag, Berlin, Germany, 1999"},{"key":"18_CR16","unstructured":"L. J. Osterweil. Using Data Flow Tools in Software Engineering. In Program Flow Analysis: Theory and Applications, S.S. Muchnick and N.D. Jones (Eds.), Prentice-Hall Software Series, 1981"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"G. Ramalingam. Data Flow Frequencey Analysis. In Proceedings of the ACM SIGPLAN\u201996 Conference on Programming Language Design and Implementation, 1996, pp. 267\u2013277.","DOI":"10.1145\/249069.231433"},{"key":"18_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BFb0013488","volume-title":"Ada-Europe\u201996","author":"A. Rosskopf","year":"1996","unstructured":"A. Rosskopf. Use of Static Analysis Tool for Safety-Critical Ada Applications \u2014 A Critical Assessment. In Ada-Europe\u201996, LNCS 1088, Springer-Verlag, 1996, pp. 183\u2013197"},{"key":"18_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/BFb0013497","volume-title":"Ada-Europe\u2019 96","author":"S. Rybin","year":"1996","unstructured":"S. Rybin, A. Strohmeier, A. Kuchumov, and V. Fofanov. ASIS for GNAT: From the Prototype to the Full Implementation. In Ada-Europe\u2019 96, LNCS 1088, Springer-Verlag, 1996, pp. 298\u2013311"},{"key":"18_CR20","unstructured":"SPARK Examiner. User Manual-Release 2.5 [Demo version], Praxis Critical Systems, March 1997 EXM\/UM\/2.5"},{"key":"18_CR21","unstructured":"Understand for Ada, Scientific Toolworks, Inc., http:\/\/www.scitools.com\/"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48046-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T22:10:56Z","timestamp":1556489456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48046-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437840","9783540480464"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-48046-3_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}