Coalgebras and monads in the semantics of Java (Q1853752): Difference between revisions

@@ Property / describes a project that uses @@
+LOOP
@@ Property / describes a project that uses: LOOP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JML
@@ Property / describes a project that uses: JML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499313
@@ Property / cites work: Q4499313 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722012
@@ Property / cites work: Q2722012 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769594
@@ Property / cites work: Q2769594 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771757
@@ Property / cites work: Q2771757 / rank @@
+Normal rank
@@ Property / cites work @@
+Correct and Robust Programs
@@ Property / cites work: Correct and Robust Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic Domain Theory in Categories of Partial Maps
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122694
@@ Property / cites work: Q3122694 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754051
@@ Property / cites work: Q2754051 / rank @@
+Normal rank
@@ Property / cites work @@
+A case study in class library verification: Java's vector class
+Normal rank
@@ Property / cites work @@
+The temporal logic of coalgebras via Galois algebras
+Normal rank
@@ Property / cites work @@
+Q4499308
@@ Property / cites work: Q4499308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763679
@@ Property / cites work: Q2763679 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
+Normal rank
@@ Property / cites work @@
+Q2767171
@@ Property / cites work: Q2767171 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2764132
@@ Property / cites work: Q2764132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong functors and monoidal monads
@@ Property / cites work: Strong functors and monoidal monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769437
@@ Property / cites work: Q2769437 / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying coalgebras with modal logic
@@ Property / cites work: Specifying coalgebras with modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3950708
@@ Property / cites work: Q3950708 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to object semantics based on terminal co-algebras
+Normal rank
@@ Property / cites work @@
+Q4499303
@@ Property / cites work: Q4499303 / rank @@
+Normal rank
@@ Property / cites work @@
+From modal logic to terminal coalgebras
@@ Property / cites work: From modal logic to terminal coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / rank @@
+Normal rank
@@ Property / cites work @@
+Comprehending monads
@@ Property / cites work: Comprehending monads / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(02)00366-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2149123662
@@ Property / OpenAlex ID: W2149123662 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1853752