Formal Component-Based Semantics
One of the proposed solutions for improving the scalability of semantics of programming languages is Component-Based Semantics, introduced by Peter D. Mosses. It is expected that this framework can also be used effectively for modular meta theoretic reasoning. This paper presents a formalization of...
| المؤلفون الرئيسيون: | , , |
|---|---|
| التنسيق: | مقال |
| اللغة: | English |
| منشور في: |
Open Publishing Association
2011-08-01
|
| سلاسل: | Electronic Proceedings in Theoretical Computer Science |
| الوصول للمادة أونلاين: | http://arxiv.org/pdf/1108.3125v1 |