31387 search results - page 18 / 6278 » Abstracts |
APAL
2006
13 years 10 months ago
2006
ence in Finitary Abstract Elementary Classes Tapani Hyttinen and Meeri Kes
JCS
2008
13 years 9 months ago
2008
Compiler for Session Abstractions Ricardo Corin1,2,3, Pierre-Malo Deni
JCP
2010
13 years 8 months ago
2010
Model for Abstracting the Interaction of Web Services Li Bao, Weishi Zhang, and Xiong Xie 91
JOT
2010
13 years 8 months ago
2010
ional Abstraction Steps Lone Leth Thomsena Bent Thomsena Kurt Nørmarka a. Department of Computer Science, Aalborg University, Denmark In this paper we discuss computational abstra...
SAS
2010
Springer
13 years 8 months ago
2010
Springer
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...