Brian Cantwell Smith
According to our database1, Brian Cantwell Smith authored at least 15 papers between 1973 and 1996.
Legend:Book In proceedings Article PhD thesis Other
Limits of Correctness in Computers.
Proceedings of the Computerization and Controversy, 2nd Ed., 1996
On the origin of objects.
MIT Press, ISBN: 978-0-262-19363-4, 1996
The Owl and the Electric Encyclopedia.
Artif. Intell., 1991
Varieties of Self-Reference.
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986
The limits of correctness.
SIGCAS Computers and Society, 1985
Expert Systems: How Far Can They Go?
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985
Reflection and Semantics in Lisp.
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984
The Implementation of Procedurally Reflective Languages.
LISP and Functional Programming, 1984
Under What Conditions Can a Machine Attribute Meanings to Symbols.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983
Procedural reflection in programming languages.
PhD thesis, 1982
Linguistic and Computational Semantics.
Proceedings of the 20th Annual Meeting of the Association for Computational Linguistics, 1982
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977
Towards a Programming Apprentice.
IEEE Trans. Software Eng., 1975
Behavioral semantics of nonrecursive control structures.
Proceedings of the Programming Symposium, 1974
Actor Induction and Meta-Evaluation.
Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973