2111 search results - page 122 / 423 » How to Program Pervasive Systems |
129
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
91
Voted
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
105
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
: This is a position paper introducing blob computing: A Blob is a generic primitive used to structure a uniform computing substrate into an easier-to-program parallel virtual mach...
109
Voted
INFORMATICALT
2007
15 years 18 days ago
2007
Internationalization of compilers and localization of programming languages is not a usual phenomenon yet; however, due to a rapid progress of software and programming technologies...
CORR
2008
Springer
15 years 24 days ago
2008
Springer
This paper proposes a theory of encapsulation, taking the internationally standardized definition of that term and establishing a relationship between subsets and the elements tha...