5343 search results - page 378 / 1069 » Keyword programming in java |
189
click to vote
ICLP
2005
Springer
16 years 9 days 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 ...
193
click to vote
ECOOP
2004
Springer
16 years 5 days 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...
168
click to vote
ICFEM
2004
Springer
16 years 5 days 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...
229
click to vote
CGO
2003
IEEE
16 years 2 days 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...
168
click to vote
GPCE
2003
Springer
16 years 2 hour 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...