Sciweavers

899 search results - page 109 / 180
» Implementing declarative overlays
Sort
View
ICFP
2007
ACM
14 years 7 months ago
Implicit phasing for R6RS libraries
The forthcoming Revised6 Report on Scheme differs from previous reports in that the language it describes is structured as a set of libraries. It also provides a syntax for defini...
Abdulaziz Ghuloum, R. Kent Dybvig
CCS
2004
ACM
14 years 1 months ago
Verifying policy-based security for web services
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
PLDI
2000
ACM
14 years 5 days ago
Functional reactive programming from first principles
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
Zhanyong Wan, Paul Hudak
TOOLS
1999
IEEE
14 years 3 days ago
Associations as a Language Construct
stone in the object-oriented paradigm is the abstraction mechanisms transcending analysis, design, and implementation. The notions of class, object, behaviour, and inheritance are...
Kasper Østerbye
ECOOP
2006
Springer
13 years 11 months ago
SuperGlue: Component Programming with Object-Oriented Signals
The assembly of components that can handle continuously changing data results in programs that are more interactive. Unfortunately, the code that glues together such components is ...
Sean McDirmid, Wilson C. Hsieh