3 search results - page 1 / 1 » An XML-Based Framework for Language Neutral Program Represen... |
CSMR
2005
IEEE
13 years 10 months ago
2005
IEEE
XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...
ESOP
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
DSD
2008
IEEE
13 years 11 months ago
2008
IEEE
Effective mapping of multimedia applications on massively parallel embedded systems is a challenging demand in the domain of compiler design. The software implementations of emerg...