1194 search results - page 60 / 239 » A Calculus for Predicative Programming |
98
Voted
ECR
2006
15 years 1 months ago
2006
Within the software industry software piracy is a great concern. In this article we address this issue through a prevention technique called software watermarking. Depending on ho...
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
232
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
144
click to vote
AOSD
2010
ACM
15 years 8 months ago
2010
ACM
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...
117
click to vote
TACS
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...