4139 search results - page 288 / 828 » Designing and Implementing Combinator Languages |
125
click to vote
PLDI
2006
ACM
15 years 11 months ago
2006
ACM
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining the...
139
click to vote
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
111
click to vote
CD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper reports on the experiences we gained while trying to build an interpreter for a new programming language aimed at developing strong mobile software. The interp...
138
Voted
PPDP
2001
Springer
15 years 9 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
122
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...