3713 search results - page 388 / 743 » Constructing a Calculus of Programs |
125
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
121
click to vote
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
Statically typed aspect-oriented programming languages restrict application of around advice only to the join points that have conforming types. Though the restriction guarantees ...
119
click to vote
IH
2007
Springer
15 years 11 months ago
2007
Springer
We present a probabilistic program-transformation algorithm to render a given program tamper-resistant. In addition, we suggest a model to estimate the required effort for an atta...
129
click to vote
SPIN
2007
Springer
15 years 11 months ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
124
click to vote
SIGCSE
2004
ACM
15 years 10 months ago
2004
ACM
Understanding the execution of an object-oriented program can be a challenge for a student starting a CS1 course. We believe that a type of diagram that we call a memory diagram c...