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
Nachtrag I zur Stations-Statistik der Preuischen Staatseisenbahnen
$44.99
Conserving Americas Neighborhoods
$39.99
Fourierist Communities of Reform
$159.99
High-Performance Composite Structures
$199.99
Optimization in Industry
$109.99
Die Unternehmensberatung
$69.99
Understanding Local Agency in Chinas Policy Reform
$129.99
Management unternehmerischer Handlungspotentiale
$49.99
United States Health Care Policymaking
$39.99
Shock and Materials
$179.99
Humic Substances in the Aquatic and Terrestrial Environment
$39.99
Das globale Netz
$17.99
Hfte
$84.99
Theory of the Electron
$109.00
High Dimensional Probability II
$129.00
Advertising
$11.99
Observing the Messier Objects with a Telescope
$39.99
The Colombian Economy and Its Regional Structural Challenges
$199.99
Lsungsbuch Steuerungstechnik mit SPS
$34.99
Biomonitoring Air Pollutants with Plants
$109.99
Prozessethik
$49.99
Mobile Data Mining
$54.99
Applications of Dynamical Systems in Biology and Medicine
$109.99
Quantitative Investing
$129.99
Radioisotopic Methods in Hydrobiology
$84.99
VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms
$54.99
Kommunikationsstrategien im Systemgeschft
$49.99
Unifying Themes in Complex Systems IX
$169.99
International Direct Marketing
$54.99
The Challenge of Cognitive Therapy
$84.99
Erzeugung und Analyse von Bildern und Strukturen
$69.99
East Africas Human Environment Interactions
$139.99
Cuban American Political Culture and Civic Organizing
$119.99
Biological Magnetic Resonance
$169.00
Educational Innovation in Economics and Business II
$109.99
Transcultural Encounters in Knowledge Production and Consumption
$54.99
Worlds of Work
$84.99
Sprachkritik und Erzhlstruktur. Studien zu Kafkas Poetik
$79.99
A Primer of Subquasivariety Lattices
$79.99
Betriebswirtschaftslehre des Handels
$59.99
