Ciao
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Non-strict independence-based program parallelization using sharing and freeness information
- Abstract interpretation of resolution-based semantics
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
- COSTA
- CS-Prolog
- PAG
- TCHR
- LPTP
- HYPROLOG
- LOGEN
- ECCE
- DLV-Complex
- Inferring energy bounds via static program analysis and evolutionary modeling of basic blocks
- DASWAM
- A polymorphic type dependency analysis for logic programs
- PURRS
- clpfd
- CDAOstore
- Prolog
- wamcc
- PAN: A portable, parallel Prolog: Its design, realisation and performance.
- YAP-Prolog
- B-Prolog
- ATGen
- Hiord
- PhyloWS
- Mercury
- Testing your (static analysis) truths
- TRACER
- GENA
- DPPD
- HSF
- CiaoPP
- Closed-form upper bounds in static cost analysis
- SICStus
- WebPIE
- net.datastructures
- NP Datalog
- Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
- XSB
- CAT
- YapOr
- OPTYap
- PrologCheck
- CoALP
- A transformational approach to parametric accumulated-cost static profiling
- Modelling multicast QoS routing by using best-tree search in and-or graphs and soft constraint logic programming
- A study on the practicality of poly-controlled partial evaluation
- A framework for verification and debugging of resource usage properties: resource usage verification
- Resource usage analysis of logic programs via abstract interpretation using sized types
- From fuzzy to annotated semantic web languages
- SeaHorn
- FRIL
- FPROLOG
- Interval-based resource usage verification: formalization and prototype
- Goblint
- SWI-Prolog
- ACE
- VeriMAP
- DeLorean
- PARLOG
- GHC
- Abstract Interpretation with Specialized Definitions
- RAHFT
- Towards a Type Discipline for Answer Set Programming
- April
- JayHorn
- Cibai
- LPaaS
- TiML
- Refal
- HaLoop
- Yedalog
- SWISH DataLab
- scientific article; zbMATH DE number 1497828 (Why is no real title available?)
- scientific article; zbMATH DE number 1497832 (Why is no real title available?)
- scientific article; zbMATH DE number 1497834 (Why is no real title available?)
- scientific article; zbMATH DE number 1497843 (Why is no real title available?)
- Practical run-time checking via unobtrusive property caching
- Description and optimization of abstract machines in a dialect of Prolog
- Semantic code browsing
- A general framework for static profiling of parametric resource usage
- Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
- scientific article; zbMATH DE number 2090844 (Why is no real title available?)
- Incremental and modular context-sensitive analysis
- Extending constructive logic negation with types
- scientific article; zbMATH DE number 7453190 (Why is no real title available?)
- Relational cost analysis in a functional-imperative setting
- Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
- Three improvements to the top-down solver
- Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP*
- SCLP for Trust Propagation in Small-World Networks
- Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
- Functional and Logic Programming
- Reduced Certificates for Abstraction-Carrying Code
- Efficient Local Unfolding with Ancestor Stacks for Full Prolog
- SenticNet
- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
- A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
This page was built for software: Ciao
