383 search results - page 66 / 77 » Formal Syntax and Semantics of Case Stacking Languages |
ICFP
2007
ACM
14 years 7 months ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
ECIR
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. The structural heterogeneity and complexity of XML repositories makes query formulation challenging for users who have little knowledge of XML. To assist its users, an XM...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
TABLEAUX
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
KBSE
2003
IEEE
14 years 21 days ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...