Sciweavers

4 search results - page 1 / 1
» Declarative Foreign Function Binding Through Generic Program...
Sort
View
WCFLP
2005
ACM
14 years 4 months ago
A generic analysis environment for declarative programs
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
Michael Hanus
CORR
2007
Springer
123views Education» more  CORR 2007»
13 years 10 months ago
A Generic Analysis Environment for Curry Programs
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
Michael Hanus
AOSD
2008
ACM
14 years 26 days ago
StrongAspectJ: flexible and safe pointcut/advice bindings
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
Bruno De Fraine, Mario Südholt, Viviane Jonck...
OOPSLA
1989
Springer
14 years 2 months ago
Static Type Inference for Parametric Classes
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
Atsushi Ohori, Peter Buneman