794 search results - page 144 / 159 » Evaluation of Assertion Support for the Java Programming Lan... |
IFIP
2000
Springer
13 years 11 months ago
2000
Springer
: This paper reports from a systems development research tradition in which emphasis is put on relating research activities to practice and on establishing fruitful collaboration b...
POPL
2004
ACM
14 years 7 months ago
2004
ACM
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
WFLP
2009
Springer
14 years 2 months ago
2009
Springer
Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it ca...
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
ER
2009
Springer
14 years 2 months ago
2009
Springer
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...