2661 search results - page 289 / 533 » A Semantics for Abstraction |
210
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We examine the role of transactional memory from two perspectives: that of a programming language with atomic actions and that of implementations of the language. We argu...
149
click to vote
RR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. It is well-knwon that crisp RDF is not suitable to represent vague information. Fuzzy RDF variants are emerging to overcome to this limitations. In this work we provide, ...
146
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
177
click to vote
CEEMAS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Agent Communication Languages (ACLs) play a fundamental role in open multiagent systems where message exchange is the main if not the only way for agents to coordinate th...
171
click to vote
GTTSE
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Domain Specific Languages (DSLs) are small languages designed for use in a specific domain. DSLs typically evolve quite radically throughout their lifetime, but current...