{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T00:00:53Z","timestamp":1648857653917},"reference-count":13,"publisher":"Elsevier BV","issue":"2-4","license":[{"start":{"date-parts":[[1997,7,1]],"date-time":"1997-07-01T00:00:00Z","timestamp":867715200000},"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":[[1997,7]]},"DOI":"10.1016\/s0096-0551(97)00014-3","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T02:56:11Z","timestamp":1027652171000},"page":"179-206","source":"Crossref","is-referenced-by-count":1,"title":["Program separation and definitional higher order programming"],"prefix":"10.1016","volume":"23","author":[{"given":"G.","family":"Falkman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0096-0551(97)00014-3_BIB1","series-title":"Proceedings of La Winterm\u00f6te '94","first-page":"93","article-title":"WM94: program separation in GCLA","author":"Halln\u00e4s","year":"1994"},{"key":"10.1016\/S0096-0551(97)00014-3_BIB2","series-title":"Proceedings of the Post-Conference Workshop on Proof-Theoretical Extensions of Logic Programming","first-page":"31","article-title":"Program separation in GCLA","author":"Falkman","year":"1994"},{"key":"10.1016\/S0096-0551(97)00014-3_BIB3","series-title":"Proceedings of the 6th Nordic Workshop on Programming Theory","first-page":"158","article-title":"Program separation as a basis for definitional higher order programming","author":"Falkman","year":"1994"},{"key":"10.1016\/S0096-0551(97)00014-3_BIB4","article-title":"Definitional program separation","author":"Falkman","year":"1996"},{"key":"10.1016\/S0096-0551(97)00014-3_BIB5","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1093\/logcom\/1.2.261","article-title":"A proof-theoretical approach to logic programming, part I, clauses as rules","volume":"1","author":"Halln\u00e4s","year":"1990","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S0096-0551(97)00014-3_BIB6","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1093\/logcom\/1.5.635","article-title":"A proof-theoretical approach to logic programming, part II, programs as definitions","volume":"1","author":"Halln\u00e4s","year":"1991","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S0096-0551(97)00014-3_BIB7","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/BF03037453","article-title":"The programming language GCLA\u2014a definitional approach to logic programming","volume":"7","author":"Aronsson","year":"1990","journal-title":"New Generation Computing"},{"key":"10.1016\/S0096-0551(97)00014-3_BIB8","series-title":"Extensions of Logic Programming, Proceedings of the 1st International Workshop, SNS, Universit\u00e4t T\u00fcbingen","article-title":"A survey of GCLA\u2014a definitional approach to logic programming","volume":"Vol. 475","author":"Aronsson","year":"1990"},{"key":"10.1016\/S0096-0551(97)00014-3_BIB9","series-title":"Extensions of Logic Programming, Proceedings of the 2nd International Workshop, SICS, Sweden","first-page":"239","article-title":"GCLA II, a definitional approach to control","volume":"Vol. 596","author":"Kreuger","year":"1992"},{"key":"10.1016\/S0096-0551(97)00014-3_BIB10","article-title":"GCLA, The design, use, and implementation of a program development system","author":"Aronsson","year":"1993"},{"key":"10.1016\/S0096-0551(97)00014-3_BIB11","article-title":"GCLA user's manual","author":"Aronsson","year":"1991"},{"key":"10.1016\/S0096-0551(97)00014-3_BIB12","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0304-3975(06)80007-1","article-title":"Partial inductive definitions","volume":"87","author":"Halln\u00e4s","year":"1991","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0096-0551(97)00014-3_BIB13","article-title":"Computational issues in calculi of partial inductive definitions","author":"Kreuger","year":"1995"}],"container-title":["Computer Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0096055197000143?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0096055197000143?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T02:57:53Z","timestamp":1555210673000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0096055197000143"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,7]]},"references-count":13,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[1997,7]]}},"alternative-id":["S0096055197000143"],"URL":"https:\/\/doi.org\/10.1016\/s0096-0551(97)00014-3","relation":{},"ISSN":["0096-0551"],"issn-type":[{"value":"0096-0551","type":"print"}],"subject":[],"published":{"date-parts":[[1997,7]]}}}