root/tags/lgt290/manuals/bibliography.html

Revision 2, 11.3 KB (checked in by pmoura, 7 years ago)

Initial revision
  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
Line 
1<!doctype html public "-//W3C//DTD HTML 4.01//EN"
2    "http://www.w3.org/TR/html4/strict.dtd">
3
4<html>
5
6<head>
7    <title>Logtalk Bibliography</title>
8    <link rel=stylesheet href="styles.css" type="text/css">
9</head>
10
11<body>
12
13<hr />
14<h1><a class="back" title="Return to index" href="index.html#bibliography">Bibliography</a></h1>
15<hr />
16
17<dl>
18
19<dt><a name="Alexiev93"><strong>[Alexiev 93]</strong></a></dt>
20    <dd><CITE>Mutable Object State for Object-Oriented Logic Programming: A Survey</CITE></dd>
21    <dd>Alexiev, V.</dd>
22    <dd>Technical Report TR 93-15, Department of Computing Science, University of Alberta, Canada</dd>
23
24<dt><a name="Belli92"><strong>[Belli et al. 92]</strong></a> </dt>
25    <dd><CITE>Object-oriented programming in Prolog: rationale and a case study</CITE></dd>
26    <dd>Belli, F., Jack, O., Naish, L.</dd>
27    <dd>Technical Report 92/2, Department of Electrical and Electronics Engineering, University of Paderborn, Germany</dd>
28    <dd>URL: <a href="http://www.cs.mu.oz.au/~lee/papers/oolp/">http://www.cs.mu.oz.au/~lee/papers/oolp/</a></dd>
29
30<dt><a name="Block89"><strong>[Block 89]</strong></a></dt>
31    <dd><CITE>An Extended Frame Language</CITE></dd>
32    <dd>Block, F. P., Chan, N. C.</dd>
33    <dd>Proceedings OOPLSLA 89(10):151-157, ACM</dd>
34
35<dt><a name="Bobrow88"><strong>[Bobrow et al. 88]</strong></a></dt>
36    <dd><CITE>Common Lisp Object System Specification</CITE></dd>
37    <dd>Bobrow, D. G., Michiel, L. G., Gabriel, R. P., Keene, S. E., Kiczales, G., Moon, D. A.</dd>
38    <dd>ACM SIGPLAN Notices(23)</dd>
39
40<dt><a name="Bratko90"><strong>[Bratko 90]</strong></a></dt>
41    <dd><CITE>Prolog Programming for Artificial Intelligence</CITE></dd>
42    <dd>Bratko, I.</dd>
43    <dd>Addison Wesley, 2&ordm; edition, 1990</dd>
44
45<dt><a name="Champaux92"><strong>[Champaux 92]</strong></a></dt>
46    <dd><CITE>A comparative Study of Object-Oriented Analysis Methods</CITE></dd>
47    <dd>Champaux, D., Faure, P.</dd>
48    <dd>Journal of Object-Oriented Programming, Vol. 5, N.1, 1992</dd>
49
50<dt><a name="Clocksin87"><strong>[Clocksin 87]</strong></a></dt>
51    <dd><CITE>Programming in Prolog</CITE></dd>
52    <dd>Clocksin, W.F., Mellish, C.S.</dd>
53    <dd>Springer-Verlag, New York, 1987</dd>
54
55<dt><a name="Cointe87"><strong>[Cointe 87]</strong></a></dt>
56    <dd><CITE>Metaclasses are First Class: the ObjVlisp Model</CITE></dd>
57    <dd>Cointe, P.</dd>
58    <dd>Proceedings OOPLSLA 87(10):156-167, ACM</dd>
59
60<dt><a name="Cordes91"><strong>[Cordes 91]</strong></a></dt>
61    <dd><CITE>The Literate Programming Paradigm</CITE></dd>
62    <dd>Cordes, D., Brown, M.</dd>
63    <dd>IEEE Computer, June 1991:52-61</dd>
64
65<dt><a name="Covington94"><strong>[Covington 94]</strong></a></dt>
66    <dd><CITE>ISO Prolog: A Summary of the Draft Proposed Standard</CITE></dd>
67    <dd>Covington, M. A.</dd>
68    <dd>URL: <a href="ftp://ai.uga.edu/pub/prolog.standard/">ftp://ai.uga.edu/pub/prolog.standard/</a></dd>
69
70<dt><a name="Cox86"><strong>[Cox 86]</strong></a></dt>
71    <dd><CITE>Object-Oriented Programming: An Evolutionary Approach</CITE></dd>
72    <dd>Cox, Brad J.</dd>
73    <dd>Addison-Wesley Publishing Company, Don Mills, Ontario</dd>
74
75<dt><a name="Davison89"><strong>[Davison 89]</strong></a></dt>
76    <dd><CITE>Polka: A Parlog Object oriented language</CITE></dd>
77    <dd>Davison, A.</dd>
78    <dd>Ph.D. Thesis, Imperial College, London, 1989</dd>
79
80<dt><a name="Davison92"><strong>[Davison 92]</strong></a></dt>
81    <dd><CITE>A survey of logic programming-based object oriented languages</CITE></dd>
82    <dd>Davison, A.</dd>
83    <dd>Tech Report 92/3, Dept. of Computer Science, University of Melbourne, Australia</dd>
84    <dd>URL: <a href="http://www.cs.mu.oz.au/tr_db/mu_92_03.ps.gz">http://www.cs.mu.oz.au/tr_db/mu_92_03.ps.gz</a></dd>
85
86<dt><a name="Davison93"><strong>[Davison 93]</strong></a></dt>
87    <dd><CITE>The deductive and object oriented features of BeBOP</CITE></dd>
88    <dd>Davison, A.</dd>
89    <dd>Tech Report 93/6, Dept. of Computer Science, University of Melbourne, Australia</dd>
90    <dd>URL:<a href="http://www.cs.mu.oz.au/tr_db/mu_93_06.ps.gz">http://www.cs.mu.oz.au/tr_db/mu_93_06.ps.gz</a></dd>
91
92<dt><a name="Delzanno97"><strong>[Delzanno 97]</strong></a></dt>
93    <dd><CITE>Logic and Object-Oriented Programming in Linear Logic</CITE></dd>
94    <dd>Delzanno, G.</dd>
95    <dd>Ph.D. Thesis, University of Pisa, Italy</dd>
96    <dd>URL:<a href="http://www.mpi-sb.mpg.de/~delzanno/">http://www.mpi-sb.mpg.de/~delzanno/</a></dd>
97
98<dt><a name="Dony90"><strong>[Dony 90]</strong></a></dt>
99    <dd><CITE>Exception Handling and Object-Oriented Programming: Towards a Synthesis</CITE></dd>
100    <dd>Dony, C.</dd>
101    <dd>Proceedings OOPLSLA 90:322-330, ACM</dd>
102
103<dt><a name="Fornarino89"><strong>[Fornarino et al. 89]</strong></a></dt>
104    <dd><CITE>An Original Object-Oriented Approach for Relation Management</CITE></dd>
105    <dd>Fornarino, M., Pinna, A.-M.,Trousse, B.</dd>
106    <dd>Proceedings of the 4th Portuguese Conference on Artificial Intelligence</dd>
107    <dd>Lecture Notes in Artificial Intelligence, Springer-Verlag (390):13-26</dd>
108
109<dt><a name="Fromherz93"><strong>[Fromherz 93]</strong></a></dt>
110    <dd><CITE>OL(P): Object Layer for Prolog</CITE></dd>
111    <dd>Fromherz, M.</dd>
112    <dd>URL: <a href="ftp://parcftp.xerox.com/ftp/pub/ol/">ftp://parcftp.xerox.com/ftp/pub/ol/</a></dd>
113
114<dt><a name="Fukunaga86"><strong>[Fukunaga 86]</strong></a></dt>
115    <dd><CITE>An Experience with a Prolog-based Object-Oriented Language</CITE></dd>
116    <dd>Fukunaga, K., Hirose, S.</dd>
117    <dd>Proceedings OOPLSLA 86, 21(11):224-231, ACM</dd>
118
119<dt><a name="Goldberg83"><strong>[Goldberg 83]</strong></a></dt>
120    <dd>Smalltalk-80 The language and its implementation</dd>
121    <dd>Goldberg, A., Robson, D.</dd>
122    <dd>Addison-Wesley Series in Computer Science</dd>
123
124<dt><a name="Joy00"><strong>[Joy et al. 00]</strong></a></dt>
125    <dd><CITE>The Java Language Specification, Second Edition</CITE></dd>
126    <dd>Joy, B., Steele, G., Gosling, J., Bracha, G.</dd>
127    <dd>Addison-Wesley, 2000</dd>
128
129<dt><a name="ISO95"><strong>[ISO 95]</strong></a></dt>
130    <dd><CITE>ISO/IEC DIS 13211-1 - Programming Language Prolog Part 1: General Core</CITE></dd>
131    <dd>Joint Technical Committee ISO/IEC JTC 1</dd>
132    <dd>URL: <a href="http://www.iso.ch/cate/d21413.html">http://www.iso.ch/cate/d21413.html</a></dd>
133
134<dt><a name="Knuth84"><strong>[Knuth 84]</strong></a></dt>
135    <dd><CITE>Literate Programming</CITE></dd>
136    <dd>Knuth, D. E.</dd>
137    <dd>Computer Journal, May 84, 27(2):97-111</dd>
138
139<dt><a name="Lieberman86"><strong>[Lieberman 86]</strong></a></dt>
140    <dd><CITE>Using Prototypical Objects to Implement Shared Behaviour in Object Oriented Systems</CITE></dd>
141    <dd>Lieberman, H.</dd>
142    <dd>Proceedings OOPLSLA 86:189-214, ACM</dd>
143
144<dt><a name="Maes87"><strong>[Maes 87]</strong></a></dt>
145    <dd><CITE>Concepts and Experiments in Computational Reflection</CITE></dd>
146    <dd>Maes, P.</dd>
147    <dd>Proceedings OOPLSLA 87, ACM</dd>
148
149<dt><a name="McCabe92"><strong>[McCabe 92]</strong></a></dt>
150    <dd><CITE>Logic and Objects</CITE></dd>
151    <dd>McCabe, F. G.</dd>
152    <dd>Prentice Hall Series in Computer Science</dd>
153
154<dt><a name="Moon86"><strong>[Moon 86]</strong></a></dt>
155    <dd><CITE>Object-Oriented Programming in Flavors</CITE></dd>
156    <dd>Moon, D.</dd>
157    <dd>Proceedings OOPLSLA 86:1-8, ACM</dd>
158
159<dt><a name="Moss94"><strong>[Moss 94]</strong></a></dt>
160    <dd><CITE>Prolog++ The Power of Object-Oriented and Logic Programming</CITE></dd>
161    <dd>Moss, C.</dd>
162    <dd>Addison-Wesley International Series in Logic Programming, 1994</dd>
163
164<dt><a name="Moura94"><strong>[Moura 94]</strong></a></dt>
165    <dd><CITE>Logtalk: Programa&ccedil;&atilde;o Orientada para Objectos em Prolog</CITE></dd>
166    <dd>Moura, P., Costa, E.</dd>
167    <dd>2&ordf; Confer&ecirc;ncia e Exposi&ccedil;&atilde;o Portuguesa de Tecnologia Orientada por Objectos</dd>
168    <dd>3i Consultores, Liboa</dd>
169
170<dt><a name="Moura99"><strong>[Moura 99]</strong></a></dt>
171    <dd><CITE>Porting Prolog: Notes on porting a Prolog program to 22 Prolog compilers or the relevance of the ISO Prolog standard</CITE></dd>
172    <dd>Moura, P.</dd>
173    <dd>ALP Newsletter, Vol. 12/2, May 1999</dd>
174
175<dt><a name="Moura00"><strong>[Moura 00]</strong></a></dt>
176    <dd><CITE>Logtalk 2.6 Documentation</CITE></dd>
177    <dd>Moura, P.</dd>
178    <dd>Technical Report DMI 2000/1</dd>
179    <dd>University of Beira Interior, Portugal</dd>
180
181<dt><a name="Razek92"><strong>[Razek 92]</strong></a></dt>
182    <dd><CITE>Combining Objects and Relations</CITE></dd>
183    <dd>Razek, G.</dd>
184    <dd>Comunications of the ACM, 27(12):66-70</dd>
185
186<dt><a name="Rumbaugh87"><strong>[Rumbaugh 87]</strong></a></dt>
187    <dd><CITE>Relations as Semantic Constructs in an Object-Oriented Language</CITE></dd>
188    <dd>Rumbaugh, J.</dd>
189    <dd>Proceedings OOPLSLA 87:466-481, ACM</dd>
190
191<dt><a name="Rumbaugh88"><strong>[Rumbaugh 88]</strong></a></dt>
192    <dd><CITE>Controlling Propagation of Operations using Attributes on Relations</CITE></dd>
193    <dd>Rumbaugh, J.</dd>
194    <dd>Proceedings OOPLSLA 88:285-296, ACM</dd>
195
196<dt><a name="Schachte95"><strong>[Schachte 95]</strong></a></dt>
197    <dd><CITE>Efficient Object-Oriented Programming in Prolog</CITE></dd>
198    <dd>Schachte, P., Saab, G.</dd>
199    <dd>Logic Programming: Formal Methods and Pratical Applications</dd>
200    <dd>Studies in Computer Science and Artificial Intelligence, 11</dd>
201    <dd>Elsevier Science B.V. North-Holland, Amsterdam, 1995</dd>
202
203<dt><a name="SICStus95"><strong>[SICStus 95]</strong></a></dt>
204    <dd><CITE>SICStus Prolog Manual</CITE></dd>
205    <dd>SICStus</dd>
206    <dd>URL: <a href="http://www.sics.se/ps/sicstus.html">http://www.sics.se/ps/sicstus.html</a></dd>
207
208<dt><a name="Shan93"><strong>[Shan et al. 93]</strong></a></dt>
209    <dd><CITE>Is Multiple Inheritance Essential to OOP? (Panel)</CITE></dd>
210    <dd>Shan, Y., Cargill, T., Cox, B., Cook, W., Loomis, M., Snyder, A.</dd>
211    <dd>Proceedings OOPLSLA 93:360-363</dd>
212
213<dt><a name="Stefik86"><strong>[Stefik et al. 86]</strong></a></dt>
214    <dd><CITE>Integrating Acess-Oriented Programming into a Multiparadigm Environment</CITE></dd>
215    <dd>Stefik, M. J., Bobrow, D. G. , Kahn, K. M.</dd>
216    <dd>IEEE Software, January 1986:10-18</dd>
217
218<dt><a name="Stroustrup86"><strong>[Stroustrup 86]</strong></a></dt>
219    <dd><CITE>The C++ Programming Language</CITE></dd>
220    <dd>Stroustrup, B.</dd>
221    <dd>Addison-Wesley Series in Computer Science</dd>
222
223<dt><a name="Taenzer89"><strong>[Taenzer 89]</strong></a></dt>
224    <dd><CITE>Problems in Object-Oriented Software Reuse</CITE></dd>
225    <dd>Taenzer, D., Ganti, M., Podar, S.</dd>
226    <dd>Proceedings of ECOOP 89</dd>
227    <dd>British Computer Society Workshop Series, Cambridge University Press</dd>
228
229<dt><a name="Tanzer95"><strong>[Tanzer 95]</strong></a></dt>
230    <dd><CITE>Remarks on Object-Oriented Modeling of Associations</CITE></dd>
231    <dd>Tanzer, C.</dd>
232    <dd>Journal of Object-Oriented Programming, February 1995, SIGS Publications</dd>
233
234<dt><a name="Tanenbaum87"><strong>[Tanenbaum 87]</strong></a></dt>
235    <dd><CITE>Operating Systems - Design and Implementation</CITE></dd>
236    <dd>Tanenbaum, A.</dd>
237    <dd>Prentice-Hall Software Series, 1987</dd>
238
239<dt><a name="Welsch89"><strong>[Welsch 89]</strong></a></dt>
240    <dd><CITE>Reasoning Objects with Dynamic Knowledge Bases</CITE></dd>
241    <dd>Welsch, C., Barth, G.</dd>
242    <dd>Proceedings of the 4th Portuguese Conference on Artificial Intelligence(390):257-268</dd>
243    <dd>Lecture Notes in Artificial Intelligence, Springer-Verlag, 1989</dd>
244
245</dl>
246
247<hr />
248<p>
249More references can be found in the <a href="http://www.ci.uc.pt/oolpr/oolpr.html">Object-Oriented Logic Programming Resources</a> web page.
250</p>
251<hr />
252<p class="center">
253<strong><a href="userman/index.html">User manual</a> | <a href="refman/index.html">Reference manual</a> | <a href="glossary.html">Glossary</a></strong>
254</p>
255<p class="center">
256Last updated on: February 10, 2001
257</p>
258<hr />
259
260</body>
261
262</html>
Note: See TracBrowser for help on using the browser.