Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Elder, Matt"'
Autor:
ELDER, MATT1 fiddlemath@gmail.com, LIM, JUNGHEE1 junghee@grammatech.com, SHARMA, TUSHAR1 tsharma@cs.wisc.edu, ANDERSEN, TYCHO1 tycho@tycho.ws, REPS, THOMAS2
Publikováno v:
ACM Transactions on Programming Languages & Systems. Oct2014, Vol. 36 Issue 4, p11:1-11:73. 73p.
Publikováno v:
IndraStra Global.
This paper considers some known abstract domains for affine-relation analysis, along with several variants, and studies how they relate to each other. The various domains represent sets of points that satisfy affine relations over variables that hold
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7e269962c86816e6214340ccf3673d3f
http://digital.library.wisc.edu/1793/65531
http://digital.library.wisc.edu/1793/65531
Publikováno v:
IndraStra Global.
Given a concrete domain C, a concrete operation tau: C -> C, and an abstract domain A, a fundamental problem in abstract interpretation is to find the best abstract transformer tau#: A -> A that over-approximates tau. This problem, as well as several
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=issn23813652::7c13c8b2b8a5a608d2a96843b5eb9abc
https://igi.indrastra.com/items/show/86778
https://igi.indrastra.com/items/show/86778
Publikováno v:
IndraStra Global.
A code sandwich consists of before, after, and body code. Typically, the before code makes some change, the body code works in the context of the change, and the after code undoes the change. A code sandwich must guarantee that its after code will ex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=issn23813652::1896f0b5212ce15bb366a997dfcab76e
https://igi.indrastra.com/items/show/86400
https://igi.indrastra.com/items/show/86400
Autor:
Elder, Matt, Liblit, Ben
Publikováno v:
IndraStra Global.
Given a snapshot of a running program�s memory heap, and a set of types representing data in the program, dynamic heap type inference attempts to assign types to memory locations such that certain global consistency constraints are satisfied. Previ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=issn23813652::b530523ea7a628443475529dce7360c7
https://igi.indrastra.com/items/show/86590
https://igi.indrastra.com/items/show/86590
Publikováno v:
Static Analysis (9783642331244); 2012, p111-128, 18p
Autor:
Thakur, Aditya, Lim, Junghee, Lal, Akash, Burton, Amanda, Driscoll, Evan, Elder, Matt, Andersen, Tycho, Reps, Thomas
Publikováno v:
Computer Aided Verification (9783642142949); 2010, p288-305, 18p
Publikováno v:
ENTCS: Electronic Notes in Theoretical Computer Science; Oct2010, Vol. 267 Issue 1, p43-57, 15p
Autor:
Elder, Matthew Stephen
When the writers of the American Romantic period were eschewing the Enlightenment values of reason and objectivity in favor of subjective, individual human experience, Edgar Allan Poe clung to rationality and claimed that it is a vital tool in the cr
