The following pages link to Programming Languages and Systems (Q5493378):
Displaying 19 items.
- Deciding effectively propositional logic using DPLL and substitution sets (Q972432) (← links)
- Client-based cohesion metrics for Java programs (Q1016650) (← links)
- Certifying standard and stratified Datalog inference engines in SSReflect (Q1687733) (← links)
- kProbLog: an algebraic Prolog for machine learning (Q1699913) (← links)
- Demand-driven interprocedural analysis for map-based abstract domains (Q1785851) (← links)
- Modular materialisation of Datalog programs (Q2144176) (← links)
- First-order temporal logic monitoring with BDDs (Q2225472) (← links)
- Making sense of raw input (Q2238697) (← links)
- Survey on JavaScript security policies and their enforcement mechanisms in a web browser (Q2436507) (← links)
- kProbLog: An Algebraic Prolog for Kernel Programming (Q2827476) (← links)
- Deciding Effectively Propositional Logic Using DPLL and Substitution Sets (Q3541720) (← links)
- Enhancing Magic Sets with an Application to Ontological Reasoning (Q5108494) (← links)
- The Semantics of Datalog for the Evidential Tool Bus (Q5403073) (← links)
- Program Analysis Using Weighted Pushdown Systems (Q5458821) (← links)
- Static Analysis (Q5466570) (← links)
- A Scalable Inclusion Constraint Solver Using Unification (Q5504597) (← links)
- Efficient Runtime Verification of First-Order Temporal Properties (Q5883570) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- Declarative Data Analysis Using Limit Datalog Programs (Q6488099) (← links)
