6054 search results - page 39 / 1211 » Implementation of Andorra-based Languages |
138
click to vote
CAINE
2003
15 years 3 months ago
2003
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...
ENTCS
2007
15 years 1 months ago
2007
We present a new specification/implementation of the mobile agent language Mobile Maude. This new version uses the external sockets provided by Maude since its 2.2 version, thus ...
102
click to vote
CPAIOR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We recently proposed a simple declarative language for specifying a wide range of counting and occurrence constraints. The language uses just two global primitives: the R...
102
click to vote
FINTAL
2006
15 years 5 months ago
2006
The so-called Internally Headed Relative Clause (IHRC) construction found in the head-final languages Korean and Japanese has received little attention from computational perspecti...
SIGCOMM
1999
ACM
15 years 6 months ago
1999
ACM
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...