4722 search results - page 5 / 945 » Representation-independent program analysis |
139
click to vote
HCI
2009
15 years 12 days ago
2009
Where the Object-Oriented paradigm set about abstracting objects, iented (AO) theory draws on Psychology to abstract mentalist notions like: beliefs, perceptions, goals, and intent...
111
Voted
ENTCS
2010
15 years 1 hour ago
2010
nalysis by abstract interpretation: a Mathematical Programming approach1 Eric Goubaulta,2 St
145
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
143
Voted
BIB
2011
14 years 9 months ago
2011
Programs for RNA mutational analysis that are structure-based and rely on secondary structure prediction have been developed and expanded in the past several years. They can be us...
153
Voted
TGC
2010
Springer
15 years 14 days ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...