-
1
-
-
27944481514
-
Computational Introspection
-
Laboratory for Artificial Intelligence, Massachusetts Institute of Technology
-
J. Batali. “Computational Introspection”. Technical Report AIM-701, Laboratory for Artificial Intelligence, Massachusetts Institute of Technology, 1982.
-
(1982)
Technical Report AIM-701
-
-
Batali, J.1
-
5
-
-
0017504498
-
Viewing Control Structures as Patterns of Passing Messages
-
C.Hewitt. “Viewing Control Structures as Patterns of Passing Messages”. Journal of Artificial Intelligence, 8(3):323–364, 1987.
-
(1987)
Journal of Artificial Intelligence
, vol.8
, Issue.3
, pp. 323-364
-
-
Hewitt, C.1
-
7
-
-
0005117365
-
Computational Reflection
-
Artificial Intelligence Laboratory, Vrije Universiteit Brussel
-
P. Maes. “Computational Reflection”. Technical Report 87–2, Artificial Intelligence Laboratory, Vrije Universiteit Brussel, 1987.
-
(1987)
Technical Report 87–2
-
-
Maes, P.1
-
8
-
-
84976785515
-
Concepts and Experiments in Computational Reflection
-
P. Maes. “Concepts and Experiments in Computational Reflection”. In OOPSLA ’57 Conference Proceedings, pages 147–155, 1987.
-
(1987)
OOPSLA ’57 Conference Proceedings
, pp. 147-155
-
-
Maes, P.1
-
10
-
-
0003942562
-
Reflection and Semantics in a Procedural Language
-
Massachusetts Institute of Technology
-
B. C. Smith. “Reflection and Semantics in a Procedural Language”. Technical Report TR-272, Laboratory for Computer Science, Massachusetts Institute of Technology, 1982.
-
(1982)
Technical Report TR-272, Laboratory for Computer Science
-
-
Smith, B.C.1
-
12
-
-
84921504909
-
-
Technical Report, Department of Information Science, Tokyo Institute of Technology, March
-
T. Watanabe. “Reflection in Object-Oriented Concurrent Systems”. Technical Report, Department of Information Science, Tokyo Institute of Technology, March 1988.
-
(1988)
Reflection in Object-Oriented Concurrent Systems
-
-
Watanabe, T.1
-
13
-
-
0001733633
-
Prolegomena to a Theory of Mechanized Formal Reasoning
-
R. Weyrauch. “Prolegomena to a Theory of Mechanized Formal Reasoning”. Artificial Intelligence, 13(1,2), 1980.
-
(1980)
Artificial Intelligence
, vol.13
, Issue.1-2
-
-
Weyrauch, R.1
-
15
-
-
0002289918
-
Modeling and Programming in an Object-Oriented Concurrent Language ABCL/l
-
The MIT Press
-
A. Yonezawa, E. Shibayama, T. Takada, and Y. Honda. “Modeling and Programming in an Object-Oriented Concurrent Language ABCL/l”. In A. Yonezawa and M. Tokoro, editors, Object-Oriented Concurrent Programming, pages 55–89, The MIT Press, 1987.
-
(1987)
Object-Oriented Concurrent Programming
, pp. 55-89
-
-
Yonezawa, A.1
Shibayama, E.2
Takada, T.3
Honda, Y.4
|