Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Madlener, Ken"'
Publikováno v:
EPTCS 62, 2011, pp. 17-29
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
Externí odkaz:
http://arxiv.org/abs/1108.3125
Publikováno v:
Programming Languages (9783642409219); 2013, p46-60, 15p
Autor:
Madlener, Ken, Smetsers, Sjaak
Publikováno v:
2013 International Symposium on Theoretical Aspects of Software Engineering; 2013, p199-206, 8p
Publikováno v:
Formal Methods & Software Engineering (9783642169007); 2010, p287-302, 16p