742 search results - page 74 / 149 » Formal Grammar for Java |
AGTIVE
1999
Springer
14 years 7 days ago
1999
Springer
DiaGen is a specification method, which is primarily based on a hypergraph grammar, and a tool that allows to automatically generate diagram editors from such a specification. Ge...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Operator precedence grammars define a classical Boolean and deterministic context-free family (called Floyd languages or FLs). FLs have been shown to strictly include the...
AGTIVE
2007
Springer
14 years 2 months ago
2007
Springer
We present the EMF Model Transformation framework (EMT), which supports the rule-based modification of EMF models. Model transformation rules are defined graphically and compiled...
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
POPL
2003
ACM
14 years 8 months ago
2003
ACM
The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization XML Schema. A formal semantic...