Back to Results
First PageMeta Content
Predicate logic / Predicate transformer semantics / Program logic / Logic programming / B-tree / Predicate / FO / Symbol / Theoretical computer science / Logic / Mathematical logic


Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ?
Add to Reading List

Document Date: 2015-02-26 04:48:53

Open Document

File Size: 468,96 KB

Share Result on Facebook

Company

S xU (a) sA / /

Country

Germany / /

Facility

Wolfgang Reif University of Augsburg / /

IndustryTerm

insert algorithm / file systems / finite transition systems / dynamic memory management / deletion algorithms / carrier set / deletion algorithm / carrier sets / /

Organization

U.S. Securities and Exchange Commission / Wolfgang Reif University of Augsburg / KIV / /

Person

Code Fig / Gerhard Schellhorn / /

Position

node head / rt / rn r1 rt / editor / guard / BEntry rt / The parameter rt / /

Product

inH / /

ProgrammingLanguage

Java / /

Technology

http / dom / 6 7 9 2.1 Algorithms / relevant algorithms / Java / insert algorithm / routine split node The deletion algorithm / deletion algorithm / deletion algorithms / /

SocialTag