9626 search results - page 129 / 1926 » Invariant Based Programming |
138
Voted
INTERSPEECH
2010
14 years 11 months ago
2010
This paper proposes a new phase vocoder based method for shape invariant real-time modification of speech signals. The performance of the method with respect voiced and unvoiced s...
142
click to vote
TLDI
2009
ACM
16 years 1 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
239
click to vote
ICSE
2011
IEEE-ACM
14 years 8 months ago
2011
IEEE-ACM
A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often ma...
133
click to vote
FUIN
2006
15 years 5 months ago
2006
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformat...
148
click to vote
JLP
2007
15 years 4 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...