Volume 304

1

Parsing K definitions

Year:
2014
Language:
english
File:
PDF, 232 KB
english, 2014
3

Abstract Semantics for K Module Compo

Year:
2014
Language:
english
File:
PDF, 289 KB
english, 2014
4

Abstract Semantics for Alias Analysis in K

Year:
2014
Language:
english
File:
PDF, 258 KB
english, 2014
5

MatchC: A Matching Logic Reachability Verifier Using the

Year:
2014
Language:
english
File:
PDF, 317 KB
english, 2014