2736 search results - page 150 / 548 » Understanding programmer language |
243
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
121
click to vote
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
One of the challenges in web software development is to help achieving a good level of quality in terms of code size and runtime performance, for increasingly popular domain speci...
148
Voted
REFLECTION
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We present a general technique to support reflection in C++, exploiting template metaprogramming techniques. The technique is used for building an object interface to rel...
147
click to vote
PLDI
1998
ACM
15 years 8 months ago
1998
ACM
We present a type-based approach to eliminating array bound checking and list tag checking by conservatively extending Standard ML with a restricted form of dependent types. This ...
125
click to vote
OOPSLA
1998
Springer
15 years 8 months ago
1998
Springer
This paper explores the interpretation of specifications in the context of an object-oriented programming language with subclassing and method overrides. In particular, the paper ...