123
Voted
PEPM
2016
ACM
10 years 21 days ago
2016
ACM
This paper relates 2-level λ-calculus and staged λ-calculus (restricted to 2 stages) to obtain monovariant binding-time analysis for λ-calculus that produces the output in the ...
PEERJPRE
2016
10 years 21 days ago
2016
PEERJPRE
2016
10 years 21 days ago
2016
Formal argument suggests that command, communication and control systems can remain stable in the sense of the Data Rate Theorem that mandates the minimum rate of control informat...
PEERJPRE
2016
10 years 21 days ago
2016
Developers summarize their changes to code in commit messages. When a message seems “unusual”, however, this puts doubt into the quality of the code contained in the commit. W...
PEERJPRE
2016
10 years 21 days ago
2016
Automated test generation tools have been widely investigated with the goal of reducing the cost of testing activities. However, generated tests have been shown not to help develo...