✦ LIBER ✦

Automatic verification of recursive procedures with one integer parameter

✍ Scribed by Ahmed Bouajjani; Peter Habermehl; Richard Mayr

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 220 KB
Volume: 295
Category: Article
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(02)00397-3

No coin nor oath required. For personal study only.

✦ Synopsis

Context-free processes (BPA) have been used for data ow analysis in recursive procedures with applications in optimizing compilers (

📜 SIMILAR VOLUMES

Computer simulation of an automatic clas

Computer simulation of an automatic classification procedure for digitally modulated communication signals with unknown parameters

✍ F.F. Liedtke 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 891 KB

Verification of an on line in vivo semic

Verification of an on line in vivo semiconductor dosimetry system for TBI with two TLD procedures

✍ F. Sánchez-Doblado; J.A. Terrón; B. Sánchez-Nieto; R. Arráns; L. Errazquin; D. B 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 152 KB

On using different finite elements with

On using different finite elements with an automatic adaptive refinement procedure for the solution of 2-D stress analysis problems

✍ C. K. Lee; R. E. Hobbs 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 439 KB 👁 2 views

A series of numerical tests is carried out employing some commonly used finite elements for the solution of 2-D elastostatic stress analysis problems with an automatic adaptive refinement procedure. Different kinds of elements including Lagrangian quadrilateral and triangular elements, serendipity q