{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:00:12Z","timestamp":1725627612256},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540129059"},{"type":"electronic","value":"9783642693939"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/978-3-642-69393-9_9","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:19:20Z","timestamp":1320229160000},"page":"128-143","source":"Crossref","is-referenced-by-count":1,"title":["Context Relations - a concept for incremental context analysis in program fragments"],"prefix":"10.1007","author":[{"given":"W.","family":"Henhapl","sequence":"first","affiliation":[]},{"given":"G.","family":"Snelting","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1145\/320083.320091","volume":"4","author":"AV Aho","year":"1979","unstructured":"A. V. Aho, C. Beeri, J.D. Ullman: The theory of joins in relational databases. ACM transactions on database systems 4 (1979) S. 297\u2013314.","journal-title":"ACM transactions on database systems"},{"key":"9_CR2","volume-title":"A generalised approach to the specification of context conditions, Bericht PU1R10\/81","author":"B Austerm\u00fchl","year":"1981","unstructured":"B. Austerm\u00fchl, W. Herihapl: A generalised approach to the specification of context conditions, Bericht PU1R10\/81, Technische Hochschule Darmstadt, Dezember 1981."},{"key":"9_CR3","volume-title":"Context conditions of standard Pascal, Bericht FU1R14\/81","author":"B Austerm\u00fchl","year":"1982","unstructured":"B. Austerm\u00fchl: Context conditions of standard Pascal, Bericht FU1R14\/81, Techn. Hochschule Darmstadt, April 1982."},{"key":"9_CR4","volume-title":"Juli","author":"B Austerm\u00fchl","year":"1983","unstructured":"B. Austerm\u00fchl: Ein relationaler Ansatz zur Spezifikation der statischen Semantik von Programmier sprachen, Dissertation, Techn. Hochschule Darmstadt, Juli 1983."},{"key":"9_CR5","volume-title":"M\u00e4rz","author":"R Bahlke","year":"1982","unstructured":"R. Bahlke, W. Herihapl, T. Letschert: Forschungsvorhaben Prograimiersystemgenerator - Arbeitsbericht. Bericht PU1R8\/82, Techn. Hochschule Darmstadt, M\u00e4rz 1982."},{"key":"9_CR6","volume-title":"GI-Fachausschuss Conpiler-Ccmpiler, 3. Fachgespr\u00e4ch","author":"R Bahlke","year":"1982","unstructured":"R. Bahlke, T. Letschert: The BLKS system: towards the generation of programming environments, in: GI-Fachausschuss Conpiler-Ccmpiler, 3. Fachgespr\u00e4ch, 1982."},{"key":"9_CR7","volume-title":"A rehabilitation of Robinsons unification algorithm, Proceedings of the IFIP 9th world computer congres","author":"J Corbin","year":"1983","unstructured":"J. Corbin, M. Codoit: A rehabilitation of Robinsons unification algorithm, Proceedings of the IFIP 9th world computer congres, North-Holland, September 1983."},{"key":"9_CR8","volume-title":"Context conditions in program fragments, Bericht PU1R1\/80, Techn","author":"W Herihapl","year":"1980","unstructured":"W. Herihapl: Context conditions in program fragments, Bericht PU1R1\/80, Techn. Hochschule Darmstadt, Januar 1980."},{"key":"9_CR9","unstructured":"M. Hunkel: Kontextanalyse im PSG-Editor, Diplomarbeit, Techn. Hochschule Darmstadt (forthcoming)."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"N.D. Jones, S.S. Muchnick: Binding time optimization in programming languages: Some thoughts toward the design of an ideal language, 3. Annual ACM Symposium on Principles of Programming languages 1976, 77\u201394.","DOI":"10.1145\/800168.811542"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1145\/322169.322181","volume":"27","author":"M Kaplan","year":"1980","unstructured":"M. Kaplan, J. Ullman: A scheme for the automatic inference of variable types, Journal of the ACM 27 (1980), 128\u2013145.","journal-title":"Journal of the ACM"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"DE Knuth","year":"1968","unstructured":"D. E. Knuth: Semantics of context-free languages, Math, systems theory 2 (1968), 127\u2013145.","journal-title":"Math, systems theory"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A Martelli","year":"1982","unstructured":"A. Martelli, U. Montanari: An efficient unification algorithm, ACM Transactions on programming languages and sytems 4 (1982), 258\u2013282.","journal-title":"ACM Transactions on programming languages and sytems"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R Milner","year":"1978","unstructured":"R. Milner: A theory of type polymorphism in programming languages, Journal of omputer and System sciences 17 (1978), 348\u2013375.","journal-title":"Journal of omputer and System sciences"},{"issue":"3","key":"9_CR15","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1145\/2166.357218","volume":"5","author":"T Reps","year":"1983","unstructured":"T. Reps, T. Teitelbaum, A. Demers: Incremental context-dependent analysis for language-based editors, ACM Transactions on programming languages and systems 5 (1983), 3, 449\u2013477.","journal-title":"ACM Transactions on programming languages and systems"},{"issue":"1","key":"9_CR16","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"JA Robinson","year":"1965","unstructured":"J.A. Robinson: A machine-oriented logic based on the resolution principle, Journal of the ACM 12 (1965), 1, 23\u201341.","journal-title":"Journal of the ACM"},{"key":"9_CR17","unstructured":"H. Schmitt: Bezeichneridentifikation im PSG-Editor, Diplomarbeit, Techn. Hochschule Darmstadt (forthcoming)."},{"key":"9_CR18","volume-title":"Kontextrelationenverb\u00e4nde, Bericht PU1R9\/83","author":"G Snelting","year":"1983","unstructured":"G. Snelting: Kontextrelationenverb\u00e4nde, Bericht PU1R9\/83, Technische Hochschule Darmstadt, September 1983."},{"key":"9_CR19","volume-title":"New York University","author":"AM Teneribaum","year":"1974","unstructured":"A.M. Teneribaum: Type determination for very high level languages, Report NSO-3, Courant Institute of Mathematical science, Computer Science Department, New York University 1974."},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/BF00288543","volume":"14","author":"LM Wegner","year":"1980","unstructured":"L.M. Wegner: On parsing two-level grammars, Acta Informatica 14 (1980), 175\u2013193.","journal-title":"Acta Informatica"}],"container-title":["Informatik-Fachberichte","Programmiersprachen und Programmentwicklung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69393-9_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:33:49Z","timestamp":1606257229000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69393-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540129059","9783642693939"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69393-9_9","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1984]]}}}