672 search results - page 21 / 135 » On the Expressive Power of the Loop Language |
84
Voted
AAAI
2007
15 years 4 months ago
2007
The main focus in the area of action languages, such as GOLOG, was put on expressive power, while the development in the area of action planning was focused on efficient plan gen...
118
click to vote
POPL
1996
ACM
15 years 6 months ago
1996
ACM
Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular program...
SCN
2008
Springer
15 years 1 months ago
2008
Springer
In this work, we propose a new generalization of the notion of group signatures, that allows signers to cover the entire spectrum from complete disclosure to complete anonymity. Pr...
100
click to vote
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and it...
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Implicit invocation (II) and aspect-oriented (AO) languages provide related but distinct mechanisms for separation of concerns. II languages have explicitly announced events that r...