3516 search results - page 381 / 704 » Programming Languages: Application and Interpretation |
177
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper offers a critique of the framework of Constraint Satisfaction Problems. While this framework has been successful in studying search techniques, and has inspire...
143
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...
169
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
169
click to vote
VL
2008
IEEE
16 years 1 months ago
2008
IEEE
Software visualization has always been expensive, special purpose, and hard to program. Most of the existing software visualization tools require too much time for enduser develop...
165
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...