933 search results - page 55 / 187 » Multi-paradigm Declarative Languages |
144
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents three types of declarative goals: perform goals, achieve goals, and maintain goals. The integration of these goal types in a simple but extendable logic-based a...
130
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
113
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml. Aspectual Caml offers two AOP mechanis...
133
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
156
click to vote
POPL
1997
ACM
15 years 7 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...