1937 search results - page 234 / 388 » Adaptation-based programming in java |
112
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
124
click to vote
RIA
2007
15 years 1 months ago
2007
Continuations are a well established programming concept that allows capturing and resuming the current program state. They can be found in several functional programming languages...
131
click to vote
SAC
2006
ACM
15 years 8 months ago
2006
ACM
Web applications are becoming the dominant way to provide access to on-line services. At the same time, web application vulnerabilities are being discovered and disclosed at an al...
209
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
Scribble is a system for writing library documentation, user guides, and tutorials. It builds on PLT Scheme's technology for language extension, and at its heart is a new app...
211
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...