Preview
Unable to display preview. Download preview PDF.
References
D. Gelernter and N. Carriero, Coordination Languages and their Significance, Comm. ACM, February 1990.
Seif Haridi and Sverker Janson, Kernel Andora Prolog and its Computation Model, ICLP '91 Proceedings.
D. Harel and A. Pnueli, On the Development of Reactive Systems, In Logics and Models of Concurrent Systems, Ed K. R. Apt, Springer 1985.
Robert Kowalski, Algorithms = Logic + Control, CACM, July 1979.
Ehud Shapiro, The Family of Concurrent Programming Languages, Computing Surveys, September 1989.
Peter Wegner, Object-Oriented Versus Logic Programming, Proc International Conference on Fifth-Generation Computing, Tokyo, June 1992.
Peter Wegner, Dimensions of Object-Oriented Modeling, IEEE Computer, October 1992.
Peter Wegner, Reasoning and Modeling paradigms are Incompatible, Proc Hawaii Conference on System Sciences, January 1993.
Niklaus Wirth, Algorithms + Data Structures = Programs, Prentice-Hall, 1976.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wegner, P. (1993). Reasoning, modeling, and component-based technology. In: Voronkov, A. (eds) Logic Programming and Automated Reasoning. LPAR 1993. Lecture Notes in Computer Science, vol 698. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56944-8_72
Download citation
DOI: https://doi.org/10.1007/3-540-56944-8_72
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56944-2
Online ISBN: 978-3-540-47830-0
eBook Packages: Springer Book Archive