713 search results - page 6 / 143 » Viewcharts: Syntax and Semantics |
RULEML
2004
Springer
14 years 21 days ago
2004
Springer
RuleML and SWRL are closely related rule markup languages that are growing in popularity particularly within the Semantic Web community. Both are based on XML and as such are more ...
ECMDAFA
2005
Springer
14 years 27 days ago
2005
Springer
Language-centric methodologies, triggered by the success of Domain Specific Languages, rely on precise specifications of modeling s. While the definition of the abstract syntax ...
FASE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
APLAS
2004
ACM
14 years 24 days ago
2004
ACM
Abstract. We give a semantic footing to the fold/build syntax of programming with inductive types, covering shortcut deforestation, based on a universal property. Specifically, we...
TOSEM
2002
13 years 7 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...