Article
Bi-inductive structural semantics.
Inf. Comput
01/2009;
207:258-283.
pp.258-283
Source: DBLP
-
Citations (0)
- Cited In (2)
-
Conference Proceeding: Trace-Based Coinductive Operational Semantics for While.
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings; 01/2009 -
Conference Proceeding: A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While.
Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings; 01/2010
Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed.
The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual
current impact factor.
Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence
agreement may be applicable.
