{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:48Z","timestamp":1772164068278,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,18]],"date-time":"2014-10-18T00:00:00Z","timestamp":1413590400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10,18]]},"DOI":"10.1145\/2663171.2663181","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T08:29:24Z","timestamp":1413275364000},"page":"87-96","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Safe parallel programming in ada with language extensions"],"prefix":"10.1145","author":[{"given":"S. Tucker","family":"Taft","sequence":"first","affiliation":[{"name":"AdaCore, Lexington, MA, USA"}]},{"given":"Brad","family":"Moore","sequence":"additional","affiliation":[{"name":"General Dynamics Canada, Calgary, AB, Canada"}]},{"given":"Lu\u00eds Miguel","family":"Pinho","sequence":"additional","affiliation":[{"name":"ISEP, Porto, Portugal"}]},{"given":"Stephen","family":"Michell","sequence":"additional","affiliation":[{"name":"Maurya Software, Inc., Toronto, ON, Canada"}]}],"member":"320","published-online":{"date-parts":[[2014,10,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1465482.1465560"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/356622.356624"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPPS.1993.262808"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/126551.126568"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/197694.197742"},{"key":"e_1_3_2_1_8_1","volume-title":"International Conference on Reliable Software Technologies - Ada-Europe 2013","author":"Michell S.","year":"2013","unstructured":"S. Michell , B. Moore , L. M. Pinho , \" Tasklettes - a Fine Grained Parallelism for Ada on Multicores\" , International Conference on Reliable Software Technologies - Ada-Europe 2013 , LNCS 7896, Springer , 2013 . S. Michell, B. Moore, L. M. Pinho, \"Tasklettes - a Fine Grained Parallelism for Ada on Multicores\", International Conference on Reliable Software Technologies - Ada-Europe 2013, LNCS 7896, Springer, 2013."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2527269.2527270"},{"key":"e_1_3_2_1_10_1","volume-title":"International Conference on Reliable Software Technologies - Ada-Europe 2014","author":"Pinho L. M.","year":"2014","unstructured":"L. M. Pinho , B. Moore , S. Michell , \" Parallelism in Ada : status and prospects \", International Conference on Reliable Software Technologies - Ada-Europe 2014 , LNCS 8454, Springer , 2014 . L. M. Pinho, B. Moore, S. Michell, \"Parallelism in Ada: status and prospects\", International Conference on Reliable Software Technologies - Ada-Europe 2014, LNCS 8454, Springer, 2014."},{"key":"e_1_3_2_1_11_1","unstructured":"Intel Corporation Cilk Plus https:\/\/software.intel.com\/en-us\/intel-cilk-plus  Intel Corporation Cilk Plus https:\/\/software.intel.com\/en-us\/intel-cilk-plus"},{"key":"e_1_3_2_1_12_1","unstructured":"OpenMP Architecture Review Board \"OpenMP Application Program Interface\" Version 4.0 July 2013  OpenMP Architecture Review Board \"OpenMP Application Program Interface\" Version 4.0 July 2013"},{"key":"e_1_3_2_1_13_1","unstructured":"OpenCL (Open Computing Language) http:\/\/www.khronos.org\/opencl  OpenCL (Open Computing Language) http:\/\/www.khronos.org\/opencl"},{"key":"e_1_3_2_1_14_1","unstructured":"NVIDIA \"NVIDIA CUDA Compute Unified Device Architecture\" Version 2.0 2008  NVIDIA \"NVIDIA CUDA Compute Unified Device Architecture\" Version 2.0 2008"},{"key":"e_1_3_2_1_15_1","unstructured":"CPLEX C Parallel Language EXtensions study group archives at http:\/\/www.open-std.org\/mailman\/listinfo\/cplex  CPLEX C Parallel Language EXtensions study group archives at http:\/\/www.open-std.org\/mailman\/listinfo\/cplex"},{"key":"e_1_3_2_1_16_1","unstructured":"Working Draft Technical Specification for C++ Extensions for Parallelism available at http:\/\/www.open-std.org\/jtc1\/sc22\/wg21\/docs\/papers\/2014\/n3960.pdf  Working Draft Technical Specification for C++ Extensions for Parallelism available at http:\/\/www.open-std.org\/jtc1\/sc22\/wg21\/docs\/papers\/2014\/n3960.pdf"},{"key":"e_1_3_2_1_17_1","volume-title":"Thread-specific Storage: an Object Behavioral Pattern for Efficiently Accessing per-Thread State,\" C++ Gems II","author":"Schmidt D. C.","year":"1999","unstructured":"D. C. Schmidt , T. H. Harrison , and N. Pryce , \" Thread-specific Storage: an Object Behavioral Pattern for Efficiently Accessing per-Thread State,\" C++ Gems II , (Robert Martin, ed.), SIGS , NY , 1999 ; http:\/\/www.dre.vanderbilt.edu\/~schmidt\/PDF\/TSS-pattern.pdf, retrieved 11-Jun-2014 D. C. Schmidt, T. H. Harrison, and N. Pryce, \"Thread-specific Storage: an Object Behavioral Pattern for Efficiently Accessing per-Thread State,\" C++ Gems II, (Robert Martin, ed.), SIGS, NY, 1999; http:\/\/www.dre.vanderbilt.edu\/~schmidt\/PDF\/TSS-pattern.pdf, retrieved 11-Jun-2014"},{"key":"e_1_3_2_1_18_1","unstructured":"Google Corporation The Go Programming Language http:\/\/golang.org\/  Google Corporation The Go Programming Language http:\/\/golang.org\/"},{"key":"e_1_3_2_1_19_1","unstructured":"Mozilla Research The Rust Programming Language http:\/\/www.rust-lang.org  Mozilla Research The Rust Programming Language http:\/\/www.rust-lang.org"},{"key":"e_1_3_2_1_20_1","unstructured":"ParaSail - Parallel Specification and Implementation Language http:\/\/parasail-programming-language.blogspot.com  ParaSail - Parallel Specification and Implementation Language http:\/\/parasail-programming-language.blogspot.com"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54016"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380250404"},{"key":"e_1_3_2_1_23_1","volume-title":"Programming Languages and their Environments - Programming Language Ada","author":"ISO IEC","year":"2012","unstructured":"ISO IEC 8652:2012. Programming Languages and their Environments - Programming Language Ada . International Standards Organization , Geneva, Switzerland , 2012 ISO IEC 8652:2012. Programming Languages and their Environments - Programming Language Ada. International Standards Organization, Geneva, Switzerland, 2012"},{"key":"e_1_3_2_1_24_1","volume-title":"The SPARK Approach to Safety and Security","author":"Barnes J.","year":"2003","unstructured":"J. Barnes . High Integrity Software : The SPARK Approach to Safety and Security . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 2003 . J. Barnes. High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2003."}],"event":{"name":"HILT '14: High Integrity Language Technology ACM SIGAda Annual Conference","location":"Portland Oregon USA","acronym":"HILT '14","sponsor":["SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","Ada Europe Ada Europe","SIGBED ACM Special Interest Group on Embedded Systems","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"]},"container-title":["Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2663171.2663181","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2663171.2663181","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:47Z","timestamp":1750212827000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2663171.2663181"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,18]]},"references-count":23,"alternative-id":["10.1145\/2663171.2663181","10.1145\/2663171"],"URL":"https:\/\/doi.org\/10.1145\/2663171.2663181","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2692956.2663181","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,10,18]]},"assertion":[{"value":"2014-10-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}