182 search results - page 22 / 37 » Static Program Analysis for Java Card Applets |
126
Voted
GPCE
2009
Springer
14 years 12 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
151
click to vote
PPOPP
2005
ACM
15 years 7 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
128
Voted
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
121
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
115
Voted
POPL
2011
ACM
14 years 5 months ago
2011
ACM
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...