|
Beckman L, Haraldsson A, Oskarsson A and Sandewall E.1976, “A partial evaluator, and its use as a programming tool” Artificial Intelligence7319–357. |
|
Emanuelsson P and Haraldsson A, 1980, “On compiling embedded languages in LISP” In: Proceedings Conference on LISP,Stanford, CA. |
|
Emanuelsson P, 1980, Performance Enhancement in a Well-structured Pattern Matcher through Partial Evaluation PhD thesis, Linköping University, Sweden. |
|
Haraldsson A, 1977, A Program Manipulation System Based on Partial Evaluation PhD thesis, Linköping University, Sweden. |
|
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. |
|
Komorowski HJ, 1981, A Specification of an Abstract Prolog Machine and its Application to Partial Evaluation PhD thesis, Linköping University, Sweden. |
|
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. |
|
Komorowski HJ, 1989, “Towards synthesis of programs in a partial deduction framework” In: Workshop on Automating Software Design at IJCAI 1989, Detroit, MI. |
|
Risch T, 1978, Compilation of Multiple File Queries in a Meta-database system PhD thesis, Linköping University, Sweden. |
|
Risch T, 1980, “Production program generation in a flexible data dictionary system” In: Proceedings 6th Conference on Very Large Data Bases. |
|
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. |
|
Sandewall E, 1973, “Conversion of predicate-calculus axioms, viewed as non-deterministic programs, to corresponding deterministic programs” In: International Joint Conference on Artificial Intelligence. |
|
Sandewall E, 1978, “Programming in the interactive environment: The LISP experience” Computing Surveys10(1) 35–71. |
|
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. |
|
Sandewall E, 1983b, Theory of information management systems Technical report, Computer Science Department, Linköping University. |
|
Sandewall E, 1986, “Systems development environments” In: Benson I, editor, Intelligent Machinery: Theory and PracticeCambridge University Press. |
|
Sandewall E, 1988, “Future developments in artificial intelligence” In: European Conference on Artificial Intelligence, pp 707–715, invited paper. |
|
Sussman G and Abelson M, 1985, Structure and Interpretation of Computer Programs, MIT Press. |
|
Teitelman W, 1969, “Toward a programming laboratory” In: International Joint Conference on Artificial Intelligence, pp 1–8. |