Programming Languages and Systems
From MaRDI portal
Publication:5493378
DOI10.1007/11575467zbMath1159.68386MaRDI QIDQ5493378
Monica S. Lam, Michael Carbin, Dzintars Avots, John Whaley
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Related Items
Efficient Runtime Verification of First-Order Temporal Properties, Modular materialisation of Datalog programs, Certifying standard and stratified Datalog inference engines in SSReflect, Fifty Years of Prolog and Beyond, Enhancing Magic Sets with an Application to Ontological Reasoning, kProbLog: an algebraic Prolog for machine learning, Survey on JavaScript security policies and their enforcement mechanisms in a web browser, Deciding Effectively Propositional Logic Using DPLL and Substitution Sets, First-order temporal logic monitoring with BDDs, Making sense of raw input, The Semantics of Datalog for the Evidential Tool Bus, Deciding effectively propositional logic using DPLL and substitution sets, Demand-driven interprocedural analysis for map-based abstract domains, Program Analysis Using Weighted Pushdown Systems, Client-based cohesion metrics for Java programs, kProbLog: An Algebraic Prolog for Kernel Programming, A Scalable Inclusion Constraint Solver Using Unification
Uses Software
