5343 search results - page 378 / 1069 » Keyword programming in java |
121
click to vote
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
143
Voted
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
Transactional monitors are proposed as an alternative to monitors based on mutualexclusion synchronization for object-oriented programming languages. Transactional monitors have e...
129
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
173
click to vote
CGO
2003
IEEE
15 years 9 months ago
2003
IEEE
As current trends in software development move toward more complex object-oriented programming, inlining has become a vital optimization that provides substantial performance impr...
132
click to vote
GPCE
2003
Springer
15 years 9 months ago
2003
Springer
Dynamic AOP (Aspect-Oriented Programming) is receiving growing interests in both the academia and the industry. Since it allows weaving aspects with a program at runtime, it is use...