-
1
المؤلفون: Matt Elder
المصدر: Discrete Mathematics. 308:3479-3490
مصطلحات موضوعية: Discrete mathematics, Graph partition, 010103 numerical & computational mathematics, 0102 computer and information sciences, 01 natural sciences, Binary words, Theoretical Computer Science, Gray code, Combinatorics, Path bundle, 010201 computation theory & mathematics, Bundle, Discrete Mathematics and Combinatorics, Partition (number theory), n-Cube, 0101 mathematics, Mathematics
-
2
المؤلفون: Aditya V. Thakur, Matt Elder, Thomas Reps
المصدر: Static Analysis ISBN: 9783642331244
SASمصطلحات موضوعية: Computer Science::Programming Languages, Galois connection, Abstract interpretation, Algorithm, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1b70b98356b9f7aa58c632ec4ed9dbee
https://doi.org/10.1007/978-3-642-33125-1_10 -
3
المؤلفون: Thomas Reps, Tycho Andersen, Matt Elder, Junghee Lim, Tushar Sharma
المصدر: Static Analysis ISBN: 9783642237010
SASمصطلحات موضوعية: Discrete mathematics, Semantics (computer science), Computer science, Affine transformation, Algorithm
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a8187a817a4c4f2d561765abe4e0891c
https://doi.org/10.1007/978-3-642-23702-7_17 -
4
المؤلفون: Matt Elder, Akash Lal, Evan Driscoll, Thomas Reps, Tycho Andersen, Aditya V. Thakur, Junghee Lim, Amanda Burton
المصدر: Computer Aided Verification ISBN: 9783642142949
CAVمصطلحات موضوعية: High-level verification, Theoretical computer science, Functional verification, Software model checking, Programming language, Computer science, Local variable, Aliasing (computing), Symbolic execution, computer.software_genre, Machine code, computer, Software verification
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::813043dac87d89b1312679126e6ec509
https://doi.org/10.1007/978-3-642-14295-6_27 -
5
المؤلفون: Thomas Reps, Matt Elder, Denis Gopan
المصدر: Electronic Notes in Theoretical Computer Science. (1):43-57
مصطلحات موضوعية: Focus (computing), Theoretical computer science, General Computer Science, Numeric abstract domains, Materialized view, Expression (mathematics), Domain (software engineering), Theoretical Computer Science, Set (abstract data type), Transformation (function), State (computer science), Abstraction, abstract-interpretation precision, view maintenance, Mathematics, Computer Science(all)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9d7e17d700fca5fce07d80633f939644