Horn clauses as an intermediate representation for program analysis and transformation (Q4592995): Difference between revisions

@@ Property / describes a project that uses @@
+Mercury
@@ Property / describes a project that uses: Mercury / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TRACER
@@ Property / describes a project that uses: TRACER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UFO
@@ Property / describes a project that uses: UFO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Threader
@@ Property / describes a project that uses: Threader / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VeriMAP
@@ Property / describes a project that uses: VeriMAP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57664991
@@ Property / Wikidata QID: Q57664991 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05762
@@ Property / arXiv ID: 1507.05762 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7--13, 2012. Proceedings
+Normal rank
@@ Property / cites work @@
+Cost analysis of object-oriented bytecode programs
+Normal rank
@@ Property / cites work @@
+Tools and algorithms for the construction and analysis of systems. 20th international conference, TACAS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5--13, 2014. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4417894
@@ Property / cites work: Q4417894 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14--20, 2011. Proceedings
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Static analysis. 5th international symposium, SAS '98, Pisa, Italy, September 14--16, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+The execution algorithm of mercury, an efficient purely declarative logic programming language
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3098190183
@@ Property / OpenAlex ID: W3098190183 / rank @@
+Normal rank