Trace-Based Coinductive Operational Semantics for While (Q3183540): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CompCert
@@ Property / describes a project that uses: CompCert / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-03359-9_26
+Normal rank
@@ Property / OpenAlex ID @@
+W1585398629
@@ Property / OpenAlex ID: W1585398629 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+General Recursion via Coinductive Types
@@ Property / cites work: General Recursion via Coinductive Types / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Bi-inductive structural semantics
@@ Property / cites work: Bi-inductive structural semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219036
@@ Property / cites work: Q4219036 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075246
@@ Property / cites work: Q3075246 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics via Coinduction
@@ Property / cites work: Generic Trace Semantics via Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Coinductive big-step operational semantics
@@ Property / cites work: Coinductive big-step operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736399
@@ Property / cites work: Q4736399 / rank @@
+Normal rank
@@ Property / cites work @@
+Fractional Semantics
@@ Property / cites work: Fractional Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite semantics in the form of greatest fixpoint
+Normal rank
@@ Property / cites work @@
+A note on Coinduction and Weak Bisimilarity for While Programs
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3183540