Advertisement

Towards using the Andorra Kernel Language for industrial real-time applications

  • Bogumil Hausman
Session 9: Parallel Theorem Proving and Logic Programming
Part of the Lecture Notes in Computer Science book series (LNCS, volume 624)

Abstract

We believe that the Andorra Kernel Language (AKL) can be used as a powerful assembly language for industrial real-time applications. In this paper we present how some real-time constraints can be imposed on AKL by embedding in the language all the basic structures of Erlang (a real-time programming language used in a number of experimental telephony applications both within and outside Ericsson).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Armstrong, J. L. and Virding, S. R., Erlang for Concurrent Applications Programming, User Manual, Dept. of Computer Systems, The Royal Institute of Technology (1990).Google Scholar
  2. 2.
    Armstrong, J. L. and Virding, S. R., Programming Telephony, in Strand — New Concepts in Parallel Programming by Foster, I. and Taylor, S., pp. 289–304, Prentice Hall (1990).Google Scholar
  3. 3.
    Bahgat, R., Gregory, S., Pandora: Non-Deterministic Parallel Logic Programming, in Proceedings of the International Conference on Logic Programming 1989, MIT Press (1989).Google Scholar
  4. 4.
    Field, A. and Harrison, P., Functional Programming, Addison-Wesley, pp. 416–420 (1990).Google Scholar
  5. 5.
    Foster, I. and Taylor, S., Strand — New Concepts in Parallel Programming, Prentice Hall (1990).Google Scholar
  6. 6.
    Franzén, T., Logical Aspects of Kernel Andorra, SICS Research Report R91:12, Swedish Institute of Computer Science (1991).Google Scholar
  7. 7.
    Glaser, H.W. and Thompson, P., Lazy Garbage Collection, Software — Practice and Experience, Vol. 17, pp. 1–4 (1985).Google Scholar
  8. 8.
    Haridi, S., A Logic Programming Language Based on the Andorra Model, New Generation Computing, Vol. 7, pp. 109–125 (1990).Google Scholar
  9. 9.
    Haridi, S. and Brand, P., Andorra PROLOG, an Integration of PROLOG and Committed Choice Languages, in Proceedings of International Conference on Fifth Generation Computer Systems 1988, pp. 745–754, ICOT (November 1988).Google Scholar
  10. 10.
    Haridi, S. and Janson, S., Kernel Andorra Prolog and its Computation Model, in Proceedings of the International Conference on Logic Programming 1990, MIT Press (1990).Google Scholar
  11. 11.
    Janson, S. and Haridi, S., Programming Paradigms of the Andorra Kernel Language, in Proceedings of the 1991 International Logic Programming Symposium, MIT Press (1991).Google Scholar
  12. 12.
    Janson, S., Haridi, S., Montelius, J. and Nilsson, M., Ports for Objects in Concurrent Logic Programs, SICS Research Report (Draft), Swedish Institute of Computer Science (March 1992).Google Scholar
  13. 13.
    Shapiro, E. and Takeuchi, A., Object-oriented Programming in Concurrent Prolog, Journal of New Generation Computing, Vol. 1, pp. 25–49 (1983).Google Scholar
  14. 14.
    Yang, R., Solving Simple Substitution Ciphers in Andorra-I, in Proceedings of the 6th International Conference on Logic Programming, Lisbon, Portugal, pp. 113–128 (June 1989).Google Scholar
  15. 15.
    Warren, D.H.D., The Andorra Principle, presented at the Gigalips workshop, Stockholm (1987).Google Scholar
  16. 16.
    Warren, D.H.D., The Extended Andorra Model with Implicit Control, presented at a Parallel Logic Programming workshop in Eliat (June 1990).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Bogumil Hausman
    • 1
  1. 1.Computer Science LaboratoryEllemtel Telecommunications Systems LaboratoriesÄlvsjöSweden

Personalised recommendations