36320 search results - page 318 / 7264 » From Code to Models |
209
click to vote
TRIER
2002
15 years 6 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...
170
click to vote
ECBS
2006
IEEE
16 years 22 days ago
2006
IEEE
Design patterns are an established means for building evolvable and maintainable object-oriented software. However, using them requires the developerās extensive experience. A w...
191
click to vote
IWUC
2004
15 years 8 months ago
2004
Abstract. This study proposes a methodology that allows the flexible and maintainable development of application based on mobile agent to a ubiquitous environment. Ubiquitous envir...
190
click to vote
PEPM
2010
ACM
16 years 3 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speciļ...
161
click to vote
EUROCAST
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, an approach to synthesize correct programs from speciļ¬cations is presented. The idea is to extract code from definitions appearing in statements which have been me...