✦ LIBER ✦

Verifying definite iteration over data structures

✍ Scribed by Stavely, A.M.

Book ID: 117872071
Publisher: IEEE
Year: 1995
Tongue: English
Weight: 917 KB
Volume: 21
Category: Article
ISSN: 0098-5589
DOI: 10.1109/32.391377

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Symbolic method of verification of defin

Symbolic method of verification of definite iterations over altered data structures

✍ V. A. Nepomniaschy 📂 Article 📅 2005 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 121 KB

Symbolic method of verification of defin

Symbolic method of verification of definite iterations over altered data structures

✍ V. A. Nepomniaschy 📂 Article 📅 2005 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 126 KB

Verifying Concurrent Data Structures by

Verifying Concurrent Data Structures by Simulation

✍ Robert Colvin; Simon Doherty; Lindsay Groves 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 322 KB

Verification of Finite Iterations over T

Verification of Finite Iterations over Tuples of Data Structures

✍ V. A. Nepomniaschy 📂 Article 📅 2002 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 77 KB

Inductive definitions over finite struct

Inductive definitions over finite structures

✍ Daniel Leivant 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 732 KB

Verifying the operational definition of

Verifying the operational definition of neighborhood for the psychosocial impact of structural deterioration

✍ Daniel J. Kruger 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 125 KB

## Abstract The physical decay of neighborhoods is associated with social conditions such as disease risk, poor mental health, and fear of crime. Researchers assessing neighborhood effects commonly operationalize neighborhoods via municipal boundaries such as U.S. Census Tracts, although more sophi