5090 search results - page 171 / 1018 » Constructing Strategies for Programming |
161
click to vote
CSCLP
2005
Springer
16 years 14 days ago
2005
Springer
This paper presents an attempt to construct a ”practical” CSP algorithm that assigns a variable with 2 values at every step. Such a strategy has been successfully used for cons...
209
Voted
WMTE
2002
IEEE
15 years 12 months ago
2002
IEEE
Based on experience in orchestrating co llaborative learning scenarios with ubiquitous computing technology, two strategies for extending a co -constructive modeling environment w...
138
Voted
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
295
Voted
PLDI
2003
ACM
16 years 8 days 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....
212
Voted
CGO
2003
IEEE
16 years 9 days 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...