243 search results - page 25 / 49 » Towards a Type System for Analyzing JavaScript Programs |
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
AAECC
2007
Springer
13 years 7 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
IFIP
1992
Springer
13 years 11 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...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Programming has recently become more common among ordinary end users of computer systems. We believe that these end-user programmers are not just coders but also designers, in tha...