6794 search results - page 724 / 1359 » Semantics of Visual Languages |
179
click to vote
CORR
2010
Springer
15 years 7 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...
199
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...
171
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
204
click to vote
ICLP
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
182
click to vote
PLDI
2004
ACM
16 years 20 days ago
2004
ACM
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...