Brian Cantwell Smith

16 papers A* 6B 1Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
1996 — ch.
Limits of Correctness in Computers.
Computerization and Controversy, 2nd Ed.
Brian Cantwell Smith
1996 — book
On the origin of objects.
Brian Cantwell Smith
1993 — ch.
Limits of Correctness in Computers.
Program Verification
Brian Cantwell Smith
1991 J jnl
The Owl and the Electric Encyclopedia.
Artif. Intell.
Brian Cantwell Smith
1986 B conf
Varieties of Self-Reference.
TARK
Brian Cantwell Smith
1985 A* conf
Expert Systems: How Far Can They Go?
IJCAI
Terry Winograd, Randall Davis, Stuart Dreyfus, Brian Cantwell Smith
1985 J jnl
The limits of correctness.
SIGCAS Comput. Soc.
Brian Cantwell Smith
1984 A* conf
Reflection and Semantics in Lisp.
POPL
Brian Cantwell Smith
1984 — conf
The Implementation of Procedurally Reflective Languages.
LISP and Functional Programming
Jim des Rivières, Brian Cantwell Smith
1983 A* conf
Under What Conditions Can a Machine Attribute Meanings to Symbols.
IJCAI
Aaron Sloman, Drew V. McDermott, William A. Woods, Brian Cantwell Smith, Patrick J. Hayes
1982 A* conf
Linguistic and Computational Semantics.
ACL
Brian Cantwell Smith
1982 — —
Procedural reflection in programming languages.
Brian Cantwell Smith
1977 A* conf
Knowledge Representation.
IJCAI
Daniel G. Bobrow, Gary G. Hendrix, William A. Martin, John McCarthy, Allen Newell, Roger C. Schank, Brian Cantwell Smith, N. S. Sridharan
1975 J jnl
Towards a Programming Apprentice.
IEEE Trans. Software Eng.
Karl E. Hewitt, Brian Cantwell Smith
1974 — conf
Behavioral semantics of nonrecursive control structures.
Symposium on Programming
Carl Hewitt, Peter Boehler Bishop, Richard Steiger, Irene Greif, Brian Cantwell Smith, Todd Matson, Roger Hale
1973 A* conf
Actor Induction and Meta-Evaluation.
POPL
Carl Hewitt, Peter Boehler Bishop, Irene Greif, Brian Cantwell Smith, Todd Matson, Richard Steiger