1312 search results - page 166 / 263 » Embedded contract languages |
162
Voted
EGH
2010
Springer
15 years 1 months ago
2010
Springer
While a number of different shading languages have been developed, their efficient integration into an existing renderer is notoriously difficult, often boiling down to implementi...
137
Voted
IMCSIT
2010
15 years 1 months ago
2010
We present a dialogue system for exercising the German subordinate clause word order. The pedagogical methodology we adopt is based on focused tasks: the targeted linguistic struct...
149
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
112
Voted
LCTRTS
2005
Springer
15 years 9 months ago
2005
Springer
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...
128
Voted
AGTIVE
2003
Springer
15 years 8 months ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...