2 search results - page 1 / 1 » Extending conventional languages by distributed concurrent e... |
143
Voted
JLP
2010
14 years 10 months ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...