672 search results - page 90 / 135 » On the Expressive Power of the Loop Language |
174
click to vote
IJAOSE
2010
15 years 4 months ago
2010
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
137
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
274
Voted
POPL
2006
ACM
16 years 6 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
270
click to vote
ASPLOS
2009
ACM
16 years 6 months ago
2009
ACM
As computational power increases, tele-immersive applications are an emerging trend. These applications make extensive demands on computational resources through their heavy use o...
219
click to vote
WFLP
2009
Springer
16 years 21 days ago
2009
Springer
Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it ca...