4211 search results - page 41 / 843 » Types as Abstract Interpretations |
COMPGEOM
2005
ACM
15 years 1 months ago
2005
ACM
Order Type Extension and New Results ectilinear Crossing Number - Extended Abstract Oswin Aichholzer∗ Hannes Krasser†We provide a complete data base of all realizable order t...
FORTE
1989
15 years 1 months ago
1989
ion of LOTOS Abstract Data Types Hubert GARAVEL∗ Laboratoire de G´enie Informatique Institut I.M.A.G. GRENOBLE FRANCE This article describes an experiment with the compilation o...
SIGARCH
2008
14 years 11 months ago
2008
e Shared Abstract Data Types H
IWPC
2000
IEEE
15 years 4 months ago
2000
IEEE
ng the Accessor Classification Approach to Detect Abstract Data Types icle presents an approach to identify abstract data types (ADTs) in source code. For each structured type deï...