1005 search results - page 21 / 201 » Operational Semantics and Program Equivalence |
ICFP
1998
ACM
13 years 11 months ago
1998
ACM
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...
JLP
2007
13 years 7 months ago
2007
The behavioral equivalence that is typically used to relate Markovian process terms and to reduce their underlying state spaces is Markovian bisimilarity. One of the reasons is th...
CP
2003
Springer
14 years 23 days ago
2003
Springer
VLDB
1994
ACM
13 years 11 months ago
1994
ACM
One important step in integrating heterogeneous databases is matching equivalent attributes: Determining which fields in two databasesrefer to the samedata. The meaning of informa...
IFIP
2004
Springer
14 years 27 days ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...