Research Paper About Computers

Only available on StudyMode
  • Download(s) : 482
  • Published : May 14, 2013
Open Document
Text Preview
Research Papers in Computer Science
¨ Egon Borger

1

Research Papers in Computer Science
1. B¨rger E., A logical operational semantics for full Prolog. Part I: o Selection core and control. in: CSL’89. 3rd Workshop on Computer Science Logic (E.B¨rger, H.Kleine o B¨ning, M.M. Richter, Eds). Springer LNCS, vol. 440, 1990, pp. 36-64. u = IBM Germany IWBS Report 111, March 1990. Reprinted in: Proceedings of The 3rd Logic Programming Winter School and Seminar. LOP’91, Ruprechtov, Czechoslovakia, pp.65-94. 2. B¨rger E., A logical operational semantics for full Prolog. Part II: o Built-in predicates for database manipulations. in: MFCS’90. Mathematical Foundations of Computer Science (B.Rovan, Ed.). Springer LNCS, vol. 452, 1990, pp 1-14. = IBM Germany IWBS Report 115, April 1990. Reprinted in: E.B¨rger, K.D¨ssler (eds.): PROLOG. DIN papers for discuso a sion. ISO/IEC JTC1 SC22 WG17 report no.58, National Physical Laboratory, Middlesex, April 1990, pp.92-114. 3. B¨rger E., A logical operational semantics for full Prolog. Part III: o Built-in predicates for files, terms, arithmetic and input-output. in: Logic from Computer Science (Y.Moschovakis, Ed.). Berkeley Mathematical Sciences Research Institute Publications, vol.21, Springer 1992, pp. 17-50. Preliminary version: IBM Germany IWBS Report 115, April 1990. 4. B¨rger E., Rosenzweig D., From Prolog Algebras towards WAM—A o Mathematical Study of Implementation. in: Computer Science Logic (E.B¨rger, H.Kleine B¨ning, M.M. Richter, W.Sch¨no u o feld, Eds). Springer LNCS vol. 533, 1991, pp. 31-66. 5. B¨rger E., Schmitt P., A formal operational semantics for languages of o type Prolog III. in: Computer Science Logic (E.B¨rger, H.Kleine B¨ning, M.M. Richter, W.Sch¨no u o feld, Eds). Springer LNCS 533, 1991, pp. 67-79. Preliminary version: IBM Germany, IWBS Report 144, November 1990, pp.127. 1

6. B¨rger E., Rosenzweig D., WAM Algebras—A Mathematical Study of o Implementation. Part II. in: Logic Programming (A.Voronkov, Ed.). Springer LNCS 592, 1992, pp. 3554. Preliminary version: Technical Report CSE-TR-88-91, Computer Science and Engineering Division, Department of Electrical Engineering and Computer Science, University of Michigan/Ann Arbor, April 1991, pp.21. 7. B¨rger E., Demoen B., A Framework to Specify Database Update Views o for Prolog. in: PLILP’91. Third International Symposium on Programming Languages Implementation and Logic Programming (J.Maluszynski, M.Wirsing, Eds.). Springer LNCS 528, 1991, pp. 147-158. Preliminary version The view on database updates in Standard Prolog: a proposal and a rationale in: ISO/IEC JTC1 SC22 WG17 Prolog Standardization Report no.74, February 1991, pp. 3-10 8. B¨rger E., Rosenzweig D., An Analysis of Prolog Database Views and o Their Uniform Implementation. in: Prolog. Paris Papers–2. ISO/IEC JTC1 SC22 WG17 Prolog Standardization Report no.80, July 1991, pp. 87-130. = Technical Report CSE-TR-89-91, Computer Science and Engineering Division, Department of Electrical engineering and Computer Science, University of Michigan/Ann Arbor, April 1991, pp.44. 9. B¨rger E., Rosenzweig D., Prolog Tree Algebras. A formal specification o of Prolog. in: Proceedings of the Third International Conference on Information Technology Interfaces (V.Ceric, V.Dobric, V.Luzar, R.Paul, eds.), SRCE, Zagreb 1991, pp.513-518 cf. A natural formalization of full Prolog. in: Newsletter of the Association for Logic Programming, Short Communications, vol.5/1, February 1992, pg.8-9 10. B¨rger E., Riccobene E., Logical Operational Semantics of Parlog. Part o I: And-Parallelism in: Processing Declarative Knowledge (H.Boley, M.M. Richter, Eds.). Springer LNCS, vol. 567, 1992, pp.191-198. 11. B¨rger E., Riccobene E., Logical Operational Semantics of Parlog. Part o II: Or-Parallelism in: Logic Programming(A.Voronkov, Ed.), Springer LNCS, vol. 592, 1992, pp.27-34. 12. Beierle C., B¨rger E., Correctness proof for the WAM with types. o in: Computer Science Logic 1992 (E.B¨rger,...
tracking img