scientific article
From MaRDI portal
Publication:4040207
zbMath0648.68017MaRDI QIDQ4040207
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
computational complexityanalysis of algorithmsprogram optimizationtransformation of algorithmsoptimizing compilationblock schemesOptimizing transformationsprogramming automization
Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (2)
Transformational approach to program concretization ⋮ Analysis of program optimization possibilities and further development
This page was built for publication: