2 <HEAD><TITLE>Bibliography on Loglan'82</TITLE></HEAD>
\r
4 <H1>BIBLIOGRAPHY </H1>
\r
5 <H6>Last update: November 24, 1994</H6>
\r
8 Should you like to read on Loglan and its companion Algorithmic Logic, here it is, a short list of more important
\r
12 <LI>Bartol,W.M., et al.<BR>
\r
13 <EM>Report on the Loglan 82 programming Language,</EM><BR><EM>
\r
14 </EM>Warszawa-Lodz, PWN, 1984<P>
\r
17 <EM>A micro-manual of the programming language LOGLAN-82,</EM><BR>
\r
18 Institute of Informatics, University of Warsaw, 1984<P>
\r
19 (there exists a french translation of the above manual)
\r
20 (both texts are distributed together with this package)<P>
\r
22 <LI>A.Kreczmar, A.Salwicki, M. Warpechowski, <BR>
\r
23 <EM>Loglan'88 - Report on the Programming Language,</EM><P>
\r
24 Lecture Notes on Computer Science vol. 414, Springer Vlg, 1990,
\r
25 ISBN 3-540-52325-1<P>
\r
27 <LI> <STRONG>do you read polish? there exists a good manual of Loglan!</STRONG> <P>
\r
28 A.Szalas, J.Warpechowska,<BR>
\r
29 <EM>LOGLAN, </EM><BR><EM>
\r
30 </EM>Wydawnictwa Naukowo-Techniczne, Warszawa, 1991 ISBN 82-204-1295-1 <P>
\r
33 <LI><H3>Some papers devoted to the problems and challenges of Loglan.</H3>
\r
36 <LI>Bartol,W.M., Kreczmar, A., Litwiniuk, A., Oktaba, H.,<P>
\r
37 <EM>Semantic and Implementation of Prefixing at Many Levels, </EM><P>
\r
38 in Lecture Notes in Computer Science vol.148, Springer Verlag, Berlin,
\r
41 <LI>Krause,M., Kreczmar, A., Langmaack, H., Salwicki,A.,
\r
42 <EM>Specification and Implementation Problems of Programming Languaages
\r
43 Proper for Hierarchical Data Types,</EM><P>
\r
44 Report 8410 of Institut fuer Informatik und Praktische Mathematik
\r
45 Christian-Albrechts-Universitaet Kiel, 1984, pp.1-68<P>
\r
47 <LI>Kreczmar,A., Salwicki,A.,<P>
\r
48 <EM>Concatenable Type Declarations, Their Application and Implementation</EM><P>
\r
49 in: Programming Languages and System Design, in Programming, Languages and System Design Proc. IFIP TC2
\r
50 Conference (J.Bormann ed.) Dresden, 1983
\r
51 North Holland, Amsterdam, 1983, pp.29-41<P>
\r
54 <LI>Cioni, G., Kreczmar, A.,
\r
55 <EM>Modules in high level programming languages</EM>
\r
56 in: Advanced Programming Methodologies (G.Cioni, A.Salwicki eds.)
\r
57 Academic Press, London, 1989, 247-340<P>
\r
59 <LI>Kreczmar, A.,<P>
\r
60 <EM>On inheritance Rule in Object Oriented Programming</EM>
\r
61 in: Advanced Programming Methodologies
\r
62 Academic Press, London, 1989, pp. 141-164
\r
64 <LI>Cioni,G., Kreczmar,A., Vitale, R.,<P>
\r
65 <EM>Storage Management</EM><P>
\r
66 in: Advanced Programming Methodologies
\r
67 Academic Press, London, 1989, pp.341-366
\r
70 <LI>Cioni, G., Kreczmar, A.,<P>
\r
71 <EM>Programmed deallocation without Dangling References,</EM><P>
\r
72 IPL, vol. 18 1984, pp. 179-185
\r
74 <LI>Krause, M., Kreczmar, A., Langmaack, H., Warpechowski, M.,<P>
\r
75 <EM>Concatenation of program modules, an Algebraic Approach to the Semantic and Implementation
\r
77 in: Proc. Computation Theory, LNCS 208, Springer Vlg, Berlin, 1986, pp. 134-156
\r
78 full text in: Report 8701 of Institut fuer Informatik und Praktische Mathematik
\r
79 Christian-Albrechts-Universitaet Kiel, 1987, pp.1-48<P>
\r
82 <EM>Die Korrektheit einer Implementation der Modulpraefigerung mit reiner Static Scope Semantik,</EM><P>
\r
83 Report 8616 of Institut fuer Informatik und Praktische Mathematik<P>
\r
84 Christian-Albrechts-Universitaet Kiel, 1986, pp.1-139<P>
\r
86 <LI>Langmaack, H.,<P>
\r
87 <EM>On static Semantic of Prefixing</EM> (=inheritance),<P>
\r
88 Talk delivered during the Summer School on Loglan'82, Zaborow, September 1983<P>
\r
92 <li><H3>Ph.D. theses (in polish!) related somehow to Loglan project.</H3>
\r
95 <li>Szalas, A., <BR>
\r
96 <EM>On parallel processes, </EM>1984<P>
\r
98 <li>Gburzynski, P.,<P>
\r
99 <EM>GPR - theorem prover</EM> 1982<P>
\r
101 <li>Petermann, U.,<BR>
\r
102 <EM>On file system and signalling exceptions between processes</EM> 1987<P>
\r
105 <EM>On Formalisation of the Notion of Reference and its Applications in Theory of Data Structures</EM>, 1982<P>
\r
107 <li>Bartol, W.M., <P>
\r
108 <EM>Application of Static Structure of Type Declarations and the System of Dynamic Configurations in a Definition
\r
109 of Semantics of a Universal Programming Language</EM> 1981<P>
\r
111 <li>Szczepanska-Wasersztrum, D.,<P>
\r
112 <EM>A logical system for reasoning about exceptions</EM>,1990<P>
\r
114 <li>Litwiniuk, A.I.,<P>
\r
115 <EM>Several algorithms for optimisation of code in presence of nesting</EM>, 1988<P>
\r
117 <li>Jankowska-Puchalka B.<BR>
\r
118 <EM>A code genarator generator for an object oriented language</EM>, 1992<P>
\r
121 <H2>Algorithmic Logic</H2>
\r
123 <li>There is a monograph:<P>
\r
125 G.Mirkowska, A.Salwicki, <BR>
\r
126 <EM>Algorithmic Logic</EM>, <BR>
\r
127 D.Reidel & Polish Scientific Publ., Dordrecht & Warszawa, 1987, ISBN 83-01-06859-0<P>
\r
128 the book contains a chapter devoted to certain problems of Loglan.<P>
\r
130 <li>A new book on AL appeared in polish<BR>
\r
131 G.Mirkowska, A.Salwicki, <BR>
\r
132 <EM>Logika algorytmiczna dla programistow,</EM><BR><EM>
\r
133 </EM>Wydawnictwa Naukowo-Techniczne, Warszawa, 1993 (ISBN 83-204-1296-X). <P>
\r
134 An english version in preparation.<P>
\r
137 <li><H3>There are many papers discussing the applications of AL in programming.</H3>
\r
140 <li>Salwicki, A.,<P>
\r
141 <EM>Development of Software from Algorithmic Specifications</EM><P>
\r
142 in: Advanced Programming Methodologies
\r
143 Academic Press, London, 1989, pp.1-40<P>
\r
145 <li>Salwicki, A.,<P>
\r
146 <EM>On algorithmic theory of Stacks,</EM><P>
\r
147 in Proc. MFCS'78 (J.Winnkowski ed.), LNCS 63, Springer Berlin 1978, pp.<P>
\r
149 <li>Salwicki, A.,<P>
\r
150 <EM>On algorithmic theory of dictionaries,</EM><P>
\r
151 Proc. Logic of Programs (E.Engeler ed.), LNCS 125, Springer, Berlin 1981 pp.145-168<P>
\r
153 <li>Müldner, T., Salwicki, A.,<P>
\r
154 <EM>On algorithmic Properties of Concurrent Programs,</EM><P>
\r
155 in: Proc. Logic of Programs (E.Engeler ed.), LNCS 125, Springer, Berlin 1981 pp.170-193<P>
\r
157 <li>Mirkowska,G., Salwicki, A.,<P>
\r
158 <EM>On applications of Algorithmic Logic,</EM><P>
\r
159 in: Proc. CAAP'86 (P. Franchi-Zanetacci ed.) Springer, 1986 pp.288-306<P>
\r
161 <li>Mirkowska,G., Salwicki, A.,<P>
\r
162 <EM>Axiomatic definability of programming language semantics,</EM><P>
\r
163 in: Proc. IFIP Working Conf on Formal Description of Programming Concepts
\r
164 Ebberup 1986 (M. Wirsing ed.)
\r
165 North Holland, Amsterdam, 1986, pp1-15<P>
\r
167 <li>Mirkowska,G., Salwicki, A.,<P>
\r
168 <EM>On Axiomatic Definition of Max-model of concurrency,</EM><P>
\r
169 in Proc. Advanced School on Mathematical Models of Parallelism Rome 1986
\r
170 (M. Venturini-Zilli ed.) LNCS Springer Berlin<P>
\r
172 <li>Salwicki, A.,<P>
\r
173 <EM>Algorithmic Theories of Data Structures,</EM><P>
\r
174 in Proc. ICALP'82 (M.Nilsen, E.Schmidt eds.) LNCS 140 Springer, Berlin, 1982, pp. 458-472
\r
179 <H2>Related literature </H2>
\r
181 <li><H3>on object programming</H3>
\r
184 <I>Let us quote a few books:</I><P>
\r
186 <li>E. Horowitz, <BR>
\r
187 <EM>Fundamentals of Programming Languages, </EM><BR><EM>
\r
188 </EM>Springer, New York, 1983<P>
\r
191 <li>O.-J. Dahl, B. Myhrhaug, K. Nygaard, <BR>
\r
192 <EM>Simula 67 Common Base Language, </EM><BR><EM>
\r
193 </EM>Norwegian Computing Center, Oslo, 1970 <BR> the mother of object languages!!<P>
\r
196 <EM>Object-oriented software construction,</EM><BR><EM>
\r
197 </EM>Prentice Hall, 1988<P>
\r
199 <li>B. Stroustrup <BR>
\r
200 <EM>The C++ Programming Language, </EM><BR><EM>
\r
201 </EM>Addison-Wesley, Reading, Mass., 1991<P>
\r
203 <li><H3>on logics of programs:</H3>
\r
206 <I>see a survey</I><P>
\r
208 <li>D. Kozen, J. Tiuryn<BR>
\r
209 Logics of Programs,<BR>
\r
210 in: Handbook of Theoretical Computer Science, vol.B, Formal Models and Semantics
\r
211 Elsevier, Amsterdam, 1990, pp. 789-998<P>
\r
215 <A HREF = "hmm?">up</A>
\r
217 <ADDRESS><A HREF = "http://www.univ-pau.fr/~salwicki/GMyAS.html">GMyAS</A>
\r
218 Last update Wed 10 May 1995</ADDRESS>
\r