Sciweavers

3809 search results - page 192 / 762
» Associative language descriptions
Sort
View
ER
2008
Springer
128views Database» more  ER 2008»
15 years 8 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 6 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 21 days 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 21 days 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