5451 search results - page 60 / 1091 » Typed Operational Semantics |
114
click to vote
ICLP
2005
Springer
15 years 8 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...
120
click to vote
IJCIS
1998
15 years 2 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...
127
click to vote
AC
2000
Springer
15 years 6 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...
CAISE
2005
Springer
15 years 8 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...
113
click to vote
GG
2010
Springer
15 years 3 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....