3713 search results - page 459 / 743 » Constructing a Calculus of Programs |
135
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
The forthcoming Revised6 Report on Scheme differs from previous reports in that the language it describes is structured as a set of libraries. It also provides a syntax for defini...
114
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
172
click to vote
IUI
2010
ACM
15 years 11 months ago
2010
ACM
We describe a code reuse tool for use in the Looking Glass IDE, the successor to Storytelling Alice [17], which enables middle school students with little to no programming experi...
118
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Program analysis and automated test generation have primarily been used to find correctness bugs. We present complexity testing, a novel automated test generation technique to ...
142
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...