18429 search results - page 162 / 3686 » Typing dynamic typing |
127
click to vote
FOSSACS
2010
Springer
15 years 12 months ago
2010
Springer
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
149
click to vote
APLAS
2009
ACM
15 years 11 months ago
2009
ACM
Bounded existential types are a powerful language feature ling partial data abstraction and information hiding. However, existentials do not mingle well with subtyping as found in ...
127
Voted
IEEEIAS
2008
IEEE
15 years 11 months ago
2008
IEEE
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...
127
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
The reasons why software is changed are manyfold; new features are added, bugs have to be fixed, or the consistency of coding rules has to be re-established. Since there are many...