2012 Fiscal Year Final Research Report
On algebraic specification languages based on modular rewriting systems
| Project/Area Number |
22700027
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Toyama Prefectural University (2011-2012)
Kanazawa University (2010) |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2010 – 2012
|
| Keywords | 項書換えシステム |
|---|
| Research Abstract |
We studied about term rewriting systems to give an operational semantics of specification execution for algebraic specificationlanguages with sophisticated module systems. Our main result is a termination proving methods based on module structures. Termination is one of the most important properties of term rewriting, which guarantees any specification execution terminates in finite time. By our results, we can prove termination of large and complex algebraic specifications with conditional equations efficiently.
|
Research Products
(9 results)
