{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:54:13Z","timestamp":1725627253166},"reference-count":3,"publisher":"Wiley","issue":"5","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":4565,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1994,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper defines SuperPascal\u2014a secure programming language for publication of parallel scientific algorithms. SuperPascal extends a subset of IEEE Standard Pascal with deterministic statements for parallel processes and synchronous message communication. A parallel statement denotes parallel execution of a fixed number of statements. A forall statement denotes parallel execution of the same statement by a dynamic number of processes. Recursive procedures may be combined with parallel and forall statements to define recursive parallel processes. Parallel processes communicate by sending typed messages through channels created dynamically. SuperPascal omits ambiguous and insecure features of Pascal. Restrictions on the use of variables enable a single\u2010pass compiler to check that parallel processes are disjoint, even if the processes use procedures with global variables.<\/jats:p>","DOI":"10.1002\/spe.4380240504","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T17:06:02Z","timestamp":1163783162000},"page":"467-483","source":"Crossref","is-referenced-by-count":9,"title":["The programming language superpascal"],"prefix":"10.1002","volume":"24","author":[{"given":"Per Brinch","family":"Hansen","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"IEEE Standard Pascal Computer Programming Language","year":"1983"},{"key":"e_1_2_1_3_2","article-title":"SuperPascal\u2014a publication language for parallel scientific computing","author":"Hansen P. Brinch","journal-title":"Concurrency\u2014Practice and Experience"},{"key":"e_1_2_1_4_2","volume-title":"Interference control in SuperPascal\u2014a block\u2010structured parallel language","author":"Hansen P. Brinch","year":"1993"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380240504","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380240504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T00:26:51Z","timestamp":1698193611000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380240504"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,5]]},"references-count":3,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1994,5]]}},"alternative-id":["10.1002\/spe.4380240504"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380240504","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,5]]}}}