5451 search results - page 60 / 1091 » Typed Operational Semantics |
160
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
158
click to vote
IJCIS
1998
15 years 5 months ago
1998
The problem of integrating information from con icting sources comes up in many current applications, such as cooperative information systems, heterogeneous databases, and multi-a...
160
click to vote
AC
2000
Springer
15 years 10 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
109
click to vote
CAISE
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes two different ways of understanding operation contracts in conceptual modeling: the strict and the extended interpretations. The main difference between them l...
148
click to vote
GG
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....