{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,6]],"date-time":"2023-04-06T07:32:46Z","timestamp":1680766366563},"reference-count":28,"publisher":"Elsevier","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1016\/s0169-7161(05)80129-4","type":"book-chapter","created":{"date-parts":[[2005,4,18]],"date-time":"2005-04-18T19:58:53Z","timestamp":1113854333000},"page":"141-168","source":"Crossref","is-referenced-by-count":1,"title":["5 Programming languages and systems"],"prefix":"10.1016","author":[{"given":"S.","family":"Purushothaman","sequence":"first","affiliation":[]},{"given":"J.","family":"Seaman","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0169-7161(05)80129-4_bib1","series-title":"Proc. XVII ACM Symp. on Principles of Programming Languages","first-page":"31","article-title":"Explicit substitution","author":"Abadi","year":"1990"},{"issue":"1","key":"10.1016\/S0169-7161(05)80129-4_bib2","volume":"69","year":"1990","journal-title":"AT&T Tech. J."},{"key":"10.1016\/S0169-7161(05)80129-4_bib3","series-title":"Compilers, Principles, Techniques, and Tools","author":"Aho","year":"1986"},{"key":"10.1016\/S0169-7161(05)80129-4_bib4","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","article-title":"Maintaining truth about temporal intervals","volume":"26","author":"Allen","year":"1983","journal-title":"Comm. ACM"},{"key":"10.1016\/S0169-7161(05)80129-4_bib5","series-title":"History of Programming Languages","first-page":"25","article-title":"The history of FORTRAN I, II, and III","author":"Backus","year":"1981"},{"issue":"4","key":"10.1016\/S0169-7161(05)80129-4_bib6","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1145\/357146.357147","article-title":"The programming language aspects of ThingLab, a constraint-oriented simulation laboratory","volume":"3","author":"Borning","year":"1981","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"10.1016\/S0169-7161(05)80129-4_bib7","series-title":"Proc. 19th ACM Symp. on Principles of Programming Languages","first-page":"328","article-title":"Observabe sequentiality and full abstraction","author":"Cartwright","year":"1992"},{"key":"10.1016\/S0169-7161(05)80129-4_bib8","series-title":"An Introduction to Operating Systems","author":"Deitel","year":"1984"},{"key":"10.1016\/S0169-7161(05)80129-4_bib9","first-page":"633","article-title":"Semantic domains","volume":"Vol. B","author":"Gunter","year":"1990"},{"key":"10.1016\/S0169-7161(05)80129-4_bib10","series-title":"Introduction to Formal Language Theory","author":"Harrison","year":"1978"},{"key":"10.1016\/S0169-7161(05)80129-4_bib11","series-title":"Computer Architecture and Organization","author":"Hayes","year":"1988"},{"issue":"4","key":"10.1016\/S0169-7161(05)80129-4_bib12","first-page":"223","article-title":"The challenge of open systems","volume":"10","author":"Hewitt","year":"1985","journal-title":"Byte"},{"key":"10.1016\/S0169-7161(05)80129-4_bib13","series-title":"Design and Validation of Computer Protocols","author":"Holzmann","year":"1991"},{"key":"10.1016\/S0169-7161(05)80129-4_bib14","series-title":"Computer Architecture and Parallel Processing","author":"Hwang","year":"1984"},{"key":"10.1016\/S0169-7161(05)80129-4_bib15","article-title":"Natural language processing","author":"Joshi","year":"1993"},{"key":"10.1016\/S0169-7161(05)80129-4_bib16","article-title":"Design and analysis of algorithms","author":"Kalyanasundaram","year":"1993"},{"key":"10.1016\/S0169-7161(05)80129-4_bib17","doi-asserted-by":"crossref","DOI":"10.1016\/S0169-7161(05)80126-9","article-title":"Steady state analysis of stochastic systems","author":"Kant","year":"1993"},{"key":"10.1016\/S0169-7161(05)80129-4_bib18","doi-asserted-by":"crossref","DOI":"10.1016\/S0169-7161(05)80127-0","article-title":"Parallel computer architectures","author":"Krishnamurthy","year":"1993"},{"key":"10.1016\/S0169-7161(05)80129-4_bib19","series-title":"Operating Systems, Advanced Concepts","author":"Maekawa","year":"1987"},{"key":"10.1016\/S0169-7161(05)80129-4_bib20","series-title":"Logic in Computer Science","first-page":"236","article-title":"Semantical paradigms: Notes for an invited lecture","author":"Meyer","year":"1988"},{"issue":"8","key":"10.1016\/S0169-7161(05)80129-4_bib21","doi-asserted-by":"crossref","DOI":"10.1145\/960118.808387","article-title":"History of LISP","volume":"13","author":"McCarthy","year":"1978","journal-title":"ACM SIGPLAN Notices"},{"issue":"2","key":"10.1016\/S0169-7161(05)80129-4_bib22","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","article-title":"A temporal logic for reasoning about processes and plans","volume":"6","author":"McDermott","year":"1982","journal-title":"Cognitive Sci."},{"issue":"5","key":"10.1016\/S0169-7161(05)80129-4_bib23","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1145\/367236.367262","article-title":"Report on the algorithmic language Also160","volume":"3","author":"Naur","year":"1960","journal-title":"Comm. ACM"},{"issue":"1","key":"10.1016\/S0169-7161(05)80129-4_bib24","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/2465.214917","article-title":"Reduced instruction set computers","volume":"28","author":"Patterson","year":"1985","journal-title":"Comm. ACM"},{"key":"10.1016\/S0169-7161(05)80129-4_bib25","series-title":"Proc. 4th Ann. Princeton Conf. on Information Sciences and Systems","first-page":"169","article-title":"Outline of a mathematical theory of computation","author":"Scott","year":"1970"},{"key":"10.1016\/S0169-7161(05)80129-4_bib26","series-title":"Operating System Concepts","author":"Silberschatz","year":"1988"},{"key":"10.1016\/S0169-7161(05)80129-4_bib27","article-title":"The definition and implementation of a computer language based on constraints","author":"Steele","year":"1980"},{"key":"10.1016\/S0169-7161(05)80129-4_bib28","series-title":"Computer Networks","author":"Tannenbaum","year":"1988"}],"container-title":["Handbook of Statistics","Computational Statistics"],"original-title":[],"deposited":{"date-parts":[[2019,2,14]],"date-time":"2019-02-14T03:55:12Z","timestamp":1550116512000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0169716105801294"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1016\/s0169-7161(05)80129-4","relation":{},"ISSN":["0169-7161"],"issn-type":[{"value":"0169-7161","type":"print"}],"subject":[],"published":{"date-parts":[[1993]]}}}