Weakest Precondition for General Recursive Programs Formalized in Coq

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-45685-6_22
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Partial Derivative Automata Formalized in Coq

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Modular Verification of Programs With Effects and Effect Handlers in Coq

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Bottom-Up Computation of Recursive Programs

Revue française d'automatique informatique recherche opérationnelle. Informatique théorique
1976English

Recursive Programs as Definitions in First-Order Logic

SIAM Journal on Computing
MathematicsComputer Science
1984English

Pac-Learning Recursive Logic Programs: Efficient Algorithms

Journal of Artificial Intelligence Research
Artificial Intelligence
1995English

Pac-Learning Recursive Logic Programs: Negative Results

Journal of Artificial Intelligence Research
Artificial Intelligence
1995English

Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

A Theorem on General Recursive Functions

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1960English

Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study

IPSJ Digital Courier
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy