1631 search results - page 211 / 327 » Extreme Programming - Back to Basics |
240
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
122
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
112
click to vote
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
The behavior of a multithreaded program does not depend only on its inputs. Scheduling, memory reordering, timing, and low-level hardware effects all introduce nondeterminism in t...
140
click to vote
ICSM
2005
IEEE
15 years 8 months ago
2005
IEEE
Aspect oriented programming has been proposed as a way to improve modularity of software systems by allowing encapsulation of cross-cutting concerns. To do so, aspects specify whe...
127
click to vote
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...