5096 search results - page 73 / 1020 » Associations as a Language Construct |
106
click to vote
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspec...
112
click to vote
POPL
2011
ACM
14 years 2 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
137
click to vote
CRYPTO
2012
Springer
13 years 2 months ago
2012
Springer
We provide a functional encryption system that supports functionality for regular languages. In our system a secret key is associated with a Deterministic Finite Automata (DFA) M....
SAC
2005
ACM
15 years 5 months ago
2005
ACM
During language evolution, compiler construction is usually d along two dimensions: defining new abstract syntax tree (AST) classes, or adding new operations. In order to facilita...
TYPES
2000
Springer
15 years 3 months ago
2000
Springer
We present a formalization of the halting problem in Agda, a language based on Martin-L