1027 search results - page 189 / 206 » Representing and Reasoning with Operational Semantics |
136
click to vote
ESSLLI
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents a grammar formalism in which constituent graphs are unions of a continuous surface tree and a discontinuous deep tree. The formalism has an object-oriented desi...
169
click to vote
TLDI
2010
ACM
15 years 4 months ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
141
click to vote
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Enterprise modelling focuses on the construction of a structured description, the so-called enterprise model, which represents aspects relevant to the activity of an ente...
181
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
147
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...