Synthesis of Circular Compositional Program Proofs via Abduction

International Journal on Software Tools for Technology Transfer - Germany
doi 10.1007/s10009-015-0397-7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Identification of Proofs via Syzygies

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2019English

From Explanation to Synthesis: Compositional Program Induction for Learning From Demonstration

2019English

Compositional Characterization of Observable Program Properties

DAIMI Report Series
1990English

On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1996English

Abduction via C-Tableaux and Δ-Resolution

Journal of Applied Non-Classical Logics
PhilosophyLogic
2009English

Compositional Synthesis of Safety Controllers

English

Compositional Dataflow via Abstract Transition Systems

2013English

Automatic Synthesis of Assumptions for Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Learning Monolingual Compositional Representations via Bilingual Supervision

2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy