6054 search results - page 991 / 1211 » Implementation of Andorra-based Languages |
143
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...
127
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
137
click to vote
ECLIPSE
2006
ACM
15 years 10 months ago
2006
ACM
The goal of a clone detection tool is to identify sections of code that are duplicated in a program. The result of the detection is presented in some manner for the user to view, ...
119
click to vote
ERLANG
2006
ACM
15 years 10 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
118
click to vote
EXPDB
2006
ACM
15 years 10 months ago
2006
ACM
Current publish / subscribe systems offer a range of expressive subscription languages for constraints. However, classical systems restrict the publish operation to be a single p...