DocumentCode :
275728
Title :
Symbolic Occam
Author :
Ringwood, GA
Author_Institution :
Queen Mary & Westfield Coll., London, UK
fYear :
1991
fDate :
16-18 Sep 1991
Firstpage :
170
Lastpage :
175
Abstract :
Occam is a fine grain process based programming language from the concurrent programming stable. Occam is minimal and efficient on transputers because of the hardware support for process scheduling and synchronization the hardware provides. Yet, Occam has been described as concurrent Fortran. Like Fortran, Occam is not ideally suited for symbolic, knowledge based applications. The language is inflexible, it does not support recursion, abstract data types, dynamic data structures and dynamic process creation. Occam code is not a first class object. As a result, the language is not well adapted to advanced AI programming techniques such as pattern matching, metaprogramming, partial evaluation and abstract interpretation
Keywords :
Occam; PROLOG; logic programming; parallel programming; AI programming techniques; abstract interpretation; concurrent Fortran; concurrent programming; fine grain process based programming language; hardware support; knowledge based applications; metaprogramming; partial evaluation; pattern matching; process scheduling; symbolic Occam; synchronization; transputers;
fLanguage :
English
Publisher :
iet
Conference_Titel :
Software Engineering for Real Time Systems, 1991., Third International Conference on
Conference_Location :
Cirencester
Print_ISBN :
0-85296-526-5
Type :
conf
Filename :
140067
Link To Document :
بازگشت