2111 search results - page 184 / 423 » How to Program Pervasive Systems |
103
click to vote
WCRE
1996
IEEE
15 years 7 months ago
1996
IEEE
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
103
click to vote
IFIP
1992
Springer
15 years 7 months ago
1992
Springer
This paper presents Whizz, a system for building animated interactive applications. We describe its musical metaphor, and its underlying model based on streams and events. We anal...
128
Voted
POPL
1995
ACM
15 years 6 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
123
click to vote
WM
2003
15 years 4 months ago
2003
: We present a software tool for examplet reuse. We define examplets to be goal-directed snippets of source code, often written for tutorial purposes, that show how to use program...
142
Voted
ENTCS
2008
15 years 3 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...