196 search results - page 18 / 40 » Abstract Syntax and Semantics of Visual Languages |
ADBIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We propose a descriptive high-level language XDTrans devoted to specify transformations over XML data. The language is based on unranked tree automata approach. In contra...
APLAS
2007
ACM
14 years 14 days ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...
DEXA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We define a formal syntax and semantics for the Rule Definition Language (RDL) of DemaqLite, which is a fragment of the declarative XML message processing system Demaq....
AGTIVE
1999
Springer
14 years 22 days ago
1999
Springer
Abstract. Diagrams that serve as a visual input facility for programming environments have to be translated into some kind of semantic description. This paper describes such a meth...
COOPIS
2000
IEEE
14 years 26 days ago
2000
IEEE
Abstract. A main problem for electronic commerce, particularly for businessto-business applications, lies in the need for the involved information systems to meaningfully exchange ...