Publication | Date of Publication | Type |
---|
Parallel Logic Programming: A Sequel | 2023-12-12 | Paper |
Analysis and Transformation of Constrained Horn Clauses for Program Verification | 2023-12-12 | Paper |
Multivariant assertion-based guidance in abstract interpretation | 2023-11-09 | Paper |
A General Framework for Static Cost Analysis of Parallel Logic Programs | 2022-08-25 | Paper |
Incremental Analysis of Logic Programs with Assertions and Open Predicates | 2022-08-25 | Paper |
Computing Abstract Distances in Logic Programs | 2022-08-25 | Paper |
An Integrated Approach to Assertion-Based Random Testing in Prolog | 2022-08-25 | Paper |
Testing your (static analysis) truths | 2022-03-23 | Paper |
Optimized algorithms for incremental analysis of logic programs | 2022-02-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q5020649 | 2022-01-06 | Paper |
Incremental and Modular Context-sensitive Analysis | 2021-09-03 | Paper |
Inferring energy bounds via static program analysis and evolutionary modeling of basic blocks | 2018-09-06 | Paper |
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption | 2018-05-31 | Paper |
Practical run-time checking via unobtrusive property caching | 2017-11-09 | Paper |
Description and Optimization of Abstract Machines in a Dialect of Prolog | 2017-11-09 | Paper |
Semantic code browsing | 2017-11-09 | Paper |
A general framework for static profiling of parametric resource usage | 2017-11-09 | Paper |
A Transformational Approach to Parametric Accumulated-Cost Static Profiling | 2016-04-04 | Paper |
Pre-indexed Terms for Prolog | 2015-10-02 | Paper |
Some challenges for constraint programming | 2015-06-15 | Paper |
A sharing-based approach to supporting adaptation in service compositions | 2015-01-26 | Paper |
Modular Extensions for Modular (Logic) Languages | 2013-03-13 | Paper |
Lightweight compilation of (C)LP to JavaScript | 2013-03-13 | Paper |
Interval-Based Resource Usage Verification: Formalization and Prototype | 2012-11-02 | Paper |
Certificate size reduction in abstraction-carrying code | 2012-08-30 | Paper |
An overview of Ciao and its design philosophy | 2012-06-25 | Paper |
Lock-free parallel dynamic programming | 2012-03-07 | Paper |
Efficient local unfolding with ancestor stacks | 2011-08-17 | Paper |
Parallel backtracking with answer memoing for independent and-parallelism | 2011-08-16 | Paper |
Efficient Negation Using Abstract Interpretation | 2011-05-06 | Paper |
Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses | 2010-06-29 | Paper |
Program Parallelization Using Synchronized Pipelining | 2010-05-04 | Paper |
Non-strict independence-based program parallelization using sharing and freeness information | 2009-11-04 | Paper |
Abstract Interpretation with Specialized Definitions | 2009-03-12 | Paper |
Automatic Binding-Related Error Diagnosis in Logic Programs | 2009-03-05 | Paper |
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs | 2009-01-22 | Paper |
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs | 2009-01-22 | Paper |
Negative Ternary Set-Sharing | 2009-01-22 | Paper |
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism | 2009-01-22 | Paper |
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs | 2009-01-15 | Paper |
Abstraction-carrying code: a model for mobile code safety | 2008-10-20 | Paper |
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy | 2008-06-19 | Paper |
Context-Sensitive Multivariant Assertion Checking in Modular Programs | 2008-05-27 | Paper |
Determinacy Analysis for Logic Programs Using Mode and Type Information | 2008-04-24 | Paper |
Efficient Local Unfolding with Ancestor Stacks for Full Prolog | 2008-04-24 | Paper |
Precise Set Sharing Analysis for Java-Style Programs | 2008-04-04 | Paper |
Reduced Certificates for Abstraction-Carrying Code | 2008-03-11 | Paper |
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation | 2008-03-11 | Paper |
Functional and Logic Programming | 2007-09-25 | Paper |
Towards Description and Optimization of Abstract Machines in an Extension of Prolog | 2007-09-10 | Paper |
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems | 2007-05-02 | Paper |
Logic Programming | 2006-06-27 | Paper |
Logic Programming | 2006-06-27 | Paper |
Program Development in Computational Logic | 2005-12-23 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning | 2005-11-10 | Paper |
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor) | 2005-10-10 | Paper |
Logic Programming | 2005-08-26 | Paper |
Euro-Par 2004 Parallel Processing | 2005-08-23 | Paper |
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making | 2005-08-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4813396 | 2004-08-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4737145 | 2004-08-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4436362 | 2003-12-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4424850 | 2003-09-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4421873 | 2003-09-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4537117 | 2002-11-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4536719 | 2002-08-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4537510 | 2002-07-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4536899 | 2002-06-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4702568 | 2002-02-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q2767050 | 2002-01-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q2767152 | 2002-01-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q2723933 | 2001-07-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q4499255 | 2001-03-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4499257 | 2001-03-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4499250 | 2001-03-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q4499271 | 2001-03-05 | Paper |
Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming | 2000-10-26 | Paper |
Abstract multiple specialization and its application to program parallelization | 2000-02-06 | Paper |
Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism | 1999-07-20 | Paper |
Exploiting goal independence in the analysis of logic programs | 1998-03-16 | Paper |
Partial order and contextual net semantics for atomic and locally atomic CC programs | 1998-02-25 | Paper |
A methodology for granularity-based control of parallelism in logic programs | 1997-10-22 | Paper |
Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions | 1995-04-06 | Paper |
Compile-time derivation of variable dependency using abstract interpretation | 1992-09-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q3732946 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3732947 | 1986-01-01 | Paper |