scholarly journals Proof rules for recursive procedures

1993 ◽  
Vol 5 (6) ◽  
pp. 554-570 ◽  
Author(s):  
Wim H. Hesselink
Keyword(s):  
Proof Rules ◽  
Recursive Procedures

FRACTAL DIMENSION, PRIMES, AND THE PERSISTENCE OF MEMORY

2003 ◽  
Vol 06 (02) ◽  
pp. 241-249
Author(s):  
JOSEPH L. PE
Keyword(s):  
Number Theory ◽  
Fractal Dimension ◽  
Fractal Dimensions ◽  
Distinguishing Characteristic ◽  
Local Behavior ◽  
Remarkable Similarity ◽  
Recursive Procedures

Many sequences from number theory, such as the primes, are defined by recursive procedures, often leading to complex local behavior, but also to graphical similarity on different scales — a property that can be analyzed by fractal dimension. This paper computes sample fractal dimensions from the graphs of some number-theoretic functions. It argues for the usefulness of empirical fractal dimension as a distinguishing characteristic of the graph. Also, it notes a remarkable similarity between two apparently unrelated sequences: the persistence of a number, and the memory of a prime. This similarity is quantified using fractal dimension.

Synthesizing software verifiers from proof rules

2012 ◽  
Vol 47 (6) ◽  
pp. 405-416 ◽  
Author(s):  
Sergey Grebenshchikov ◽  
Nuno P. Lopes ◽  
Corneliu Popeea ◽  
Andrey Rybalchenko
Keyword(s):  
Proof Rules

scholarly journals Real-Time Properties of Indirect Recursive Procedures

2001 ◽  
Vol 171 (2) ◽  
pp. 156-182 ◽  
Author(s):  
Johann Blieberger
Keyword(s):  
Real Time ◽  
Recursive Procedures

scholarly journals Proving total correctness of recursive procedures

1990 ◽  
Vol 84 (2) ◽  
pp. 129-162 ◽  
Author(s):  
Pierre America ◽  
Frank de Boer
Keyword(s):  
Total Correctness ◽  
Recursive Procedures

Verifying B proof rules using deep embedding and automated theorem proving

2013 ◽  
Vol 14 (1) ◽  
pp. 101-119 ◽  
Author(s):  
Mélanie Jacquel ◽  
Karim Berkani ◽  
David Delahaye ◽  
Catherine Dubois
Keyword(s):  
Theorem Proving ◽  
Automated Theorem Proving ◽  
Proof Rules ◽  
Deep Embedding
Sign in / Sign up

Export Citation Format

Share Document