Brian Cantwell Smith - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

1996

Limits of Correctness in ComputersBrian Cantwell Smith. In Rob Kling, editor, Computerization and Controversy, 2nd Ed. pages 810-825, Morgan Kaufmann / Elsevier, 1996. [doi]

On the origin of objectsBrian Cantwell Smith. MIT Press, 1996.

1993

Limits of Correctness in ComputersBrian Cantwell Smith. In Timothy R. Colburn, James H. Fetzer, Terry L. Rankin, editors, Program Verification - Fundamental Issues in Computer Science. Volume 14 of Studies in Cognitive Systems, pages 275-293, Springer Netherlands, 1993. [doi]

1991

The Owl and the Electric EncyclopediaBrian Cantwell Smith. ai, 47(1-3):251-288, 1991.

1986

Varieties of Self-ReferenceBrian Cantwell Smith. tark 1986: 19-43

1985

The limits of correctnessBrian Cantwell Smith. sigcas, 14-15(4, 1-3):18-26, 1985. [doi]

Expert Systems: How Far Can They Go?Terry Winograd, Randall Davis, Stuart Dreyfus, Brian Cantwell Smith. IJCAI 1985: 1306

1984

The Implementation of Procedurally Reflective LanguagesJim des Rivières, Brian Cantwell Smith. lfp 1984: 331-347

Reflection and Semantics in LispBrian Cantwell Smith. POPL 1984: 23-35

1983

Under What Conditions Can a Machine Attribute Meanings to SymbolsAaron Sloman, Drew V. McDermott, William A. Woods, Brian Cantwell Smith, Patrick J. Hayes. IJCAI 1983: 44-48

1982

Linguistic and Computational SemanticsBrian Cantwell Smith. acl 1982: 9-15 [doi]

Procedural reflection in programming languagesBrian Cantwell Smith. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, 1982. [doi]

1977

Knowledge RepresentationDaniel G. Bobrow, Gary G. Hendrix, William A. Martin, John L. McCarthy, Allen Newell, Roger C. Schank, Brian Cantwell Smith, N. S. Sridharan. IJCAI 1977: 983-992

1975

Towards a Programming ApprenticeKarl E. Hewitt, Brian Cantwell Smith. TSE, 1(1):26-45, 1975.

1974

Behavioral semantics of nonrecursive control structuresCarl Hewitt, Peter Bishop, Richard Steiger, Irene Greif, Brian Cantwell Smith, Todd Matson, Roger Hale. programm 1974: 385-407

1973

Actor Induction and Meta-EvaluationCarl Hewitt, Peter Bishop, Irene Greif, Brian Cantwell Smith, Todd Matson, Richard Steiger. POPL 1973: 153-168

Sign in or sign up to see more results.

runs on WebDSL