Incorporating homomorphic reduction into abstract interpretation

Άρθρο Συνεδρίου uoadl:1041891 693 Αναγνώσεις

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