A lingua franca for concurrent logic programming

Two of the more important concurrent logic programming languages with nonflat guards are GHC and Parlog. They balance the requirements of having clean semantics and providing good control facilities rather differently, and their respective merits are compared and contrasted. Since concurrent logic p...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on software engineering Jg. 18; H. 3; S. 225 - 236
1. Verfasser: Taylor, H.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York, NY IEEE 01.03.1992
Institute of Electrical and Electronics Engineers
IEEE Computer Society
Schlagworte:
Applied sciences
Bismuth
Computer programming
Computer science
Computer science; control theory; systems
Connectivity
Exact sciences and technology
Logic programming
Multitasking
Parallel processing
Parallel programming
Programming languages
Semantics
Software
Systems design
Variables
Transparency
Programming language
Concurrent program
Semantics
Logical programming
PROLOG
Computer system
Implementation
ISSN:0098-5589, 1939-3520
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Two of the more important concurrent logic programming languages with nonflat guards are GHC and Parlog. They balance the requirements of having clean semantics and providing good control facilities rather differently, and their respective merits are compared and contrasted. Since concurrent logic programming would benefit from both, but neither language is able to express all the programs expressible in the other language, a lingua franca of these languages is defined and justified. A method is given for translating GHC and Parlog to and from it. The method preserves the arities and execution conditions of each clause. It enables a lingua franca implementation to support both languages transparently, and to provide a simple concurrent logic programming language suitable for programming in its own right.< >
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
ISSN:0098-5589
1939-3520
DOI:10.1109/32.126771