|
Browse All Reviews > Theory Of Computation (F) > Logics And Meanings Of Programs (F.3) > Specifying And Verifying And Reasoning About Programs (F.3.1) > Assertions (F.3.1...)
|
|
|
|
|
|
|
|
|
1-3 of 3
Reviews about "Assertions (F.3.1...)":
|
Date Reviewed |
|
Model and verification of a data manager based on ARIES Kuo D. ACM Transactions on Database Systems 21(4): 427-479, 1996. Type: Article
A data manager is the database management system component responsible for managing (getting, storing, and updating) the data and for recovering smoothly from failing transactions and system crashes. The design of data managers must en...
|
Jul 1 1997 |
|
Suspension analyses for concurrent logic programs Codish M., Falaschi M., Marriott K. ACM Transactions on Programming Languages and Systems 16(3): 649-686, 1994. Type: Article
The authors consider the relationship between suspension analysis of concurrent logic programs, specifically FCP(:) programs, and abstract interpretations. This research paper formalizes the operational semantics of an FCP(:) program. ...
|
Aug 1 1995 |
|
Formal specification and design Feijs L., Jonkers H., Cambridge University Press, New York, NY, 1992. Type: Book (9780521434577)
Are the authors setting forth yet another formal notation? We already have too many. But this well-written book is not about a notation: it is about formal specification and design, using the language COLD-K as a vehicle to represent c...
|
Dec 1 1994 |
|
|
|
|
|