Are the logical foundations of verifying compiler prototypes matching user expectations? (Q2643125): Difference between revisions

@@ Property / cites work @@
+SPARK
@@ Property / cites work: SPARK / rank @@
+Normal rank
@@ Property / cites work @@
+A logic covering undefinedness in program proofs
@@ Property / cites work: A logic covering undefinedness in program proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122694
@@ Property / cites work: Q3122694 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
+Normal rank
@@ Property / cites work @@
+Q4417801
@@ Property / cites work: Q4417801 / rank @@
+Normal rank
@@ Property / cites work @@
+A typed logic of partial functions reconstructed classically
+Normal rank
@@ Property / cites work @@
+Q4002228
@@ Property / cites work: Q4002228 / rank @@
+Normal rank
@@ Property / cites work @@
+Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus
+Normal rank
@@ Property / cites work @@
+Q4371400
@@ Property / cites work: Q4371400 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729071
@@ Property / cites work: Q2729071 / rank @@
+Normal rank
@@ Property / cites work @@
+The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML
+Normal rank
@@ Property / cites work @@
+Q2769594
@@ Property / cites work: Q2769594 / rank @@
+Normal rank
@@ Property / cites work @@
+Writing Larch interface language specifications
@@ Property / cites work: Writing Larch interface language specifications / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPARK
@@ Property / describes a project that uses: SPARK / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LARCH
@@ Property / describes a project that uses: LARCH / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Visual C#
@@ Property / describes a project that uses: Visual C# / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Spec#
@@ Property / describes a project that uses: Spec# / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LOOP
@@ Property / describes a project that uses: LOOP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Splint
@@ Property / describes a project that uses: Splint / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LCLint
@@ Property / describes a project that uses: LCLint / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KRAKATOA
@@ Property / describes a project that uses: KRAKATOA / 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 @@
+ESC/Java
@@ Property / describes a project that uses: ESC/Java / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ada95
@@ Property / describes a project that uses: Ada95 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Eiffel
@@ Property / describes a project that uses: Eiffel / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KeY
@@ Property / describes a project that uses: KeY / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Jass
@@ Property / describes a project that uses: Jass / 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/s00165-006-0016-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2127225601
@@ Property / OpenAlex ID: W2127225601 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q121712811
@@ Property / Wikidata QID: Q121712811 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2643125