380 search results - page 18 / 76 » Operational Semantics for Declarative Networking |
COMPSAC
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
118
click to vote
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
PERCOM
2008
ACM
15 years 11 months ago
2008
ACM
In this paper, we present a domain-specific Interface Definition Language (IDL) and its compiler, dedicated to the development of pervasive computing applications. Our IDL provide...
ECOOP
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...
105
click to vote
APLAS
2010
ACM
15 years 2 days ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...