4205 search results - page 407 / 841 » Typed Mobile Objects |
166
click to vote
PPDP
2005
Springer
16 years 6 days ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
175
click to vote
SAC
2004
ACM
16 years 4 days ago
2004
ACM
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...
184
click to vote
VL
1999
IEEE
15 years 11 months ago
1999
IEEE
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...
174
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
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...
149
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
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...