Type inference and strong static type checking for Promela (Q988201): Difference between revisions

@@ Property / describes a project that uses @@
+PROMELA
@@ Property / describes a project that uses: PROMELA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ETCH
@@ Property / describes a project that uses: ETCH / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+p2b
@@ Property / describes a project that uses: p2b / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / 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.1016/j.scico.2010.05.010
+Normal rank
@@ Property / OpenAlex ID @@
+W2068086706
@@ Property / OpenAlex ID: W2068086706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5452362
@@ Property / cites work: Q5452362 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531760
@@ Property / cites work: Q4531760 / rank @@
+Normal rank
@@ Property / cites work @@
+Feature interaction detection by pairwise analysis of LTL properties -- A case study
+Normal rank
@@ Property / cites work @@
+Objects and session types
@@ Property / cites work: Objects and session types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222755
@@ Property / cites work: Q4222755 / rank @@
+Normal rank
@@ Property / cites work @@
+Type error slicing in implicitly typed higher-order languages
+Normal rank
@@ Property / cites work @@
+The Principal Type-Scheme of an Object in Combinatory Logic
+Normal rank
@@ Property / cites work @@
+Q4937113
@@ Property / cites work: Q4937113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3108337
@@ Property / cites work: Q3108337 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518886
@@ Property / cites work: Q4518886 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic verification of a mobile network
@@ Property / cites work: An algebraic verification of a mobile network / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for type inference with subtyping
@@ Property / cites work: A framework for type inference with subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Simplifying subtyping constraints: a theory
@@ Property / cites work: Simplifying subtyping constraints: a theory / rank @@
+Normal rank
@@ Property / cites work @@
+Simplified Reducibility Proofs of Church-Rosser for β- and βη-reduction
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:988201