Extracting a data flow analyser in constructive logic (Q2566027): Difference between revisions

@@ Property / describes a project that uses @@
+Jakarta
@@ Property / describes a project that uses: Jakarta / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OCaml
@@ Property / describes a project that uses: OCaml / 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.tcs.2005.06.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2009375997
@@ Property / OpenAlex ID: W2009375997 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4785541
@@ Property / cites work: Q4785541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763680
@@ Property / cites work: Q2763680 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551130
@@ Property / cites work: Q4551130 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808836
@@ Property / cites work: Q4808836 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified bytecode verifiers.
@@ Property / cites work: Verified bytecode verifiers. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Building Certified Static Analysers by Modular Construction of Well-founded Lattices
+Normal rank
@@ Property / cites work @@
+Operational semantics of the Java Card Virtual Machine
+Normal rank