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).
Part of the work was done while the author was employed at the Swedish Institute of Computer Science
A company jointly owned by Ericsson and the Swedish PTT
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Armstrong, J. L. and Virding, S. R., Erlang for Concurrent Applications Programming, User Manual, Dept. of Computer Systems, The Royal Institute of Technology (1990).
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).
Bahgat, R., Gregory, S., Pandora: Non-Deterministic Parallel Logic Programming, in Proceedings of the International Conference on Logic Programming 1989, MIT Press (1989).
Field, A. and Harrison, P., Functional Programming, Addison-Wesley, pp. 416–420 (1990).
Foster, I. and Taylor, S., Strand — New Concepts in Parallel Programming, Prentice Hall (1990).
Franzén, T., Logical Aspects of Kernel Andorra, SICS Research Report R91:12, Swedish Institute of Computer Science (1991).
Glaser, H.W. and Thompson, P., Lazy Garbage Collection, Software — Practice and Experience, Vol. 17, pp. 1–4 (1985).
Haridi, S., A Logic Programming Language Based on the Andorra Model, New Generation Computing, Vol. 7, pp. 109–125 (1990).
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).
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).
Janson, S. and Haridi, S., Programming Paradigms of the Andorra Kernel Language, in Proceedings of the 1991 International Logic Programming Symposium, MIT Press (1991).
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).
Shapiro, E. and Takeuchi, A., Object-oriented Programming in Concurrent Prolog, Journal of New Generation Computing, Vol. 1, pp. 25–49 (1983).
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).
Warren, D.H.D., The Andorra Principle, presented at the Gigalips workshop, Stockholm (1987).
Warren, D.H.D., The Extended Andorra Model with Implicit Control, presented at a Parallel Logic Programming workshop in Eliat (June 1990).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hausman, B. (1992). Towards using the Andorra Kernel Language for industrial real-time applications. In: Voronkov, A. (eds) Logic Programming and Automated Reasoning. LPAR 1992. Lecture Notes in Computer Science, vol 624. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013066
Download citation
DOI: https://doi.org/10.1007/BFb0013066
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55727-2
Online ISBN: 978-3-540-47279-7
eBook Packages: Springer Book Archive