{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T04:09:15Z","timestamp":1648872555829},"reference-count":17,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Languages"],"published-print":{"date-parts":[[1991,1]]},"DOI":"10.1016\/0096-0551(91)90017-4","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:04:53Z","timestamp":1060297493000},"page":"65-79","source":"Crossref","is-referenced-by-count":3,"title":["FLEX: Towards flexible real-time programs"],"prefix":"10.1016","volume":"16","author":[{"given":"Kwei-Jay","family":"Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Swaminathan","family":"Natarajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/0096-0551(91)90017-4_BIB1","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1109\/TSE.1980.234495","article-title":"Modula and a question of time","volume":"SE-6","author":"Allchin","year":"1980","journal-title":"IEEE Trans. Software Engng"},{"key":"10.1016\/0096-0551(91)90017-4_BIB2","series-title":"Proc. Real-Time Systems Symp.","first-page":"30","article-title":"ESTEREL: Toward a synchronous and semantically sound high level language for real time applications","author":"Berry","year":"1983"},{"key":"10.1016\/0096-0551(91)90017-4_BIB3","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1109\/TSE.1986.6312937","article-title":"Object-oriented development","volume":"SE-12","author":"Booch","year":"1986","journal-title":"IEEE Trans. Software Engng"},{"issue":"1","key":"10.1016\/0096-0551(91)90017-4_BIB4","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/TSE.1985.231845","article-title":"Timing constraints of real-time systems: constructs for expressing them, methods of validating them","volume":"SE-11","author":"Dasarathy","year":"1985","journal-title":"IEEE Trans. Software Engng"},{"key":"10.1016\/0096-0551(91)90017-4_BIB5","series-title":"MIL-STD-1815: Ada Programming Language","year":"1983"},{"issue":"5","key":"10.1016\/0096-0551(91)90017-4_BIB6","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1145\/358855.358857","article-title":"Real-time: the \u201clost word\u201d of software debugging and testing","volume":"23","author":"Glass","year":"1980","journal-title":"Commun. ACM"},{"issue":"9","key":"10.1016\/0096-0551(91)90017-4_BIB7","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1109\/TSE.1986.6313049","article-title":"Real-time Euclid: a language for reliable real-time systems","volume":"SE-12","author":"Kligerman","year":"1986","journal-title":"IEEE Trans. Software Engng"},{"key":"10.1016\/0096-0551(91)90017-4_BIB8","series-title":"Proc. IEEE Real-Time Systems Symp.","first-page":"57","article-title":"Language constructs for distributed real-time programming","author":"Lee","year":"1985"},{"key":"10.1016\/0096-0551(91)90017-4_BIB9","series-title":"Proc. COMPASAC87","first-page":"75","article-title":"Concord: A system of imprecise computations","author":"Lin","year":"1987"},{"key":"10.1016\/0096-0551(91)90017-4_BIB10","series-title":"Proc. 8th Real-Time Systems Symp.","first-page":"210","article-title":"Imprecise results: Utilizing partial computations in real-time systems","author":"Lin","year":"1987"},{"key":"10.1016\/0096-0551(91)90017-4_BIB11","series-title":"Proc. 8th Real-Time Systems Symp.","first-page":"252","article-title":"Scheduling real-time, periodic jobs using imprecise results","author":"Liu","year":"1987"},{"key":"10.1016\/0096-0551(91)90017-4_BIB12","series-title":"Interval Analysis","author":"Moore","year":"1966"},{"key":"10.1016\/0096-0551(91)90017-4_BIB13","series-title":"Computer Methods for the Range of Functions","author":"Ratschek","year":"1984"},{"issue":"3","key":"10.1016\/0096-0551(91)90017-4_BIB14","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1137\/0205037","article-title":"Data types as lattices","volume":"5","author":"Scott","year":"1976","journal-title":"SIAM J. Comput."},{"key":"10.1016\/0096-0551(91)90017-4_BIB15","article-title":"The definition and implementation of a computer programming language based on constraints","author":"Steele","year":"1980","journal-title":"Ph.D. thesis"},{"key":"10.1016\/0096-0551(91)90017-4_BIB16","series-title":"The C++ Programming Language","author":"Stroustrup","year":"1986"},{"key":"10.1016\/0096-0551(91)90017-4_BIB17","series-title":"MODULA 2","author":"Wirth","year":"1980"}],"container-title":["Computer Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055191900174?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055191900174?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T07:24:53Z","timestamp":1552634693000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0096055191900174"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,1]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,1]]}},"alternative-id":["0096055191900174"],"URL":"https:\/\/doi.org\/10.1016\/0096-0551(91)90017-4","relation":{},"ISSN":["0096-0551"],"issn-type":[{"value":"0096-0551","type":"print"}],"subject":[],"published":{"date-parts":[[1991,1]]}}}