18429 search results - page 179 / 3686 » Typing dynamic typing |
148
click to vote
SAS
2007
Springer
16 years 8 days ago
2007
Springer
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
150
click to vote
FCCM
2006
IEEE
16 years 6 days ago
2006
IEEE
Recently, platform FPGAs that integrate sequential processors with a spatial fabric have become prevalent. While these hybrid architectures ease the burden of integrating sequenti...
143
Voted
HICSS
2006
IEEE
16 years 6 days ago
2006
IEEE
We explored whether Fisher and Durrance’s [11] framework of information communities applies to online technical newsgroups and the impact of particular social types on informati...
137
click to vote
IWPC
2006
IEEE
16 years 5 days ago
2006
IEEE
Current change history analysis approaches rely on information provided by versioning systems such as CVS. Therefore, changes are not related to particular source code entities su...
149
click to vote
CASSIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...