6054 search results - page 228 / 1211 » Implementation of Andorra-based Languages |
163
click to vote
COMPSAC
2005
IEEE
16 years 7 days ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
138
click to vote
SIGADA
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we describe an approach to automatically creating C++ bindings to Ada libraries utilizing capabilities of the Ada Semantic Interface Specification (ASIS). We discus...
164
click to vote
GPCE
2004
Springer
16 years 4 hour ago
2004
Springer
Abstract. Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this visi...
191
Voted
MIDDLEWARE
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we argue for middleware languages that aid in service composition. We outline where such languages could be useful through the description of our current architectur...
150
click to vote
JMLC
1997
Springer
15 years 10 months ago
1997
Springer
Strongly typed polymorphism is necessary for expressing safe reusable code. Two orthogonal forms of polymorphism exist: inclusion and parametric, the Oberon language only supports ...