Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Designing a semantic model for a wide-spectrum language with concurrency
Colvin R., Hayes I., Meinicke L. Formal Aspects of Computing29 (5):853-875,2017.Type:Article
Date Reviewed: Jan 10 2018

A concurrent wide-spectrum language combines a concurrent programming language with specification constructs. Colvin et al. provide a unified framework for defining the semantics of such languages. The semantics is trace-based and captures program and environment behavior.

The authors first introduce the trace model. For this model, program combinators, like sequential and parallel composition and iteration, are presented. A weak conjunction is introduced that synchronizes on non-aborting steps and aborts if one of the conjuncts aborts. Building on primitives and the combinators, the authors present a wide-spectrum language and discuss how rely and guarantee constructs as well as temporal logic specifications can be represented.

The rather theoretical focus of the paper is on the semantics framework. It is well written, and precise definitions are provided, well explained, and illustrated by helpful examples. Other current approaches are discussed and compared. Although no in-depth knowledge of the field is required, the reader should feel comfortable with formal notation.

Reviewer:  Andreas Schaefer Review #: CR145758 (1803-0149)
Bookmark and Share
 
Concurrency (D.4.1 ... )
 
 
Concurrency (H.2.4 ... )
 
 
Languages (D.2.11 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Concurrency": Date
Integrated concurrency control in shared B-trees
Lausen G. Information Sciences 52(2): 2000. Type: Article
May 1 1985
Software concurrency in real-time control systems: a software nucleus
Sears K., Middleditch A. Software--Practice & Experience 15(9): 739-759, 1985. Type: Article
Jun 1 1986
Understanding concurrency in Ada
Shumate K. (ed), Intertext Pubs./McGraw-Hill Book Co., New York, NY, 1988. Type: Book (9789780070572997)
May 1 1989
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy