6794 search results - page 615 / 1359 » Semantics of Visual Languages |
294
click to vote
PPSWR
2005
Springer
16 years 21 days ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
160
click to vote
UML
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. State machines, represented by statecharts or statechart diagrams, are an important formalism for behavioural modelling. According to the research literature, the most po...
236
click to vote
IFM
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
184
click to vote
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
We present an unsupervised method for canonicalizing joshi (postpositions) in Japanese. Some postpositions in Japanese do not specify semantic roles explicitly as case markers do,...
229
click to vote
FOSSACS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...