3713 search results - page 208 / 743 » Constructing a Calculus of Programs |
146
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
150
click to vote
AOSD
2006
ACM
16 years 15 days ago
2006
ACM
OOP style requires programmers to organize their code according to objects (or nouns, using natural language as a metaphor), causing a program’s actions (verbs) to become scatte...
271
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
193
click to vote
CGO
2003
IEEE
15 years 11 months ago
2003
IEEE
Given the high cost of producing software, development of technology for prevention of software piracy is important for the software industry. In this paper we present a novel app...
136
click to vote
OOPSLA
1995
Springer
15 years 10 months ago
1995
Springer
In Self 4.0, people write programs by directly constructing webs of objects in a larger world of objects. But in order to save or share these programs, the objects must be moved t...