Original Title:
Incorporating homomorphic reduction into abstract interpretation
Languages of Item:
English
Creator:
Zoukos, Vassilios A.
Papakonstantinou, George
Tsanakas, Panayotis
Affiliation:
Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Main subject category:
Computer science
Other subject categories:
Programming Languages
Computational Mathematics
Keywords:
Theoretical Foundations, Model checking
