Efficient and flexible access control via Jones-optimal logic program specialisation (Q2271897): Difference between revisions

@@ Property / describes a project that uses @@
+XSB
@@ Property / describes a project that uses: XSB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LOGEN
@@ Property / describes a project that uses: LOGEN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ECCE
@@ Property / describes a project that uses: ECCE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2003107385
@@ Property / OpenAlex ID: W2003107385 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation
@@ Property / cites work: Logic programming and knowledge representation / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient and flexible access control via Jones-optimal logic program specialisation
+Normal rank
@@ Property / cites work @@
+Generating action compilers by partial evaluation
@@ Property / cites work: Generating action compilers by partial evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4441489
@@ Property / cites work: Q4441489 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial evaluation of computation process -- an approach to a compiler-compiler
+Normal rank
@@ Property / cites work @@
+Q4391450
@@ Property / cites work: Q4391450 / rank @@
+Normal rank
@@ Property / cites work @@
+Flexible support for multiple access control policies
+Normal rank
@@ Property / cites work @@
+Q4038724
@@ Property / cites work: Q4038724 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+How to control unfolding when specializing interpreters
+Normal rank
@@ Property / cites work @@
+Q4414739
@@ Property / cites work: Q4414739 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic program specialisation through partial  deduction: Control issues
+Normal rank
@@ Property / cites work @@
+Creating specialised integrity checks through partial evaluation of meta-interpreters
+Normal rank
@@ Property / cites work @@
+Program Development in Computational Logic
@@ Property / cites work: Program Development in Computational Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Offline specialisation in Prolog using a hand-written compiler generator
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472542
@@ Property / cites work: Q4472542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / rank @@
+Normal rank
@@ Property / cites work @@
+Mixtus: An automatic partial evaluator for full Prolog
+Normal rank