4355 search results - page 349 / 871 » From Interpretation to Compilation |
199
click to vote
EUROPAR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
170
click to vote
IH
2005
Springer
16 years 8 days ago
2005
Springer
Software protection is an area of active research in which a variety of techniques have been developed to address the issue. Examples of such techniques are software watermarking, ...
178
click to vote
LOPSTR
2005
Springer
16 years 8 days ago
2005
Springer
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as ...
200
click to vote
GG
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
183
click to vote
UML
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...