Bi-inductive structural semantics.
Inf. Comput 01/2009; 207:258-283. pp.258-283
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.