✦ LIBER ✦

A randomly generated program for automatic identity checking

✍ Scribed by Germund Dahlquist; Ingemar Ingemarsson; Hans Riesel

Publisher: Springer Netherlands
Year: 1975
Tongue: English
Weight: 275 KB
Volume: 15
Category: Article
ISSN: 0006-3835
DOI: 10.1007/bf01931676

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

modulewriter: a program for automatic ge

modulewriter: a program for automatic generation of database interfaces

✍ Christina L Zheng; Fariba Fana; Poornaprajna V Udupi; Michael Gribskov 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 288 KB

MODULEWRITER is a PERL object relational mapping (ORM) tool that automatically generates database specific application programming interfaces (APIs) for SQL databases. The APIs consist of a package of modules providing access to each table row and column. Methods for retrieving, updating and saving

A syntactical chart method for program c

A syntactical chart method for program checking

✍ I. V. Vel'bitskii; G. A. Mikhailov; E. L. Yushchenko 📂 Article 📅 1970 🏛 Springer US 🌐 English ⚖ 245 KB

A pascal program for automatic generatio

A pascal program for automatic generation of robot kinematic equations

✍ Jadran Lenarčič; Andreja Umek 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 565 KB

A General Framework for Automatic Termin

A General Framework for Automatic Termination Analysis of Logic Programs

✍ Nachum Dershowitz; Naomi Lindenstrauss; Yehoshua Sagiv; Alexander Serebrenik 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 403 KB

Automatic checking for means of temperat

Automatic checking for means of temperature measurement

✍ S. A. Ivanov; A. I. Pokhodun; I. B. Truleva 📂 Article 📅 1983 🏛 Springer US 🌐 English ⚖ 249 KB

MPI-CHECK: a tool for checking Fortran 9

MPI-CHECK: a tool for checking Fortran 90 MPI programs

✍ Glenn Luecke; Hua Chen; James Coyle; Jim Hoekstra; Marina Kraeva; Yan Zou 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 115 KB 👁 1 views