Sciweavers

975 search results - page 64 / 195
» Declarative Aspect-Oriented Programming
Sort
View
90
Voted
CORR
2004
Springer
140views Education» more  CORR 2004»
15 years 13 days ago
Checking modes of HAL programs
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
Maria J. García de la Banda, Warwick Harvey...
85
Voted
SAC
2005
ACM
15 years 6 months ago
[a]C#: C# with a customizable code annotation mechanism
Reflective programming is becoming popular due to the increasing set of dynamic services provided by execution environments like JVM and CLR. With custom attributes Microsoft int...
Walter Cazzola, Antonio Cisternino, Diego Colombo
97
Voted
KBSE
2002
IEEE
15 years 5 months ago
A Framework for Automatic Debugging
This paper presents an application framework in which declarative specifications of debugging actions are translated into execution monitors that can automatically detect bugs. Th...
Mikhail Auguston, Clinton Jeffery, Scott Underwood
112
Voted
JFP
2002
116views more  JFP 2002»
15 years 8 days ago
Recursive subtyping revealed
Algorithms for checking subtyping between recursive types lie at the core of many programming language implementations. But the fundamental theory of these algorithms and how they...
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pi...
88
Voted
SIGSOFT
2006
ACM
16 years 1 months ago
Exceptions and aspects: the devil is in the details
It is usually assumed that the implementation of exception handling can be better modularized by the use of aspectoriented programming (AOP). However, the trade-offs involved in u...
Alessandro Garcia, Cecília M. F. Rubira, Ed...