Towards proving type safety of .NET CIL (Q941469): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.scico.2008.05.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2072260485
@@ Property / OpenAlex ID: W2072260485 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards proving type safety of .NET CIL
@@ Property / cites work: Towards proving type safety of .NET CIL / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Evolving Algebras 1993: Lipari Guide
@@ Property / cites work: Evolving Algebras 1993: Lipari Guide / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract State Machines
@@ Property / cites work: Abstract State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+A high-level modular definition of the semantics of C\(_{\sharp}\)
+Normal rank
@@ Property / cites work @@
+Abstract State Machines 2004. Advances in Theory and Practice
+Normal rank
@@ Property / cites work @@
+Formal specification and verification of the C\(\#\) thread model
+Normal rank
@@ Property / cites work @@
+The theoretical foundations of LPTP (a logic program theorem prover)
+Normal rank
@@ Property / cites work @@
+Q5445117
@@ Property / cites work: Q5445117 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / 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 @@
+Q2742791
@@ Property / cites work: Q2742791 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Components and Objects
@@ Property / cites work: Formal Methods for Components and Objects / rank @@
+Normal rank
@@ Property / cites work @@
+Q4283242
@@ Property / cites work: Q4283242 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4873990
@@ Property / cites work: Q4873990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520504
@@ Property / cites work: Q4520504 / rank @@
+Normal rank
@@ Property / cites work @@
+A mathematical definition of full Prolog
@@ Property / cites work: A mathematical definition of full Prolog / rank @@
+Normal rank