Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Abstract language design
Bradley L. Theoretical Computer Science77 (1-2):5-26,1990.Type:Article
Date Reviewed: Nov 1 1991

The author argues that a system of transformations can be applied to language definitions to produce new definitions. This process, referred to as abstract design, is shown to be invertible in the sense that one can use it to map evaluated meanings to terms in the language as well as for the usual task of mapping terms in the language to evaluated meanings. If the author had compared abstract design with other semantic transformation techniques, the methodology would have been more convincing.

Reviewer:  R. K. Shyamasundar Review #: CR115130
Bookmark and Share
 
Semantics Of Programming Languages (F.3.2 )
 
 
Formal Languages (F.4.3 )
 
Would you recommend this review?
yes
no
Other reviews under "Semantics Of Programming Languages": Date
Contractions in comparing concurrency semantics
Kok J. (ed), Rutten J. Theoretical Computer Science 76(2-3): 179-222, 2001. Type: Article
Aug 1 1991
Determinism → (event structure isomorphism = step sequence equivalence)
Vaandrager F. Theoretical Computer Science 79(2): 275-294, 1991. Type: Article
Dec 1 1991
Correctness of concurrent processes
Olderog E. Theoretical Computer Science 80(2): 263-288, 1991. Type: Article
Dec 1 1991
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