2231 search results - page 367 / 447 » Alternation as a programming paradigm |
136
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
133
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
161
click to vote
SCESM
2006
ACM
15 years 10 months ago
2006
ACM
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...
146
click to vote
ECAL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Inspired by the recent advances in evolutionary biology, we have developed a self-organising, self-adaptable cellular system for multitask learning. The main aim of our p...
163
click to vote
POPL
1999
ACM
15 years 9 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...