1760 search results - page 146 / 352 » A System to Mark Programs Automatically |
137
click to vote
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
200
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
126
click to vote
STEP
2003
IEEE
15 years 8 months ago
2003
IEEE
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this infor...
130
click to vote
PLDI
1997
ACM
15 years 7 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
132
click to vote
WSC
2000
15 years 4 months ago
2000
Discrete event simulation can be used for virtual prototyping of new manufacturing facilities. Models built for this purpose must be easy to use, flexible, and provide a realistic...