1375 search results - page 76 / 275 » SDL-2000: A Language with a Formal Semantics |
113
click to vote
DOOD
1997
Springer
15 years 1 months ago
1997
Springer
With the increasing importance of the World Wide Web as an information source, there is a growing interest for integration of Web and database technology. Several Web query languag...
VLDB
1991
ACM
15 years 1 months ago
1991
ACM
We explore the implications of supporting bags (i.e. multisets) in a data model and associated query language, and present some formal results concerned with the algebraic propert...
FMOODS
2007
14 years 11 months ago
2007
Dynamic Meta Modeling (DMM) is a universal approach to defining semantics for languages syntactically grounded on meta models. DMM has been designed with the aim of getting highly...
TLDI
2003
ACM
15 years 3 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
127
click to vote
ENTCS
2006
14 years 9 months ago
2006
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...