Sciweavers

2 search results - page 1 / 1
» Extending conventional languages by distributed concurrent e...
Sort
View
JLP
2010
96views more  JLP 2010»
12 years 11 months ago
An overview of the K semantic framework
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...
Grigore Rosu, Traian-Florin Serbanuta