Tool-assisted specification and verification of typed low-level languages (Q861687): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-005-0084-6
@@ Property / DOI: 10.1007/s10817-005-0084-6 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+OCaml
@@ Property / describes a project that uses: OCaml / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LETOS
@@ Property / describes a project that uses: LETOS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Jakarta
@@ Property / describes a project that uses: Jakarta / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Centaur
@@ Property / describes a project that uses: Centaur / 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/s10817-005-0084-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2142949137
@@ Property / OpenAlex ID: W2142949137 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484330
@@ Property / cites work: Q4484330 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736986
@@ Property / cites work: Q4736986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763680
@@ Property / cites work: Q2763680 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447243
@@ Property / cites work: Q4447243 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract State Machines
@@ Property / cites work: Abstract State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Automated theorem proving by test set induction
@@ Property / cites work: Automated theorem proving by test set induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3804239
@@ Property / cites work: Q3804239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767010
@@ Property / cites work: Q2767010 / rank @@
+Normal rank
@@ Property / cites work @@
+Typing a multi-language intermediate code
@@ Property / cites work: Typing a multi-language intermediate code / rank @@
+Normal rank
@@ Property / cites work @@
+Verified bytecode verifiers.
@@ Property / cites work: Verified bytecode verifiers. / rank @@
+Normal rank
@@ Property / cites work @@
+Verified bytecode subroutines
@@ Property / cites work: Verified bytecode subroutines / rank @@
+Normal rank
@@ Property / cites work @@
+A type system for JVM threads
@@ Property / cites work: A type system for JVM threads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553258
@@ Property / cites work: Q4553258 / rank @@
+Normal rank
@@ Property / cites work @@
+Java bytecode verification: Algorithms and formalizations
+Normal rank
@@ Property / cites work @@
+External rewriting for skeptical proof assistants
@@ Property / cites work: External rewriting for skeptical proof assistants / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769440
@@ Property / cites work: Q2769440 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2742791
@@ Property / cites work: Q2742791 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428316
@@ Property / cites work: Q4428316 / rank @@
+Normal rank
@@ Property / cites work @@
+Language Prototyping: An Algebraic Specification Approach
+Normal rank
@@ Property / DOI @@
+.1007/S10817-005-0084-6
@@ Property / DOI: 10.1007/S10817-005-0084-6 / rank @@
+Normal rank