11 search results - page 3 / 3 » Termination in Higher-Order Concurrent Calculi |
JLP
2010
13 years 7 days 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...