924 search results - page 42 / 185 » An expressive aspect language for system applications with A... |
SEFM
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
ICFP
2005
ACM
14 years 8 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...
SACMAT
2010
ACM
14 years 1 months ago
2010
ACM
We address the problem of privacy-preserving access control in distributed systems. Users commonly reveal more personal data than strictly necessary to be granted access to online...
ENTCS
2008
13 years 9 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
COLING
2000
13 years 10 months ago
2000
In order to realize their full potential, multimodal interfaces need to support not just input from multiple modes, but single commands optimally distributed across the available ...