Results 11 to 20 of about 6,088,727 (313)
Deductive and inductive synthesis of equational programs
Journal of Symbolic Computation, 1993 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Uday S. Reddy, Nachum Dershowitz
openaire +2 more sources
Redesign and validation of a computer programming course using Inductive Teaching Method.
PLoS ONE, 2020 Inductive Teaching Method (ITM) promotes effective learning in technological education (Felder & Silverman, 1988). Students prefer ITM more as it makes the subject easily understandable (Goltermann, 2011).
Iftikhar Ahmed Khan +6 more
doaj +3 more sources
Cubical agda: a dependently typed programming language with univalence and higher inductive types [PDF]
Journal of functional programming, 2019 Proof assistants based on dependent type theory provide expressive languages for both programming and proving within the same system. However, all of the major implementations lack powerful extensionality principles for reasoning about equality, such as ...
Andrea Vezzosi +2 more
semanticscholar +2 more sources
Inductive Logic Programming [PDF]
, 2015 Proceedings of the 24th International Conference on Inductive Logic Programming, Nancy, France, September 14-16, 2014.
Jan Ramon, Jesse Davis
openaire +3 more sources
Logic programs as specifications in the inductive verification of logic programs
Electronic Notes in Theoretical Computer Science, 2001 AbstractIn this paper we define a new verification method based on an assertion language able to express properties defined by the user through a logic program. We first apply the verification framework defined in [3] to derive sufficient inductive conditions to prove partial correctness.
Comini M, GORI, ROBERTA, Levi G.
openaire +5 more sources
Inductive sequentialization of asynchronous programs [PDF]
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020 Asynchronous programs are notoriously difficult to reason about because they spawn computation tasks which take effect asynchronously in a nondeterministic way. Devising inductive invariants for such programs requires understanding and stating complex relationships between an unbounded number of computation tasks in arbitrarily long executions. In this
Kragl, Bernhard +4 more
openaire +3 more sources
Refining Inductive Types [PDF]
Logical Methods in Computer Science, 2012 Dependently typed programming languages allow sophisticated properties of data to be expressed within the type system. Of particular use in dependently typed programming are indexed types that refine data by computationally useful information.
Robert Atkey +2 more
doaj +1 more source
Conflict-driven Inductive Logic Programming [PDF]
Theory and Practice of Logic Programming, 2020 The goal of inductive logic programming (ILP) is to learn a program that explains a set of examples. Until recently, most research on ILP targeted learning Prolog programs. The ILASP system instead learns answer set programs (ASP).
Mark Law
semanticscholar +1 more source
Induction in component-based software synthesis
Lietuvos Matematikos Rinkinys, 2023 The automatic programming and automatic software synthesis systems are relevant software engineering research objects. This article presents the prospects of induction as a component-based software synthesis method.
Vaidas Giedrimas
doaj +3 more sources
Extending Coinductive Logic Programming with Co-Facts [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We introduce a generalized logic programming paradigm where programs, consisting of facts and rules with the usual syntax, can be enriched by co-facts, which syntactically resemble facts but have a special meaning.
Davide Ancona +2 more
doaj +1 more source