Πρωτότυπος Τίτλος:
Incorporating homomorphic reduction into abstract interpretation
Γλώσσες Τεκμηρίου:
Αγγλικά
Δημιουργός:
Zoukos, Vassilios A.
Παπακωνσταντίνου, Γεώργιος
Τσανάκας, Παναγιώτης
Affiliation:
Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Περίληψη:
Δεν υπάρχει περίληψη
Κύρια θεματική κατηγορία:
Πληροφορική
Λοιπές θεματικές κατηγορίες:
Γλώσσες Προγραμματισμού
Υπολογιστικά Μαθηματικά
Λέξεις-κλειδιά:
Theoretical Foundations, Model checking
