| Conclusions |
|
|
|
|
|
|
|
|
|
|
| § | Natural Semantics is a powerful formalism |
||||||||
| to used to specify semantics of |
|||||||||
| programming languages |
|||||||||
| § | RML (Relational Meta-Language) can |
||||||||
| generate executabile specifications |
|||||||||
| § | Building a paralel between programming |
||||||||
| languages and Semantic Web languages one |
|||||||||
| could find places where RML can prove |
|||||||||
| useful. |
|||||||||
| 17 |