Sciweavers

3394 search results - page 292 / 679
» Regular Object Types
Sort
View
SAC
2004
ACM
16 years 20 hour ago
Interface utilization in the Java Development Kit
Interfaces as defined in the JAVA programming language can enhance both decoupling and comprehensibility of large code bases. Several researchers have pointed out this key role of...
Jens Gößner, Philip Mayer, Friedrich St...
VL
1999
IEEE
15 years 11 months ago
Extending UML for Modeling of Multimedia Applications
An analysis of how visual modeling of structure and dynamic behavior of a multimedia application differs from modeling conventional software yields that aspects of the graphical u...
Stefan Sauer, Gregor Engels
WCRE
1999
IEEE
15 years 11 months ago
An Incremental Semi-Automatic Method for Component Recovery
Atomic components are sets of related variables, types, rograms, e.g., abstract data types and objects. Many techniques exist to detect them automatically. However, as an evaluati...
Rainer Koschke
EACL
1993
ACL Anthology
15 years 8 months ago
Towards a proper treatment of coercion phenomena
The interpretation of coercion constructions (to begin a book) has been recently considered as resulting from the operation of type changing. For instance, a phrase of type o (obj...
Danièle Godard, Jacques Jayez
ICFP
2008
ACM
16 years 6 months ago
Functional translation of a calculus of capabilities
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
Arthur Charguéraud, François Pottier