4814 search results - page 106 / 963 » Combining abstract interpreters |
104
click to vote
JSYML
2006
15 years 5 months ago
2006
Abstract. We characterise strongly minimal groups interpretable in elementary extensions of compact complex analytic spaces.
119
click to vote
BC
2000
15 years 5 months ago
2000
Abstract. Stimulus representation is a functional interpretation of early sensory cortices. Early sensory cortices are subject to stimulus-induced modi
144
click to vote
CORR
2000
Springer
15 years 5 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
180
click to vote
IANDC
2011
15 years 16 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, ...
166
click to vote
IJFCS
2007
15 years 5 months ago
2007
Ranking Abstraction Ittai Balaban Computer Science Department, New York University, 251 Mercer St., New York, New York 10012, United States and Amir Pnueli Computer Science Departm...