2880 search results - page 16 / 576 » Types are calling conventions |
126
click to vote
ACOM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we propose to regard an Agent Communication Language (ACL) as a set of conventions to act on a fragment of institutional reality, defined in the context of...
115
click to vote
CHI
1994
ACM
15 years 9 months ago
1994
ACM
We propose a simple and powerful predictive interface technique for text editing tasks. With our technique called the dynamic macro creation, when a user types a special "rep...
161
click to vote
HOTI
2005
IEEE
15 years 10 months ago
2005
IEEE
: The exposed memory hierarchies employed in many network processors (NPs) are expensive in terms of meeting the worst-case processing requirement. Moreover, it is difficult to ef...
203
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
152
click to vote
SFP
2001
15 years 6 months ago
2001
: We study type checking that is complete in the sense that it accepts every program whose subexpressions can all be executed without raising a type error at runtime. In a complete...