89 search results - page 10 / 18 » A Semantic Characterization of Unbounded-Nondeterministic Ab... |
80
Voted
JUCS
2008
14 years 9 months ago
2008
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
ENTCS
2007
14 years 9 months ago
2007
Operational semantics for programming languages usually come in two flavours: big-step and small-step. Both are defined using deduction rules with a congruence rule allowing redu...
75
Voted
BIRTHDAY
2009
Springer
14 years 10 months ago
2009
Springer
Conventional computation models restrict to particular data structures to represent states of a computation, e.g. natural numbers, s, stacks, etc. Gurevich's Abstract State Ma...
100
Voted
ESWS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we describe a methodology for harvesting information from large distributed repositories (e.g. large Web sites) with minimum user intervention. The methodol...
POPL
2000
ACM
15 years 1 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...