Login / Signup
A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries.
Yannick Welsch
Arnd Poetzsch-Heffter
Published in:
Sci. Comput. Program. (2014)
Keyphrases
</>
propositional dynamic logic
high level
digital libraries
higher level
logic programming
multi class classification
qualitative reasoning
algebraic structure
web services
source code
graphical representation
formal semantics