6054 search results - page 197 / 1211 » Implementation of Andorra-based Languages |
311
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
170
click to vote
ECMDAFA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Guidelines and consistency rules of UML are used to control the degrees of freedom provided by the language to prevent faults. Guidelines are used in specific domains (e...
157
click to vote
ECTEL
2009
Springer
16 years 1 months ago
2009
Springer
Reusable adaptation specifications for adaptive behaviour has come to the forefront of adaptive research recently, with EU projects such as GRAPPLE1, and PhD research efforts on de...
178
click to vote
ICEBE
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
176
click to vote
COORDINATION
2004
Springer
15 years 12 months ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...