{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T05:40:38Z","timestamp":1697953238493},"reference-count":4,"publisher":"Wiley","issue":"11","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":6207,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1989,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Simple extensions to Occam procedure parameter mechanisms are proposed that reduce some of the cumbersome nature of the language. The extensions are a GENERIC formal parameter type and associated TYPEOF construct and ISTYPE operator, and facility for a LIST of parameters. The features are illustrated using simple input\/output procedures based on the equivalent Pascal procedures.<\/jats:p>","DOI":"10.1002\/spe.4380191104","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T20:57:14Z","timestamp":1163797034000},"page":"1057-1064","source":"Crossref","is-referenced-by-count":0,"title":["Generic parameters in Occam"],"prefix":"10.1002","volume":"19","author":[{"given":"G. A.","family":"Wilson","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"A Tutorial Introduction to OCCAM Programming","author":"Fountain D.","year":"1988"},{"key":"e_1_2_1_3_2","volume-title":"Transputer Development System","author":"INMOS","year":"1988"},{"key":"e_1_2_1_4_2","volume-title":"INMOS, Transputer Instruction Set: A Compiler Writer's Guide","year":"1988"},{"key":"e_1_2_1_5_2","series-title":"The Ada Companion Series","volume-title":"Ada Language, Compilers and Bibliography","author":"Rogers M. W.","year":"1984"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380191104","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380191104","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T01:01:10Z","timestamp":1697936470000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380191104"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,11]]},"references-count":4,"journal-issue":{"issue":"11","published-print":{"date-parts":[[1989,11]]}},"alternative-id":["10.1002\/spe.4380191104"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380191104","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,11]]}}}