2672 search results - page 8 / 535 » Hybridizing Concept Languages |
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
PLDI
2003
ACM
15 years 2 months ago
2003
ACM
62
Voted
DSL
2009
14 years 7 months ago
2009
ISCI
2011
14 years 4 months ago
2011
77
Voted
CSL
1999
Springer
15 years 1 months ago
1999
Springer
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...