{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T11:40:06Z","timestamp":1735904406127,"version":"3.32.0"},"reference-count":57,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2005,6,1]],"date-time":"2005-06-01T00:00:00Z","timestamp":1117584000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order Symb Comput"],"published-print":{"date-parts":[[2005,6]]},"DOI":"10.1007\/s10990-005-7009-2","type":"journal-article","created":{"date-parts":[[2005,7,12]],"date-time":"2005-07-12T17:54:33Z","timestamp":1121190873000},"page":"211-235","source":"Crossref","is-referenced-by-count":0,"title":["An NSF Proposal"],"prefix":"10.1007","volume":"18","author":[{"given":"Robert","family":"Paige","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7009_CR1","doi-asserted-by":"crossref","unstructured":"Bancilhon, F. Naive evaluation of recursively defined relations. On Knowledge-Base Management Systems, M. Brodie and J. Mylopoulos (Eds.). McGraw-Hill, 1986, pp. 165\u2013178.","DOI":"10.1007\/978-1-4612-4980-1_17"},{"key":"7009_CR2","unstructured":"Bayer, R. Query evaluation and recursion in deductive database system, 1985. unpublished manuscript."},{"key":"7009_CR3","unstructured":"Bloom, B. Ready simulation, bisimulation, and the semantics of CCS-like languages. PhD thesis, Massachusetts Institute of Technology, Sept. 1989."},{"key":"7009_CR4","doi-asserted-by":"crossref","unstructured":"Bloom, B. and Paige, R. Transformational design and implementation of a new efficient solution to the ready simulation problem. Science of Computer Programming, 24(3) (1995), 189\u2013220. http:\/\/cs.nyu.edu\/cs\/faculty\/paige\/papers\/readysc.ps.","DOI":"10.1016\/0167-6423(95)00003-B"},{"key":"7009_CR5","doi-asserted-by":"crossref","unstructured":"Borras, P., Clement, D., Despeyroux, T., Incerpi, J., Kahn, G., Lang, B., and Pascual, V. Centaur: the system. Rapports de Recherche 777, INRIA, 1987.","DOI":"10.1145\/64135.65005"},{"key":"7009_CR6","unstructured":"Cai, J. A language for semantic analysis. Technical Report 635, Courant Institute, New York University, 1993."},{"key":"7009_CR7","unstructured":"Cai, J., Facon, P., Henglein, F., Paige, R., and Schonberg, E. Type transformation and data structure choice. In Constructing Programs From Specifications, B. Moeller, (Ed.). North-Holland, Amsterdam, 1991, pp. 126\u2013164. http:\/\/cs.nyu.edu\/cs\/faculty\/paige\/papers\/subtype.ps."},{"key":"7009_CR8","doi-asserted-by":"crossref","unstructured":"Cai, J. and Paige, R. Binding performance at language design time. In Proc. Fourteenth ACM Symp. on Principles of Programming Languages, 1987, pp. 85\u201397.","DOI":"10.1145\/41625.41633"},{"key":"7009_CR9","doi-asserted-by":"crossref","unstructured":"Cai, J. and Paige, R. Program derivation by fixed point computation. Science of Computer Programming, 11(3) (1988\/1989) 197\u2013261. http:\/\/cs.nyu.edu\/cs\/faculty\/paige\/papers\/fixpoint.ps.","DOI":"10.1016\/0167-6423(88)90033-0"},{"key":"7009_CR10","unstructured":"Cai, J. and Paige, R. Languages polynomial in the input plus output. In Algebraic Methodology and Software Technology, M. Nivat, C. Rattray, T. Rus, and G. Scollo, (Eds.,) Workshops in Computing, Springer-Verlag, Conference Record of the Second AMAST, 1992, pp. 287\u2013302."},{"key":"7009_CR11","doi-asserted-by":"crossref","unstructured":"Cai, J. and Paige, R. Using multiset discrimination to solve language processing problems without hashing. Theoretical Computer Science, 145(1\u20132) (1995) 189\u2013228. http:\/\/cs.nyu.edu\/cs\/faculty\/paige\/papers\/hash.ps.","DOI":"10.1016\/0304-3975(94)00183-J"},{"key":"7009_CR12","doi-asserted-by":"crossref","unstructured":"Cai J. and Paige, R. Towards increased productivity of algorithm implementation. In Proc. ACM SIGSOFT, (1993), pp. 71\u201378. http:\/\/cs.nyu.edu\/cs\/faculty\/paige\/papers\/prod.ps.","DOI":"10.1145\/256428.167067"},{"key":"7009_CR13","doi-asserted-by":"crossref","unstructured":"Cai, J., Paige, R., and Tarjan, R. More efficient bottom-up multi-pattern matching in trees. Theoretical Computer Science, 106(1) (1992) 21\u201360. file:\/\/cs.nyu.edu\/pub\/tech-reports\/tr604.ps.Z.","DOI":"10.1016\/0304-3975(92)90277-M"},{"key":"7009_CR14","unstructured":"Cantali, A. Using ETNA to prove correctenss and complexity of a linear time implementation of a subset of Willard\u2019s RCS. Bachelor\u2019s thesis, University of Catania, Catania, Italy, 1997."},{"key":"7009_CR15","doi-asserted-by":"crossref","unstructured":"Chang C.-H. and Paige, R. From regular expressions to DFA\u2019s using compressed NFA\u2019s. Theoretical Computer Science, 178(1\u20132) (1997) 1\u201336. http:\/\/cs.nyu.edu\/cs\/faculty\/paige\/papers\/cnnfa.ps.","DOI":"10.1016\/S0304-3975(96)00140-5"},{"issue":"1","key":"7009_CR16","doi-asserted-by":"crossref","first-page":"43","DOI":"10.2140\/pjm.1979.82.43","volume":"82","author":"P. Cousot","year":"1979","unstructured":"Cousot P. and Cousot, R. Constructive versions of Tarski\u2019s fixed point theorems. Pacific J. Math., 82(1) (1979) 43\u201357.","journal-title":"Pacific J. Math."},{"key":"7009_CR17","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1111\/j.1746-8361.1969.tb01183.x","volume":"23","author":"H. Curry","year":"1969","unstructured":"Curry, H. Modified basic functionality in combinatory logic. Dialectica, 23 (1969) 83\u201392.","journal-title":"Dialectica"},{"key":"7009_CR18","unstructured":"Donzeau-Gouge, V., Huet, G., Kahn, G., and Lang, B. Programming environments based on structured editors: The mentor experience. In Interactive Programming Environments. McGraw-Hill, 1984."},{"issue":"3","key":"7009_CR19","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"1","author":"W. Dowling","year":"1984","unstructured":"Dowling W. and Gallier, J. Linear-time algorithms for testing the satisfiability of propositional horn formulae. J. Logic Programming. 1(3) (1984), 267\u2013284.","journal-title":"J. Logic Programming"},{"issue":"4","key":"7009_CR20","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0096-0551(75)90019-3","volume":"1","author":"J. Earley","year":"1976","unstructured":"Earley, J. High level iterators and a method for automatically designing data structure representation. J. of Computer Languages, 1(4) 1976, 321\u2013342.","journal-title":"J. of Computer Languages"},{"key":"7009_CR21","doi-asserted-by":"crossref","unstructured":"Fong A. and Ullman, J. Induction variables in very high level languages. In Proc. Third ACM Symp. on Principles of Programming Languages, Jan. 1976, pp. 104\u2013112.","DOI":"10.1145\/800168.811544"},{"issue":"3","key":"7009_CR22","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C. Forgy","year":"1982","unstructured":"Forgy, C. RETE, a fast algorithm for the many patterns many objects match problem. Artificial Intelligence, 19(3) (1982) 17\u201337","journal-title":"Artificial Intelligence"},{"key":"7009_CR23","doi-asserted-by":"crossref","unstructured":"Goldberg A. and Paige, R. Stream processing. In Proceedings of the ACM Symposium on LISP and Functional Programming, ACM, 1984, pp. 53\u201362.","DOI":"10.1145\/800055.802021"},{"key":"7009_CR24","doi-asserted-by":"crossref","unstructured":"Goyal D. and Paige, R. The formal reconstruction and improvement of the linear time fragment of Willard\u2019s relational calculus subset. In Algorithmic Languages and Calculi. R. Bird and L. Meertens (Eds.) chapman & Hall, 1997, pp. 382\u2013414. http:\/\/cs.nyu.edu\/phd_students\/deepak\/lrcs.ps.","DOI":"10.1007\/978-0-387-35264-0_15"},{"key":"7009_CR25","doi-asserted-by":"crossref","unstructured":"Goyal D. and Paige, R. A new solution to the hidden copy problem. In Proc. 5th International Static Analysis Symposium. G. Levi (Ed.) number 1503 in LNCS, Springer, September 1998, pp. 327\u2013348. http:\/\/cs.nyu.edu\/phd_students\/deepak\/copy.ps.","DOI":"10.1007\/3-540-49727-7_20"},{"key":"7009_CR26","first-page":"29","volume":"146","author":"R. Hindley","year":"1969","unstructured":"Hindley, R. The principal type-scheme of an object in combinatory logic. Trans. Amer. Math. Soc., 146 (1969) 29\u201360","journal-title":"Trans. Amer. Math. Soc."},{"key":"7009_CR27","unstructured":"Jones, N., Gomard, C., and Sestoft, P. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993."},{"key":"7009_CR28","doi-asserted-by":"crossref","unstructured":"Keller, J. and Paige, R. Program derivation with verified transformations\u2014a case study. CPAM, 48(9\u201310) (1996) 1053\u20131113 http:\/\/cs.nyu.edu\/cs\/faculty\/paige\/papers\/ltmjform.ps.","DOI":"10.1002\/cpa.3160480906"},{"key":"7009_CR29","unstructured":"Klint, P. The ASF+SDF meta-environment user\u2019s guide, version 26. Technical report, Centrum voor Wiskunde en Informatica, 1993."},{"key":"7009_CR30","unstructured":"Knuth, D. The Art of Computer Programming. 3 Vol. Addison-Wesley, 1968\u20131972."},{"key":"7009_CR31","unstructured":"Koenig, S. and Paige, R. A transformational framework for the automatic control of derived data. In Proc. 7th Intl. Conf. on VLDB, Sep 1981, pp. 306\u2013318"},{"key":"7009_CR32","unstructured":"Launchbury, J. and Holst, C.K. Handwriting cogen to avoid problems with static typing. In Draft Proceedings, Fourth Annual Glasgow Workshop on Functional Programming. C.K.H.R. Heldal and P. Wadler (Eds.) Workshops in Computing, Skye, Scotland, 1991. S-V, pp. 210\u2013218."},{"key":"7009_CR33","doi-asserted-by":"crossref","unstructured":"Liu, Y. Principled strength reduction. In Algorithmic Languages and Calculi. R. Bird and L. Meertens (Eds.) Chapman & Hall, 1997, pp. 357\u2013381.","DOI":"10.1007\/978-0-387-35264-0_14"},{"key":"7009_CR34","unstructured":"Paige, R. Formal Differentiation. UMI Research Press, 1981."},{"issue":"1","key":"7009_CR35","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/MS.1986.233070","volume":"3","author":"R. Paige","year":"1986","unstructured":"Paige, R. Programming with invariants. J IEEE Software, 3(1) 1986. 56\u201369,","journal-title":"J IEEE Software"},{"key":"7009_CR36","unstructured":"Paige, R. Real-time simulation of a set machine on a RAM. In Computing and Information. N. Janicki and W. Koczkodaj (Eds.). volume II of ICCI 89, Canadian Scholars\u2019 Press, Toronto, May 1989, pp. 69\u201373. http:\/\/cs.nyu.edu\/cs\/faculty\/paige\/papers\/realtime.ps."},{"key":"7009_CR37","doi-asserted-by":"crossref","unstructured":"Paige, R. Viewing a program transformation system at work. In Programming Language Implementation and Logic, M. Hermenegildo and J. Penjam, (eds.), volume 844 of LNCS, pages 5\u201324. Springer-Verlag, Berlin, Sep. 1994. http:\/\/cs.nyu.edu\/cs\/faculty\/paige\/papers\/viewing.ps.","DOI":"10.1007\/3-540-58402-1_3"},{"issue":"2","key":"7009_CR38","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0747-7171(87)80066-4","volume":"4","author":"R. Paige","year":"1987","unstructured":"Paige, R. and Henglein, F. Mechanical translation of set theoretic problem specifications into efficient RAM code-a case study. Journal of Symbolic Computation, 4(2) (1987) 207\u2013232.","journal-title":"Journal of Symbolic Computation"},{"issue":"1","key":"7009_CR39","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0304-3975(85)90159-8","volume":"40","author":"R. Paige","year":"1985","unstructured":"Paige, R., Tarjan, R., and Bonic, R. A linear time solution to the single function coarsest partition problem. Theoretical Computer Science, 40(1) (1985) 67\u201384","journal-title":"Theoretical Computer Science"},{"key":"7009_CR40","doi-asserted-by":"crossref","unstructured":"Paige R. and Yang, Z. High level reading and data structure compilation. In Proc. 24th ACM Symp. on Principles of Programming Languages, pp. 456 \u2013469, 1997. http:\/\/cs.nyu.edu\/phd_students\/zheyang\/papers\/read.ps.","DOI":"10.1145\/263699.263762"},{"key":"7009_CR41","unstructured":"Refine user\u2019s guide version 3.0, 1990."},{"key":"7009_CR42","doi-asserted-by":"crossref","unstructured":"Reif J. and Lewis, H. Symbolic evaluation and the global value graph. In Proc. 4th Annual ACM Symp. on Principles of Programming Languages, 1997, pp. 104\u2013118","DOI":"10.1145\/512950.512961"},{"key":"7009_CR43","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-9623-9","volume-title":"The Synthesizer Generator: A System for Constructing Language-Based Editors","author":"T. Reps","year":"1989","unstructured":"Reps, T. and Teitelbaum, T. The Synthesizer Generator: A System for Constructing Language-Based Editors. Springer-Verlag, New York, 1989."},{"issue":"3","key":"7009_CR44","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1145\/2166.357218","volume":"5","author":"T. Reps","year":"1983","unstructured":"Reps, T., Teitelbaum, T., and Demers, A. Incremental context-dependent analysis for language-based editors. ACM TOPLAS, 5(3) (1983) 449\u2013477","journal-title":"ACM TOPLAS"},{"issue":"12","key":"7009_CR45","doi-asserted-by":"crossref","first-page":"722","DOI":"10.1145\/361227.361235","volume":"18","author":"J. Schwartz","year":"1975","unstructured":"Schwartz, J. Automatic data structure choice in a language of very high level. CACM, 18(12) (1975) 722\u2013728.","journal-title":"CACM"},{"issue":"2\u20133","key":"7009_CR46","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0096-0551(75)90015-6","volume":"1","author":"J. Schwartz","year":"1975","unstructured":"Schwartz, J. Optimization of very high level languages, parts I, II. J. of Computer Languages, 1(2\u20133) (1975) 161\u2013218.","journal-title":"J. of Computer Languages"},{"key":"7009_CR47","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-9575-1","volume-title":"Programming with Sets: An Introduction to SETL","author":"J. Schwartz","year":"1986","unstructured":"Schwartz, J., Dewar, R., Dubinsky, E., and Schonberg, E. Programming with Sets: An Introduction to SETL. Springer-Verlag, New York, 1986."},{"key":"7009_CR48","unstructured":"Smith, D. Kids\u2014a semi-automatic program development system. IEEE Transactions on Software Engineering, (1990) 129\u2013136."},{"key":"7009_CR49","unstructured":"Snyder, K. The SETL2 programming language. Technical Report 490, Courant Insititute, New York University, 1990."},{"key":"7009_CR50","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A. A lattice-theoretical fixpoint theorem and its application. Pacific J. of Mathematics, 5 (1955) 285\u2013309.","journal-title":"Pacific J. of Mathematics"},{"key":"7009_CR51","unstructured":"Ullman, J. Principles of Database and Knowledge-Base Systems. Computer Science Press, 1988."},{"key":"7009_CR52","unstructured":"van der Meulen, E. Incremental rewriting. PhD thesis, CWI, 1994."},{"key":"7009_CR53","unstructured":"Willard, D.E. Predicate retrieval theory. Technical Report 83-3, SUNY Albany, 1983."},{"key":"7009_CR54","doi-asserted-by":"crossref","unstructured":"Willard, D.E. Quasi-linear algorithms for processing relational data base expressions. In Proceedings of the 9th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1990, pp. 243\u2013257.","DOI":"10.1145\/298514.298570"},{"key":"7009_CR55","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1006\/jcss.1996.0012","volume":"52","author":"D. E. Willard","year":"1996","unstructured":"Willard, D. E. Applications of range query theory to relational data base join and selection operations. J. Computer and System Sci., 52 (1996) 157\u2013169.","journal-title":"J. Computer and System Sci."},{"key":"7009_CR56","doi-asserted-by":"crossref","unstructured":"Yang, Z. Encoding types in ML-like languages. In P. Hudak and C. Queinnec, Proceedings of the 1998 ACM SIGPLAN International Conference on Functional Programming (Eds.), Baltimore, Maryland, USA, Sept. ACM Press, 1998, pp. 289\u2013300","DOI":"10.1145\/289423.289458"},{"key":"7009_CR57","unstructured":"Yang, Z. A native ML implementation of type-directed partial evaluation. In Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation, NBE \u201898. O. Danvy and P. Dybjer, (Eds.). G\u00f6teborg, Sweden, May 8\u20139, 1998, number NS-98-1 in BRICS Notes Series, BRICS, Department of Computer Science, University of Aarhus, May 1998."}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-005-7009-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10990-005-7009-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-005-7009-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,2]],"date-time":"2025-01-02T13:12:49Z","timestamp":1735823569000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10990-005-7009-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6]]},"references-count":57,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2005,6]]}},"alternative-id":["7009"],"URL":"https:\/\/doi.org\/10.1007\/s10990-005-7009-2","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"type":"print","value":"1388-3690"},{"type":"electronic","value":"1573-0557"}],"subject":[],"published":{"date-parts":[[2005,6]]}}}