1375 search results - page 167 / 275 » SDL-2000: A Language with a Formal Semantics |
DALT
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. This paper aims at defining the semantics of Agent Communication Languages (ACLs) in terms of changes in the social relationships between agents, represented in terms of...
ATAL
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. In this paper, we describe the Cognitive Agents Specification Language (CASL), and exhibit its characteristics by using it to model the multiagent feature interaction re...
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
The presence of encyclopedic Web sources, such as Wikipedia, the Internet Movie Database (IMDB), World Factbook, etc. calls for new querying techniques that are simple and yet mor...
ICFEM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
PPDP
2007
Springer
15 years 4 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...