Reasoning About Programs Using a Scientific Method

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-24559-6_2
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Reasoning About Multi-Stage Programs

Journal of Functional Programming
Software
2016English

Tutorial Notes: Reasoning About Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Reasoning About Object-Oriented Programs That Use Subtypes

1990English

Reasoning About Loops Using Vampire in KeY

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Equational Reasoning About Programs With General Recursion and Call-By-Value Semantics

2012English

Reasoning About Secure Interoperation Using Soft Constraints

English

Formal Reasoning About Systems Biology Using Theorem Proving

PLoS ONE
Multidisciplinary
2017English

Flexible Reasoning About Patient Management Using Multiple Models

Artificial Intelligence in Medicine
MedicineArtificial Intelligence
1991English

Using Triples to Reason About Concurrent Programs

1993English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy