3713 search results - page 388 / 743 » Constructing a Calculus of Programs |
183
Voted
ICFP
2005
ACM
16 years 7 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...
182
Voted
AOSD
2010
ACM
16 years 2 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 ...
167
Voted
IH
2007
Springer
16 years 1 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...
174
click to vote
SPIN
2007
Springer
16 years 1 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...
164
Voted
SIGCSE
2004
ACM
16 years 27 days 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...