7057 search results - page 307 / 1412 » Tasks, domains, and languages |
159
click to vote
FASE
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
179
click to vote
PLDI
2005
ACM
16 years 7 days ago
2005
ACM
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
173
click to vote
ANSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Modelica is a general equation-based object-oriented language for continuous and discrete-event modeling of physical systems for the purpose of efficient simulation. The language ...
165
click to vote
PADO
2001
Springer
15 years 11 months ago
2001
Springer
Tag elimination is a program transformation for removing unnecessary tagging and untagging operations from automatically generated programs. Tag elimination was recently proposed a...
174
click to vote
DSL
2009
15 years 4 months ago
2009
KURE is a Haskell hosted Domain Specific Language (DSL) for writing transformation systems based on rewrite strategies. When writing transformation systems, a significant amount of...