|
Beckman L, Haraldsson A, Oskarsson A and Sandewall E.1976, “A partial evaluator, and its use as a programming tool” Artificial Intelligence7319–357.
Google Scholar
|
|
Emanuelsson P and Haraldsson A, 1980, “On compiling embedded languages in LISP” In: Proceedings Conference on LISP,Stanford, CA.
Google Scholar
|
|
Emanuelsson P, 1980, Performance Enhancement in a Well-structured Pattern Matcher through Partial Evaluation PhD thesis, Linköping University, Sweden.
Google Scholar
|
|
Haraldsson A, 1977, A Program Manipulation System Based on Partial Evaluation PhD thesis, Linköping University, Sweden.
Google Scholar
|
|
Haraldsson A, 1978, “A partial evaluator and its use for compiling iterative statements in LISP” In: Proceedings Fifth Symposium on Principles of Programming LanguagesTucson, AZ.
Google Scholar
|
|
Komorowski HJ, 1981, A Specification of an Abstract Prolog Machine and its Application to Partial Evaluation PhD thesis, Linköping University, Sweden.
Google Scholar
|
|
Komorowski HJ, 1982, “Partial evaluation as a means for inferring data structures in an applicative language: a theory and implementation in the case of prolog” In: Proceedings 9th Annual ACM Symposium on Principles of Programming Languages, Albuquerque, NM.
Google Scholar
|
|
Komorowski HJ, 1989, “Towards synthesis of programs in a partial deduction framework” In: Workshop on Automating Software Design at IJCAI 1989, Detroit, MI.
Google Scholar
|
|
Risch T, 1978, Compilation of Multiple File Queries in a Meta-database system PhD thesis, Linköping University, Sweden.
Google Scholar
|
|
Risch T, 1980, “Production program generation in a flexible data dictionary system” In: Proceedings 6th Conference on Very Large Data Bases.
Google Scholar
|
|
Sandewall E, 1971, “PCDB. a programming tool for management of a predicate calculus oriented data base” In: International Joint Conference on Artificial Intelligence, pp 159–166.
Google Scholar
|
|
Sandewall E, 1973, “Conversion of predicate-calculus axioms, viewed as non-deterministic programs, to corresponding deterministic programs” In: International Joint Conference on Artificial Intelligence.
Google Scholar
|
|
Sandewall E, 1978, “Programming in the interactive environment: The LISP experience” Computing Surveys10(1) 35–71.
Google Scholar
|
|
Sandewall E, 1983a, “Formal specification and implementation of operations in information management systems” In: Heering J and Klint P, editors, Colloquium Programmeeromgevingen, MC SyllabusMathematisch Centrum, Amsterdam.
Google Scholar
|
|
Sandewall E, 1983b, Theory of information management systems Technical report, Computer Science Department, Linköping University.
Google Scholar
|
|
Sandewall E, 1986, “Systems development environments” In: Benson I, editor, Intelligent Machinery: Theory and PracticeCambridge University Press.
Google Scholar
|
|
Sandewall E, 1988, “Future developments in artificial intelligence” In: European Conference on Artificial Intelligence, pp 707–715, invited paper.
Google Scholar
|
|
Sussman G and Abelson M, 1985, Structure and Interpretation of Computer Programs, MIT Press.
Google Scholar
|
|
Teitelman W, 1969, “Toward a programming laboratory” In: International Joint Conference on Artificial Intelligence, pp 1–8.
Google Scholar
|
