Image de couverture de livre

A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Fages, François
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Mathematical Software Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Programming Really Is Simple Mathematics
par: Meyer, Bertrand, et autres
Publié: (2025)

Automated Theorem Proving for Prolog Verification
par: Mesnard, Fred, et autres
Publié: (2026)

A Prolog Program for Bottom-up Evaluation
par: Warren, David S.
Publié: (2025)

GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
par: Chakraborty, Soham, et autres
Publié: (2025)

Guidelines for Producing Concise LNT Models, Illustrated with Formal Models of the Algorand Consensus Protocol
par: Garavel, Hubert
Publié: (2026)

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
par: Lang, Frédéric, et autres
Publié: (2024)

Leveraging Large Language Models to Boost Dafny's Developers Productivity
par: Silva, Álvaro, et autres
Publié: (2024)

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
par: Barth, Max, et autres
Publié: (2025)

CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses
par: Dobos-Kovács, Mihály, et autres
Publié: (2025)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
par: Kutsia, Temur, et autres
Publié: (2024)

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
par: Altuntas, Alper, et autres
Publié: (2025)

Customizing Static Analysis using Codesearch
par: Hayoun, Avi, et autres
Publié: (2024)

Contract Usage and Evolution in Android Mobile Applications
par: Ferreira, David R., et autres
Publié: (2024)

Context-Sensitive Abstract Interpretation of Dynamic Languages
par: Piszcz, Franciszek
Publié: (2024)

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
par: De Angelis, Emanuele, et autres
Publié: (2025)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
par: Deng, Haotian, et autres
Publié: (2025)

Establishing tool support for a concept DSL
par: Jakobsen, Nikolaj Kühne
Publié: (2025)

An Enumerative Embedding of the Python Type System in ACL2s
par: Xifaras, Samuel, et autres
Publié: (2025)

GNU Aris: a web application for students
par: Attri, Saksham, et autres
Publié: (2025)

Proceedings 9th edition of Working Formal Methods Symposium
par: Arusoaie, Andrei, et autres
Publié: (2025)

Flexible Correct-by-Construction Programming
par: Runge, Tobias, et autres
Publié: (2022)

Tunable Automation in Automated Program Verification
par: Bai, Alexander Y., et autres
Publié: (2025)

Termination Analysis of Linear-Constraint Programs
par: Ben-Amram, Amir M., et autres
Publié: (2025)

Verification Modulo Tested Library Contracts
par: Uppar, Abhishek, et autres
Publié: (2026)

DateSAT: A Framework for Solving Date and Period Constraints
par: Cui, Leyi, et autres
Publié: (2026)

Logical Predicates in Higher-Order Mathematical Operational Semantics
par: Goncharov, Sergey, et autres
Publié: (2024)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
par: Amato, Gianluca, et autres
Publié: (2024)

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
par: Munive, Jonathan Julián Huerta y, et autres
Publié: (2024)

Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2
par: Kaufmann, Matt, et autres
Publié: (2025)

Graphical Conditions for the Existence, Unicity and Number of Regular Models
par: Trinh, Van-Giang, et autres
Publié: (2025)

Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast
par: Fan, Wen, et autres
Publié: (2024)

A Second Soul: Celebrating the Many Languages of Programming -- Festschrift in Honor of Peter Thiemann's Sixtieth Birthday
par: Bieniusa, Annette, et autres
Publié: (2024)

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
par: Cristiá, Maximiliano, et autres
Publié: (2022)

Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
par: Ishii, Hiromi, et autres
Publié: (2025)

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
par: Endrullis, Jörg, et autres
Publié: (2025)

Proceedings 16th International Workshop on Graph Computation Models
par: Lambers, Leen, et autres
Publié: (2026)

A Coq Library of Sets for Teaching Denotational Semantics
par: Cao, Qinxiang, et autres
Publié: (2024)

Dafny as Verification-Aware Intermediate Language for Code Generation
par: Li, Yue Chen, et autres
Publié: (2025)

Traq: Estimating the Quantum Cost of Classical Programs
par: Peduri, Anurudh, et autres
Publié: (2025)

Agentic Proving for Program Verification
par: Sosso, Alessandro, et autres
Publié: (2026)