4743 search results - page 278 / 949 » The PlusCal Algorithm Language |
184
Voted
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
145
click to vote
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
135
click to vote
SAMOS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this work we present CoDeL (Controller Description Language), a framework for rapidly prototyping policy specific controllers for routers in interconnection networks....
142
Voted
HYBRID
2010
Springer
15 years 10 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
119
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...