𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Unconstrained edges and their application to branch analysis and testing of programs

✍ Scribed by Antonia Bertolino

Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
894 KB
Volume
20
Category
Article
ISSN
0164-1212

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Decidability of logic program semantics
Decidability of logic program semantics and applications to testing
✍ Salvatore Ruggieri πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 248 KB

In this paper, we investigate the decidability problem of logic program semantics and observables, focusing in particular on the least Herbrand model (or M-semantics), the C-semantics, and the S-semantics. We introduce bounded logic programs, and show that they coincide with programs such that every

Application of circuit analysis programs
Application of circuit analysis programs to systems of partial differential equations
✍ W. R. Zimmerman πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 392 KB πŸ‘ 3 views

A general approach for solving systems of time domain partial differential equations using circuit analysis programs is described. The approach is then used to solve a nonlinear one-dimensional transient fluid flow problem. Using the general purpose circuit analysis program SPICE, the approach is fu