|
М |
All About Maunde - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic |
2007 |
Clavel M., Duran F., Eker S., Lincoln P., Marti-Oliet N., Meseguer J., Talcott C. |
Lecture Notes in Computer Science |
|
|
|
30.10.2007 |
|
СТ |
Formally Verified On-Line Diagnosis |
1997 |
Walter C. J., Lincoln P., Suri N. |
|
|
|
IEEE Trans. on Software Engineering |
13.02.1998 |
|
СТ |
The Rewrite Rule Machine Node Architecture and Its Performance |
1994 |
Lincoln P., Meseguer J., Ricciulli L. |
|
|
|
Lecture Notes in Computer Science |
22.11.1994 |
|
СТ |
Compiling Rewriting onto SIMD and MIMD/SIMD Machines |
1994 |
Lincoln P., Marti-Oliet N., Meseguer J., Ricciulli L. |
|
|
|
Lecture Notes in Computer Science |
24.08.1994 |
