{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:11:00Z","timestamp":1725459060181},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354018712X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022095","type":"book-chapter","created":{"date-parts":[[2006,1,12]],"date-time":"2006-01-12T06:45:40Z","timestamp":1137048340000},"page":"21-32","source":"Crossref","is-referenced-by-count":1,"title":["Development of a programming environment for Setl"],"prefix":"10.1007","author":[{"given":"V.","family":"Donzeau-Gouge","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Dubois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Facon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Jean","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"D. Cl\u00e9ment, J. Despeyroux, T. Despeyroux, G. Kahn, \"A simple applicative language: mini-ML\", RR no 529, INRIA, may 86."},{"key":"3_CR2","unstructured":"D. Cl\u00e9ment, J. Despeyroux, T. Despeyroux, L. Hascoet, G. Kahn, \"Natural semantics on the computer\", RR no 416, INRIA, june 85."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"P. Cousot, R. Cousot, \"Abstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints\", Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, January 1977.","DOI":"10.1145\/512950.512973"},{"key":"3_CR4","unstructured":"R.B.K. Dewar, E. Dubinsky, E. Schonberg, J.T. Schwartz \"Higher level programming: introduction to the use of the set theoretic programming language SETL\", Courant Institute of Math Sciences, New York University, September 1984"},{"key":"3_CR5","unstructured":"V. Donzeau-Gouge, G. Kahn, B. Lang, B. M\u00e9l\u00e8se, \"Outline of a tool for document manipulation\", IFIP, September 1983."},{"issue":"2","key":"3_CR6","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/0167-6423(83)90009-6","volume":"3","author":"G. Kahn","year":"1983","unstructured":"G. Kahn, B. Lang, B. M\u00e9l\u00e8se, \"M\u00e9tal: a formalism to specify formalisms\", Science of Computer Programming, North Holland, volume 3, no 2, August 1983, 151\u2013188","journal-title":"Science of Computer Programming, North Holland"},{"issue":"4","key":"3_CR7","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/MS.1984.229465","volume":"1","author":"P. Kruchten","year":"1984","unstructured":"P. Kruchten, E. Schonberg, J.T. Schwartz, \"Software prototyping using the SETL programming language\", IEEE Software, volume 1, no 4, 1984, 66\u201375","journal-title":"IEEE Software"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"A. Mycroft, N.D. Jones, \"A relational framework for abstract interpretations\", Workshop \"Programs as Data Objects\", Copenhague, october 1985 (in Lecture Notes in Computer Science no 217)","DOI":"10.1007\/3-540-16446-4_9"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"R. Paige, \"Transformational Programming \u2014 Applications to algorithms and systems\", Proceedings Tenth ACM Symposium on Principles of Programming Languages, January 1983, 73\u201387","DOI":"10.1145\/567067.567076"},{"key":"3_CR10","unstructured":"J.P. Rosen, \"SETL: un language de tr\u00e8s haut niveau pour le prototypage\", Actes des journ\u00e9es AFCET \"Nouveaux languages pour le G\u00e9nie Logiciel\", BIGRE + GLOBULE, no 45, Octobre 1985"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"E. Schonberg, J.T. Schwartz, M. Sharir, \"An automatic technique for selection of data representations in Setl programs\", ACM TOPLAS, volume 3, no 2, 126\u2013143","DOI":"10.1145\/357133.357135"},{"key":"3_CR12","unstructured":"A.M. Tenenbaum, \"Type determination in a very high level language\", Report NSO-3, Courant Institute of Math. Sciences, New York University, 1974"},{"key":"3_CR13","unstructured":"G. Weiss, \"Recursive types in Setl: automatic determination and efficient implementation\", PhD thesis, Courant Institute of Math. Sciences, New York University, October 1985."}],"container-title":["Lecture Notes in Computer Science","ESEC '87"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0022095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T22:31:00Z","timestamp":1586644260000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022095"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354018712X"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0022095","relation":{},"subject":[]}}