230 search results - page 3 / 46 » Type inference for datalog with complex type hierarchies |
OOPSLA
1989
Springer
13 years 9 months ago
1989
Springer
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
SAS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
ALT
2001
Springer
14 years 2 months ago
2001
Springer
The present work is dedicated to the study of modes of data-presentation in the range between text and informant within the framework of inductive inference. In this study, the le...
ICFP
2005
ACM
14 years 5 months ago
2005
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
SAC
2011
ACM
12 years 8 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...