Incorporating homomorphic reduction into abstract interpretation

Conference Paper uoadl:1041891 680 Read counter

Original Title:
Incorporating homomorphic reduction into abstract interpretation
Languages of Item:
English
Creator:
Zoukos, Vassilios A.
Papakonstantinou, George
Tsanakas, Panayotis
Affiliation:
Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Abstract:
Empty abstract
Main subject category:
Computer science
Other subject categories:
Programming Languages
Computational Mathematics
Keywords:
Theoretical Foundations, Model checking
Pages (from-to):
40-47
The digital material of the item is not available.