2881 search results - page 362 / 577 » Model Checking for Programming Languages using Verisoft |
183
click to vote
PEPM
1999
ACM
15 years 10 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
173
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...
173
click to vote
HPCN
2000
Springer
15 years 10 months ago
2000
Springer
The Java programming language and environment is stimulating new research activities in many areas of computing, not the least of which is parallel computing. Parallel techniques ...
182
click to vote
AFP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
184
click to vote
HUC
2004
Springer
15 years 12 months ago
2004
Springer
As the trend towards technology-enriched home environments progresses, the need to enable users to create applications to suit their own lives increases. While several recent proje...