scientific article
From MaRDI portal
Publication:2711194
zbMath0973.68147MaRDI QIDQ2711194
Publication date: 6 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Proof theory and constructive mathematics (03F99)
Related Items
Algorithm design through the optimization of reuse-based generation, Combining Top-Down and Bottom-Up Techniques in Program Derivation, Cocktail