975 search results - page 136 / 195 » Declarative Aspect-Oriented Programming |
113
Voted
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...
121
Voted
ICFP
2003
ACM
16 years 12 days ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
102
Voted
ICSE
2003
IEEE-ACM
15 years 5 months ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
111
Voted
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Agent theories and agent programs are two very different styles of specification of agent behavior. The former are declarative in nature, while the latter have an imperative fl...
100
click to vote
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...