{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T23:10:23Z","timestamp":1693869023906},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1991,5,1]],"date-time":"1991-05-01T00:00:00Z","timestamp":673056000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1991,5]]},"DOI":"10.1007\/bf01178581","type":"journal-article","created":{"date-parts":[[2005,2,17]],"date-time":"2005-02-17T19:55:25Z","timestamp":1108670125000},"page":"411-445","source":"Crossref","is-referenced-by-count":17,"title":["The calculus of context relations"],"prefix":"10.1007","volume":"28","author":[{"given":"Gregor","family":"Snelting","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Reference manual for the ADA programming language. Department of Defense, ANSI-MIL-STD 1815A, 1983"},{"key":"CR2","volume-title":"Compilers: principles, techniques and tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: principles, techniques and tools. Reading, MA: Addison-Wesley 1986"},{"issue":"1","key":"CR3","first-page":"51","volume":"2","author":"H. Ait-Kaci","year":"1989","unstructured":"Ait-Kaci, H., Nasr, R.: Integrating logic and functional programming. Lisp Sym. Comput.2(1), 51?90 (1989)","journal-title":"Lisp Sym. Comput."},{"issue":"4","key":"CR4","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1145\/6465.20890","volume":"8","author":"R. Bahlke","year":"1986","unstructured":"Bahlke, R., Snelting, G.: The PSG system: From formal language definitions to interactive programming environments. ACM Trans. Program. Lang. Syst.8(4), 547?576 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Borras, P., Cl\u00e9ment, D., Despeyroux, Th., Incerpi, J., Kahn, G., Lang, B., Pascual, V.: CENTAUR: The system. In: Proceedings of the ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environents, vol. 13(5) of SIGSOFT Software Engineering Notes, pp. 14?24, Boston, November 1988.","DOI":"10.1145\/64135.65005"},{"key":"CR6","first-page":"101","volume":"7","author":"R.S. Boyer","year":"1972","unstructured":"Boyer, R.S., Moore, J.S.: The sharing of structure in theorem-proving programs. Math. Intell.7, 101?116 (1972)","journal-title":"Math. Intell."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Cl\u00e9ment, D., Despeyroux, J., Despeyroux, T., Kahn, G.: A simple applicative language: Mini-ML. In: Proceedings of the 1986 ACM conference on LISP and functional programming, pp. 13?27 (1986)","DOI":"10.1145\/319838.319847"},{"issue":"7","key":"CR8","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/79204.79209","volume":"33","author":"J. Cohen","year":"1990","unstructured":"Cohen, J.: Constraint logic programming languages. Commun. ACM33(7), 52?68 (1990)","journal-title":"Commun. ACM"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Damas, L., Milner, R.: Principal type schemes for functional programs. In: Conference record of the 9th annual ACM symposium on principles of programming languages, pp. 207?212, January 1982","DOI":"10.1145\/582153.582176"},{"key":"CR10","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/3-540-13346-1_11","volume-title":"Semantics of data types","author":"T. Despereux","year":"1984","unstructured":"Despereux, T.: Executable specification of static semantics. In: Kahn, G. (ed) Semantics of data types (Lect. Notes Comput. Sci., vol. 173, pp. 215?233). Berlin Heidelberg New York: Springer 1984"},{"key":"CR11","series-title":"Lect. Notes Comput. Sci.","first-page":"194","volume-title":"7th International conference on automated deduction","author":"F. Fages","year":"1984","unstructured":"Fages, F.: Associative-commutative unification. In: Shostak, R.E. (ed.) 7th International conference on automated deduction (Lect. Notes Comput. Sci., vol. 170, pp. 194?208). Berlin Heidelberg New York: Springer 1984"},{"key":"CR12","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/BFb0024174","volume-title":"2nd Conf. on programming language implementation and logic programming","author":"F.J. Grosch","year":"1990","unstructured":"Grosch, F.J., Snelting, G.: Interence-based overloading resolution for ADA. In: Deransart, P. (ed.) 2nd Conf. on programming language implementation and logic programming (Lect. Notes Comput. Sci., vol. 456, pp. 30?44). Berlin Heidelberg New York: Springer 1990"},{"key":"CR13","unstructured":"Henhapl, W.: Context conditions in program fragments. Technical Report PU-R1\/80, TH Darmstadt, Praktische Informatik, D-6100 Darmstadt, 1980"},{"key":"CR14","unstructured":"Hoover, R.: Incremental graph evaluation. PhD thesis, Cornell University, Computer Science Department 1987"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0304-3975(75)90011-0","volume":"1","author":"G. Huet","year":"1975","unstructured":"Huet, G.: A unification algorithm for typed ?-calculus. Theor. Comput. Sci.1, 27?57 (1975)","journal-title":"Theor. Comput. Sci."},{"key":"CR16","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1007\/3-540-15984-3_328","volume-title":"Proc. EUROCAL 1985","author":"H. Hussmann","year":"1985","unstructured":"Hussmann, H.: Unification in conditional-equational theories. In: Caviness, B.F. (ed.) Proc. EUROCAL 1985 (Lect. Notes Comput. Sci., vol. 204, pp. 543?553). Berlin Heidelberg New York: Springer 1985"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Lassez, J-L.: Constraint logic programming. In: Conferene record of the 14th annual ACM symposium on principles of programming languages, pp. 111?119. Munich, West Germany, January 1987","DOI":"10.1145\/41625.41635"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Johnson, G. Fisher, Ch.: Non-syntactic attribute flow in language-based editors. In: Conference record of the 9th annual ACM symposium on principles of programming languages, pp. 185?195, January 1982","DOI":"10.1145\/582153.582174"},{"key":"CR19","volume-title":"Systematic software development using VDM","author":"C. Jones","year":"1986","unstructured":"Jones, C.: Systematic software development using VDM. Englewood Cliffs, NJ: Prentice-Hall 1986"},{"key":"CR20","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/3-540-19027-9_9","volume-title":"ESOP'88, 2nd European symposium on programming","author":"S. Kaes","year":"1988","unstructured":"Kaes, S.: Parametic overloading in polymorphic programming languages. In: Ganzinger, H. (ed.) ESOP'88, 2nd European symposium on programming (Lect. Notes Comput. Sci., vol. 300, pp. 131?144). Berlin Heidelberg New York: Springer 1988"},{"key":"CR21","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-18317-5","volume-title":"STACS 1987","author":"G. Kahn","year":"1987","unstructured":"Kahn, G.: Natural semantics. In: Brandenburg, F. (ed) STACS 1987 (Lect. Notes Comput. Sci., vol. 247). Berlin Heidelberg New York: Springer 1987"},{"issue":"3","key":"CR22","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/BF00288644","volume":"13","author":"U. Kastens","year":"1980","unstructured":"Kastens, U.: Ordered attribute grammars. Acta Inf.13(3), 229?256 (1980)","journal-title":"Acta Inf."},{"key":"CR23","unstructured":"Kay, M.: Unification grammar. Technical report, Xerox Palo Alto Research Center 1983"},{"key":"CR24","volume-title":"The theory of relational databases","author":"D. Maier","year":"1983","unstructured":"Maier, D.: The theory of relational databases. Oxford New York: Computer Science Press 1983"},{"key":"CR25","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/S0747-7171(89)80013-6","volume":"7","author":"U. Martin","year":"1989","unstructured":"Martin, U., Nipkow, T.: Boolean unification-the story so far. J. Symb. Comput.7, 275?293 (1989)","journal-title":"J. Symb. Comput."},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"Meseguer, J., Goguen, J., Smolka, G.: Order-sorted unification. J. Symb. Comput. (to appear)","DOI":"10.1016\/S0747-7171(89)80036-7"},{"issue":"3","key":"CR27","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R.: A theory of type polymorphism in programming. J. Comput. Syst. Sci.17(3), 348?375 (1978)","journal-title":"J. Comput. Syst. Sci."},{"key":"CR28","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/3-540-15975-4_45","volume-title":"Functional programming languages and computer architecture","author":"R. Nikhil","year":"1985","unstructured":"Nikhil, R.: Practical polymorphism. In: Jouannaud, J.P. (ed.) Functional programming languages and computer architecture (Lect. Notes Comput. Sci., vol 201, pp. 319?333). Berlin Heidelberg New York: Springer 1985"},{"key":"CR29","doi-asserted-by":"crossref","unstructured":"Reps, T.: Optimal-time incremental semantic analysis for syntax-directed editors. In: Conference record of the 9th annual ACM symposium on principles of programming languages, pp. 169?176, 1982","DOI":"10.1145\/582153.582172"},{"issue":"2","key":"CR30","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0306-4379(86)90003-7","volume":"11","author":"H. Schek","year":"1986","unstructured":"Schek, H., Scholl, M.: The relational model with relation-valued attributes. Inf. Syst.11(2), 137?147 (1986)","journal-title":"Inf. Syst."},{"key":"CR31","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0024065","volume-title":"Computational aspects of an order-sorted logic with term declarations","author":"M. Schmidt-Schau\u00df","year":"1989","unstructured":"Schmidt-Schau\u00df, M.: Computational aspects of an order-sorted logic with term declarations (Lect. Notes Comput. Sci., vol. 395). Berlin Heidelberg New York: Springer 1989"},{"key":"CR32","unstructured":"Schroeder, U., Sch\u00fctz, D.: Incremental name resolution for programming environments. Master's thesis, TH Darmstadt, Praktische Informatik, December 1987 (in German)"},{"key":"CR33","volume-title":"An introduction to unification-based approaches to grammar","author":"S. Shieber","year":"1986","unstructured":"Shieber, S.: An introduction to unification-based approaches to grammar. Chicago, IL: University of Chicago Press 1986"},{"key":"CR34","unstructured":"Smolka, G.: A feature logic with subsorts. Technical Report LILOG report 33. IBM Stuttgart, 1988"},{"key":"CR35","unstructured":"Snelting, G.: Inkrementelle semantische Analyse in unvollst\u00e4ndigen Programmfragmenten. PhD Thesis, TH Darmstadt, Facbereich Informatik, March 1986 (in German)"},{"key":"CR36","first-page":"131","volume-title":"Proc. International Conference on System Development Environments & Factories","author":"G. Snelting","year":"1990","unstructured":"Snelting, G., Bahlke, R.: PSG: A theory-based environment generator. In: Proc. International Conference on System Development Environments & Factories, pp. 131?140. London: Pitnam 1990"},{"key":"CR37","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/3-540-18317-5_18","volume-title":"Functional programming languages and computer architecture","author":"I. Toyn","year":"1987","unstructured":"Toyn, I., Dix, A., Runciman, C.: Performance polymorphism. In: Kahn, G. (ed) Functional programming languages and computer architecture (Lect. Notes Comput. Sci., vol. 274, pp. 325?346). Berlin Heidelberg New York: Springer 1987"},{"key":"CR38","doi-asserted-by":"crossref","unstructured":"Wadler, Ph., Blott, S.: How to make ad-hoc polymorphism less ad-hoc. In: Conference Record of the 16th annual ACM symposium on principles of programming languages, pp. 60?76, January 1989","DOI":"10.1145\/75277.75283"},{"issue":"1","key":"CR39","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/42267.45071","volume":"35","author":"Ch. Walther","year":"1988","unstructured":"Walther, Ch.: Many-sorted unification. J. ACM35(1), 1?17 (1988)","journal-title":"J. ACM"},{"key":"CR40","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1007\/BF01934460","volume":"23","author":"D. Yeh","year":"1983","unstructured":"Yeh, D.: On incremental evaluation of ordered attribute grammars. BIT23, 308?320 (1983)","journal-title":"BIT"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01178581.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01178581\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01178581","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T20:30:24Z","timestamp":1586118624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01178581"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,5]]},"references-count":40,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1991,5]]}},"alternative-id":["BF01178581"],"URL":"https:\/\/doi.org\/10.1007\/bf01178581","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,5]]}}}