Lem: A Lightweight Tool for Heavyweight Semantics.

Scott Owens Peter Böhm Francesco Zappa Nardelli Peter Sewell

Published in: ITP (2011)

Keyphrases

lightweight
software engineering
graphical representation
formal semantics
logic programming
conceptual model
dos attacks
data sets
user interface
rfid tags
development environments