(Enter summary)
Abstract: This paper describes how Prolog was used for the development of a new concurrent realtime
symbolic programming language called Erlang.
Erlang was developed by first building a prototype in Prolog - the prototype was used by
a user group to test their reactions to the language. As time passed many features were added
(and removed) from the interpreter and eventually the language reached a level of maturity
where it was decided to try it out on a significant problem.
About 3 years and some 20,000 ... (Update)
Context of citations to this paper: More
...added the notion of a process to Prolog and which added facilities for advanced error detection and recovery. This work is described in [1]. ffl The Bollmora group Using the results of the work with the Prolog interpretor we were able to attract the curiosity and interest...
...chapter 8, Lindholm and Yellin 1995] Sections 4.8 and 4. 9, and various works about the Erlang abstract machine (the core being [Armstrong et al. 1992; Hausman 1994] All other references served to bolster information presented in these works. 2 Delta implementations exist....
Cited by: More
Making Reliable Distributed Systems in the Presence of Software.. - Armstrong (2003)
(Correct)
Applications of Logic Programming in Software Engineering - Ciancarini, Levi (1995)
(Correct)
Erlang - A survey of the language and its industrial applications - Armstrong (1996)
(Correct)
Active bibliography (related documents): More All
0.3: The development of Erlang - Armstrong
(Correct)
0.3: Engineering Knowledge-Based Software for Large Embedded Systems - Bouteldja (1989)
(Correct)
0.2: Erlang - An Experimental Telephony Programming Language - Armstrong, Virdin (1990)
(Correct)
Similar documents based on text: More All
0.5: Erlang User's Guide Reference Manual Version 3.2 - Armstrong, Virding, Williams (1991)
(Correct)
0.4: Discrete Event Simulation in Erlang - Ermedahl (1995)
(Correct)
0.4: Distributed programming in Erlang - Wikström (1994)
(Correct)
Related documents from co-citation: More All
4: Implementing a functional language for highly parallel real time applications (context) - Armstrong, Dacker et al. - 1992
3: Turbo erlang: Approaching the speed of C (context) - Hausman - 1994
3: A practical subtyping system for Erlang
- Marlow, Wadler - 1997
BibTeX entry: (Update)
J. L. Armstrong, S. R. Virding and M. C. Williams. Use of Prolog for developing a new programming language. The Practical Application of Prolog London 1 -- 3 April 1992 http://citeseer.ist.psu.edu/armstrong92use.html More
@inproceedings{ armstrong92use,
author = "J. Armstrong and S. Virding and M. Williams",
title = "{Use of Prolog for Developing a New Programming Language}",
booktitle = "Proc. 1st Conf. on The Practical Application of Prolog",
publisher = "Association for Logic Programming",
address = "London, England",
editor = "C. Moss and K. Bowen",
year = "1992",
url = "citeseer.ist.psu.edu/armstrong92use.html" }
Citations (may not include all citations):
395
An abstract Prolog instruction set (context) - David - 1983
208
No Silver Bullet - Essence and accidents of software enginee.. (context) - Brooks, Jnr - 1986
125
Warren's Abstract Machine: A tutorial Reconstruction (context) - Hassan - 1991
86
A rational design process: How and Why to Fake It (context) - Parnas, Clements - 1986
55
PARLOG: Parallel programming in logic (context) - Clark - 1985
26
Implementing a functional language for highly parallel real .. (context) - Armstrong, Dacker et al. - 1992
5
Erlang an Experimental Telephony Programming Language
- Armstrong, Virding - 1990
4
The Phoning Philosopher's Problem or Logic Programming for T.. (context) - Armstrong, Elshiewy et al. - 1986
3
Experiments with Programming Languages and Techniques for Te.. (context) - Dacker, Elshiewy et al. - 1986
1
Using Prolog for Rapid Prototyping of Telecommunications Sys.. (context) - Armstrong, Williams - 1989
1
Ian Foster and Steven Taylor (context) - New, Parallel - 1989
1
Computing With Logic - The Benjamin/Cummings Publishing Comp.. (context) - David - 1988
Documents on the same site (http://www.ericsson.se/cslab/publications.shtml): More
Automatic code generation from SDL to a declarative programming.. - Fröberg (1993)
(Correct)
Implementing Distributed Real-time Control Systems in a.. - Wikström (1996)
(Correct)
On the Verification of Open Distributed Systems - Dam, Fredlund (1998)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC