Keyword : rewriting


Proof Score Approach to Verification of Liveness Properties
Kazuhiro OGATA Kokichi FUTATSUGI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/12/01
Vol. E91-D  No. 12 ; pp. 2804-2817
Type of Manuscript:  PAPER
Category: Fundamentals of Software and Theory of Programs
Keyword: 
CafeOBJequationsobservational transition systems (OTSs)rewritingspecification
 Summary | Full Text:PDF

Rule-Based Query Rewriting in the Flora Optimizer
Daniela FLORESCU Patrick VALDURIEZ 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/11/25
Vol. E78-D  No. 11 ; pp. 1412-1423
Type of Manuscript:  Special Section PAPER (Special Issue on Advanced Database Technologies)
Category: Implementation
Keyword: 
object-oriented databasesoptimizationrewriting
 Summary | Full Text:PDF