{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:13:17Z","timestamp":1725725597262},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1999,9]]},"DOI":"10.1145\/319294.319310","type":"proceedings-article","created":{"date-parts":[[2003,11,14]],"date-time":"2003-11-14T10:09:41Z","timestamp":1068804581000},"page":"89-99","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Ada conformity assessments"],"prefix":"10.1145","author":[{"given":"Michael","family":"Tonndorf","sequence":"first","affiliation":[{"name":"Ada Conformity Assessment Laboratory, D-85521 Ottobrunn Germany"}]}],"member":"320","published-online":{"date-parts":[[1999,9]]},"reference":[{"key":"e_1_3_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.1145\/311457.311470"},{"key":"e_1_3_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/311457.311472"},{"key":"e_1_3_2_1_3_2","volume-title":"Information Technology- Programming Languages - Ada: Conformity Assessment of a Language Processor","author":"ISO\/iEC Final Committee Draft 18009.","year":"1999","unstructured":"ISO\/iEC Final Committee Draft 18009. Information Technology- Programming Languages - Ada: Conformity Assessment of a Language Processor , 1999 . ISO\/iEC Final Committee Draft 18009. Information Technology- Programming Languages - Ada: Conformity Assessment of a Language Processor, 1999."},{"key":"e_1_3_2_1_4_2","series-title":"Lecture Notes in Computer Science 688","volume-title":"Ada-Europe '93 Conference Proceedings","author":"Compiler Validation An Efficient","unstructured":"An Efficient Compiler Validation Method for Ada 9X. Michael Tonndorf , Ada-Europe '93 Conference Proceedings , Lecture Notes in Computer Science 688 , Springer Berlin , Heidelberg, New York. An Efficient Compiler Validation Method for Ada 9X. Michael Tonndorf, Ada-Europe '93 Conference Proceedings, Lecture Notes in Computer Science 688, Springer Berlin, Heidelberg, New York."},{"key":"e_1_3_2_1_5_2","series-title":"Lecture Notes in Computer Science 1411","volume-title":"Ada-Europe '98 International Conference on Reliable Software Technologies. Conference Proceedings","author":"Tool Based Ada Compiler Ten Years","unstructured":"Ten Years of Tool Based Ada Compiler Validations. An Experience Report. Michael Tonndorf , Ada-Europe '98 International Conference on Reliable Software Technologies. Conference Proceedings , Lecture Notes in Computer Science 1411 , Springer Berlin , Heidelberg, New York. Ten Years of Tool Based Ada Compiler Validations. An Experience Report. Michael Tonndorf, Ada-Europe '98 International Conference on Reliable Software Technologies. Conference Proceedings, Lecture Notes in Computer Science 1411, Springer Berlin, Heidelberg, New York."},{"key":"e_1_3_2_1_6_2","unstructured":"Operating Procedures for Ada Conformity Assessments Version 2.0. Ada Resource Association Fairfax VA USA. Operating Procedures for Ada Conformity Assessments Version 2.0. Ada Resource Association Fairfax VA USA."}],"event":{"name":"SIGAda99: ACM SIGAda Annual International Conference","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing","SIGBIOM ACM Special Interest Group on Biomedical Computing","SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language","SIGSOFT ACM Special Interest Group on Software Engineering","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Redondo Beach California USA","acronym":"SIGAda99"},"container-title":["Proceedings of the 1999 annual ACM SIGAda international conference on Ada"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/319294.319310","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T14:57:56Z","timestamp":1693839476000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/319294.319310"}},"subtitle":["a model for other programming languages?"],"short-title":[],"issued":{"date-parts":[[1999,9]]},"references-count":6,"alternative-id":["10.1145\/319294.319310","10.1145\/319294"],"URL":"https:\/\/doi.org\/10.1145\/319294.319310","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/319295.319310","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1999,9]]},"assertion":[{"value":"1999-09-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}