2004 search results - page 80 / 401 » Interaction nets: programming language design and implementa... |
123
click to vote
UAI
2008
15 years 6 months ago
2008
Formal languages for probabilistic modeling enable re-use, modularity, and descriptive clarity, and can foster generic inference techniques. We introduce Church, a universal langu...
128
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
142
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
178
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
111
click to vote
ECOOP
1998
Springer
15 years 9 months ago
1998
Springer
Framework optimizations capitalize on object dependencies, while framework flexibility and composability demand object independence. This paper shows how to balance these conflicti...