2373 search results - page 50 / 475 » The Design of the Zinc Modelling Language |
100
click to vote
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
128
click to vote
MM
2004
ACM
15 years 6 months ago
2004
ACM
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...
114
click to vote
COORDINATION
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
SPDECE
2007
15 years 2 months ago
2007
This paper addresses the representation of the main elements of instructional models using formal ontology languages. Following existing conceptualizations, models, methods and con...
158
click to vote
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...