126
click to vote
PEPM
2016
ACM
10 years 24 days ago
2016
ACM
Staging is a program generation paradigm with a clean, wellinvestigated semantics which statically ensures that the generated code is always well-typed and well-scoped. Staging is...
124
click to vote
PEPM
2016
ACM
10 years 24 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 24 days ago
2016
PEERJPRE
2016
10 years 24 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 24 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 24 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...
PEERJPRE
2016
2016
How are functionally similar code clones syntactically different? An empirical study and a benchmark
10 years 24 days ago
PEERJPRE
2016
10 years 24 days ago
2016
Probabilistic programming allows for automatic Bayesian inference on user-defined probabilistic models. Recent advances in Markov chain Monte Carlo (MCMC) sampling allow inference...
PEERJPRE
2016
10 years 24 days ago
2016
PEERJPRE
2016
10 years 24 days ago
2016
An object-oriented computational framework for the transformation of colour data and colour metric tensors is presented. The main idea of the design is to represent the transforms...