HTML/biblio.htm

   1 <html>\r
   2 <HEAD><TITLE>Bibliography on Loglan'82</TITLE></HEAD>\r
   3 <BODY>\r
   4 <H1>BIBLIOGRAPHY </H1>\r
   5 <H6>Last update: November 24, 1994</H6>\r
   6 <P>\r
   7 \r
   8 Should you like to read on Loglan and its companion Algorithmic Logic, here it is, a short list of more important \r
   9 papers.<P>\r
  10 <H2>LOGLAN'82</H2>\r
  11 <UL>\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
  15 \r
  16 <LI>A.Kreczmar<BR>\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
  21 \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
  26 \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
  31     \r
  32 \r
  33 <LI><H3>Some papers devoted to the problems and challenges of Loglan.</H3>\r
  34 <UL>\r
  35 \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
  39 1983, pp.45-80<P>\r
  40 \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
  46 \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
  52 \r
  53 \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
  58 \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
  63 \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
  68 \r
  69 \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
  73 \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
  76 Problems,</EM><P>\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
  80 \r
  81 <LI>Krause, M.,<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
  85 \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
  89 \r
  90 </UL>\r
  91 \r
  92 <li><H3>Ph.D. theses (in polish!)  related somehow to Loglan project.</H3>\r
  93 <P>\r
  94 <UL>\r
  95 <li>Szalas, A., <BR>\r
  96 <EM>On parallel processes, </EM>1984<P>\r
  97 \r
  98 <li>Gburzynski, P.,<P>\r
  99 <EM>GPR - theorem prover</EM>  1982<P>\r
 100 \r
 101 <li>Petermann, U.,<BR>\r
 102 <EM>On file system and signalling exceptions between processes</EM> 1987<P>\r
 103 \r
 104 <li>Oktaba, H.<P>\r
 105 <EM>On Formalisation of the Notion of Reference  and its Applications in Theory of Data Structures</EM>, 1982<P>\r
 106 \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
 110 \r
 111 <li>Szczepanska-Wasersztrum, D.,<P>\r
 112 <EM>A logical system for reasoning about exceptions</EM>,1990<P>\r
 113 \r
 114 <li>Litwiniuk, A.I.,<P>\r
 115 <EM>Several algorithms for optimisation of code in presence of nesting</EM>, 1988<P>\r
 116 \r
 117 <li>Jankowska-Puchalka B.<BR>\r
 118 <EM>A code genarator generator for an object oriented language</EM>, 1992<P>\r
 119 </UL>\r
 120 </UL>\r
 121 <H2>Algorithmic Logic</H2>\r
 122 <ul>\r
 123 <li>There is a monograph:<P>\r
 124 \r
 125 G.Mirkowska, A.Salwicki, <BR>\r
 126 <EM>Algorithmic Logic</EM>, <BR>\r
 127 D.Reidel &amp  Polish Scientific Publ., Dordrecht &amp  Warszawa, 1987, ISBN 83-01-06859-0<P>\r
 128    the book contains a chapter devoted to certain problems of Loglan.<P>\r
 129 \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
 135 \r
 136 \r
 137 <li><H3>There are many papers discussing the applications of AL in programming.</H3>\r
 138 <P>\r
 139 <ul>\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
 144 \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
 148 \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
 152 \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
 156 \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
 160 \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
 166 \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
 171 \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
 175 </UL>\r
 176 </ul>\r
 177 \r
 178 \r
 179 <H2>Related literature </H2>\r
 180 <ul>\r
 181 <li><H3>on object programming</H3>\r
 182  is immense<P>\r
 183 \r
 184 <I>Let us quote a few books:</I><P>\r
 185 <ul>\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
 189 \r
 190 \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
 194 \r
 195 <li>B. Meyer,<BR>\r
 196 <EM>Object-oriented software construction,</EM><BR><EM>\r
 197 </EM>Prentice Hall, 1988<P>\r
 198 \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
 202 </UL>\r
 203 <li><H3>on logics of programs:</H3>\r
 204 <P>\r
 205 \r
 206 <I>see a survey</I><P>\r
 207 <ul>\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
 212 </UL>\r
 213 </UL>\r
 214 <HR>\r
 215 <A HREF = "hmm?">up</A>\r
 216 <HR>\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
 219 \r
 220 </BODY>\r
 221 </html>\r
 222 \r
 223 \r
 224 \r