3713 search results - page 355 / 743 » Constructing a Calculus of Programs |
133
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
Program analysis is the heart of modern compilers. Most control flow analyses are reduced to the problem of finding a fixed point in a certain transition system, and such fixed po...
165
click to vote
TLDI
2010
ACM
16 years 1 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
142
click to vote
ITICSE
2006
ACM
15 years 10 months ago
2006
ACM
The release of Curriculum 2001 coupled with the increasing importance of the World Wide Web and the changes in pedagogy enabled by new technologies has made the choices about what...
172
click to vote
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
152
click to vote
SAC
2003
ACM
15 years 10 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...