159 search results - page 4 / 32 » Structural abstract interpretation, A formal study using Coq |
156
click to vote
MKM
2007
Springer
16 years 20 hour ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
126
click to vote
SAS
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. Our aim is to study how the interpretive approach -- inserting an interpreter between a source program and a program specializer -- can be used to improve the transformat...
173
click to vote
SOFTVIS
2010
ACM
15 years 6 months ago
2010
ACM
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
186
click to vote
IANDC
2011
15 years 26 days ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
169
click to vote
TCS
2002
15 years 5 months ago
2002
We investigate the problem of producing symmetric tilings by programs in a uniform way. By this, we mean that the construction of a tiling should be parameterized by the geometric...