Sciweavers

3809 search results - page 192 / 762
» Associative language descriptions
Sort
View
ER
2008
Springer
128views Database» more  ER 2008»
15 years 9 months ago
Temporal Constraints in Non-temporal Data Modelling Languages
It is common to find that the definition or common usage of a data modelling language causes there to be restrictions placed on the evolution of data values that are associated wit...
Peter McBrien
LREC
2008
162views Education» more  LREC 2008»
15 years 8 months ago
Building a Federation of Language Resource Repositories: the DAM-LR Project and its Continuation within CLARIN
The DAM-LR project aims at virtually integrating various European language resource archives that allow users to navigate and operate in a single unified domain of language resour...
Daan Broeder, David Nathan, Sven Strömqvist, ...
ICSE
2008
IEEE-ACM
16 years 7 months ago
MontiCore: a framework for the development of textual domain specific languages
In this paper we demonstrate a framework for efficient development of textual domain specific languages and supporting tools. We use a redundance-free and compact definition of le...
Bernhard Rumpe, Hans Grönniger, Holger Krahn,...
ATAL
2007
Springer
16 years 1 months ago
Dynamic semantics for agent communication languages
This paper proposes dynamic semantics for agent communication languages (ACLs) as a method for tackling some of the fundamental problems associated with agent communication in ope...
Michael Rovatsos
FSEN
2007
Springer
16 years 1 months ago
Logical Bisimulations and Functional Languages
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be the proof of congruence and, related to this, enhancements of the bisimul...
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii