root/tags/lgt2212/manuals/bibliography.html

Revision 550, 12.2 KB (checked in by pmoura, 5 years ago)

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