Copied A Connotational Theory of Program Structure
A Connotational Theory of Program Structure
This book presents developments of a language independent theory of program structure. The theory features a simple, natural notion of control structure which is much broader than in other theories of programming languages such as denotational semantics and program schemes. This notion permits treatment of control structures which involve not only the denotation of programs (i.e., their input/output behavior), but also their structure, size, run times, etc. The theory also treats the relation of control structure and complexity properties of programming languages. The book focuses on expressive interdependencies of control structures (which control structures can be expressed by which others). A general method of proving control structures expressively independent is developed. The book also considers characterizations of the expressive power of general purpose programming languages in terms of control structures. Several new characterizations are presented and two compactness results for such characterizations are shown.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Berechnung von Behltern nach neueren analytischen und graphischen Methoden
$59.99
nderungen des Habitus und der Gitterkonstanten des Zementits in Chromsthlen bei verschiedenen Wrm
$59.99
Physik fr Hochschulanfnger
$69.99
Sustainability Challenges in Sub-Saharan Africa I
$109.99
Pharmamarketing
$59.99
Generalized Dynamics of Soft-Matter Quasicrystals
$89.00
Ergebnisse der Verlaufsforschung bei Neurosen
$69.99
Turkish-French Relations
$109.99
Investigating Victorian Journalism
$39.99
Suchtvorbeugung in sterreich
$84.99
Advances in Cryogenic Engineering
$39.99
Versuche an Eisenbetonbalken
$59.99
Modeling Complex Data for Creating Information
$84.99
Politische Kommunikation in Deutschland
$29.99
Entscheidungsgesttzte Projektplanung
$49.99
Hyperglycemia, Diabetes and Vascular Disease
$119.00
Multimessenger Astronomie
$34.99
Chinas Infinite Transition and its Limits
$54.99
Trapping Single Ions and Coulomb Crystals with Light Fields
$39.99
The Contingent Valuation Method in Health Care
$39.99
Foundations of Information and Knowledge Systems
$54.99
Keyness Evolutionary Spirit
$89.00
Der Businessplan in Theorie und Praxis
$69.99
Handbook of Crystallography
$39.99
Advanced Finite Element Simulation with MSC Marc
$159.99
Creating Romanticism
$39.99
Technology and Practice of Passwords
$34.99
Regional Powers in the Middle East
$54.99
Mechanisms in Ancient Chinese Books with Illustrations
$84.99
Mass Cytometry
$249.99
Railways and the Economic Development of Western Europe, 1830-1914
$54.99
Classical and Quantum Mechanics of Noncentral Potentials
$39.99
Teaching and Learning Employability Skills in Career and Technical Education
$159.99
Global Stability Analysis of Shear Flows
$169.99
Essential Guide to RenderMan Shading Plugin Development
$64.99
A Changing Climate for Science
$59.99
Alumni-Netzwerke von Unternehmen
$17.99
Bewegungssteuerung durch Rechnersehen
$69.99
AI, IoT, Big Data and Cloud Computing for Industry 4.0
$169.99
Advertising
$11.99
