18429 search results - page 127 / 3686 » Typing dynamic typing |
152
click to vote
TLCA
2007
Springer
16 years 27 days ago
2007
Springer
e type system for the lmdElulus enrihed with reurE sive nd oreursive funtions over equiEindutive nd Eoindutive types is presented in whih ll wel...
186
click to vote
ICNP
2005
IEEE
16 years 12 days ago
2005
IEEE
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
183
click to vote
PLDI
2005
ACM
16 years 11 days ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
142
click to vote
EDO
2005
Springer
16 years 10 days ago
2005
Springer
Publish/subscribe research has so far been mostly focused on efficient event routing, event filtering, and composite event detection. The little research that has been published ...
208
click to vote
FASE
2005
Springer
16 years 10 days ago
2005
Springer
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...