DOCSLIB.ORG

Concept Programming in XL the Art of Turning Ideas Into Programs

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Concept Programming in XL the Art of Turning Ideas Into Programs Concept Programming in XL The Art of Turning Ideas into Programs TM Concept Programming 1 2 Concept Programming Chapter 1— Introduction . 13 1.1. Why another language? . 14 1.2. Who should read this book?. 16 1.3. A quick tour of XL . 16 1.4. Contents Overview. 17 Chapter 2— Simple Examples . 19 2.1. Hello World . 20 2.2. Factorial Function . 21 2.3. Computing a Maximum . 24 2.4. Symbolic Differentiation . 26 Part I — Concept Programming . 31 Chapter 3— Concepts? . 33 3.1. Programming Philosophy. 34 3.2. Translating concepts. 37 3.3. Pseudo-Metrics. 45 3.4. Concept Mismatch . 48 3.5. In Conclusion . 51 Chapter 4— The Trouble with Programming . 53 4.1. Scale Complexity and Moore s Law . 54 4.2. Domain Complexity . 57 4.3. Artificial complexity . 58 4.4. Business Complexity . 64 4.5. The Grim State of Software Quality . 68 Chapter 5— From Concepts to Code . 71 5.1. Turning Ideas into Code. 72 Concept Programming 3 5.2. Abstractions . 77 5.3. Abstractions in Programs . 84 Part II —Core Language . .93 Chapter 6— Compiling XL . 95 6.1. Representing Programs . 96 6.2. Understanding Programs . 98 6.3. Compiling XL . 102 Chapter 7— Syntax . 105 7.1. Source Text. 106 7.2. Tokens . 107 7.3. Parse Tree . 112 7.4. Practical Considerations. 121 7.5. Beyond the Syntax . 126 Chapter 8— Declarations . 127 8.1. Variables. 128 8.2. Subroutines. 134 8.3. Types . 143 8.4. Constants . 143 Chapter 9— Control Flow . 145 9.1. Tests . 145 9.2. Loops . 145 9.3. Extensions . 146 Chapter 10—Generic Programming . 147 10.1. Generic Types. 148 10.2. Generic Functions . 148 4 Concept Programming 10.3. Defining Usable Notations. 148 Chapter 11—Objects. 149 11.1. Object-Oriented Programming. 149 11.2. Encapsulation . 150 11.3. Construction and Destruction. 150 11.4. Inheritance . 150 11.5. Dynamic Dispatch . 150 Chapter 12—Programming in the Large . 151 12.1. Design By Contract . 152 12.2. Modules . 152 12.3. Compiling Multiple Files . 152 Chapter 13—The Preprocessor. 153 Part III —Extensibility . 155 Chapter 14—Compiler Plug-ins. 157 14.1. Declaration and Invokation . 158 14.2. Tree Transformations . 158 14.3. Useful Techniques . 158 14.4. Active Libraries . 159 Chapter 15—Optimizations . 161 15.1. Why Add Optimizations?. 162 15.2. When Should Optimizations Run?. 162 Chapter 16—Syntax Configuration . 163 16.1. Why Alter the Syntax? . 164 16.2. Syntax File Description . 164 16.3. Rendering Styles . 164 Concept Programming 5 16.4. Impact of Syntax Changes . 164 Chapter 17—Compiled Code Configuration . 167 17.1. Why Configure the Bytecode? . 167 17.2. Bytecode File Format. 168 17.3. Retargetting the Compiler . 168 17.4. Customizing the Output . 168 17.5. Generating Other Kinds of Output. 168 Part IV —Standard Library . 171 Chapter 18—Runtime Models and Portability . 173 18.1. Machine Models. 174 18.2. Object Models . 174 18.3. Error Reporting . 175 18.4. Environment Model . 175 18.5. How Portable is Your Code? . 176 Chapter 19—Core Functionality . 177 19.1. Integer Arithmetic . 177 19.2. Floating-Point Arithmetic. 177 19.3. Comparisons and Boolean Logic . 177 19.4. Loop Control . 177 Chapter 20—Memory Management . 179 20.1. Pointer Types . 180 20.2. Memory Allocation . 180 Chapter 21—Collections . 181 21.1. Arrays. 182 21.2. Strings. 182 6 Concept Programming 21.3. Lists . 182 21.4. Maps. 182 21.5. Collection Algorithms . 182 Chapter 22—Mathematics. 183 22.1. Numeric Types . 183 22.2. Transcendental Functions. 184 22.3. Numeric Algorithms. 184 22.4. Symbolic Code Manipulations. 184 Chapter 23—External Storage . 185 23.1. Streaming Objects . 185 23.2. Storage Management . 186 23.3. Database Access . 186 Chapter 24—Text Formatting . 187 24.1. Text Formatting . 188 24.2. Text Output. 188 24.3. Text Input . 188 Chapter 25—Concurrency. 189 25.1. Forms of Concurrency . 190 25.2. Communication . 190 25.3. Synchronization . 190 Chapter 26—Graphics. 193 Chapter 27—Sound. 195 Chapter 28—User Interfaces. ..
Load more

Recommended publications
  • Master's Project at ICT, KTH Examensarbete Vid ICT, KTH
    Master's Project at ICT, KTH Examensarbete vid ICT, KTH Automated source-to-source translation from Java to C++ Automatisk källkodsöversättning från Java till C++ JACEK SIEKA [email protected] Master's Thesis in Software Engineering Examensarbete inom programvaruteknik Supervisor and examiner: Thomas Sjöland Handledare och examinator: Thomas Sjöland Abstract Reuse of Java libraries and interoperability with platform native components has traditionally been limited to the application programming interface offered by the reference implementation of Java, the Java Native Interface. In this thesis the feasibility of another approach, automated source-to-source translation from Java to C++, is examined starting with a survey of the current research. Using the Java Language Specification as guide, translations for the constructs of the Java language are proposed, focusing on and taking advantage of the syntactic and semantic similarities between the two languages. Based on these translations, a tool for automatically translating Java source code to C++ has been developed and is presented in the text. Experimentation shows that a simple application and the core Java libraries it depends on can automatically be translated, producing equal output when built and run. The resulting source code is readable and maintainable, and therefore suitable as a starting point for further development in C++. With the fully automated process described, source-to-source translation becomes a viable alternative when facing a need for functionality already implemented in a Java library or application, saving considerable resources that would otherwise have to be spent rewriting the code manually. Sammanfattning Återanvändning av Java-bibliotek och interoperabilitet med plattformspecifika komponenter har traditionellt varit begränsat till det programmeringsgränssnitt som erbjuds av referensimplementationen av Java, Java Native Interface.
    [Show full text]
  • The Opengl ES Shading Language
    The OpenGL ES® Shading Language Language Version: 3.00 Document Revision: 6 29 January 2016 Editor: Robert J. Simpson, Qualcomm OpenGL GLSL editor: John Kessenich, LunarG GLSL version 1.1 Authors: John Kessenich, Dave Baldwin, Randi Rost Copyright © 2008-2016 The Khronos Group Inc. All Rights Reserved. This specification is protected by copyright laws and contains material proprietary to the Khronos Group, Inc. It or any components may not be reproduced, republished, distributed, transmitted, displayed, broadcast, or otherwise exploited in any manner without the express prior written permission of Khronos Group. You may use this specification for implementing the functionality therein, without altering or removing any trademark, copyright or other notice from the specification, but the receipt or possession of this specification does not convey any rights to reproduce, disclose, or distribute its contents, or to manufacture, use, or sell anything that it may describe, in whole or in part. Khronos Group grants express permission to any current Promoter, Contributor or Adopter member of Khronos to copy and redistribute UNMODIFIED versions of this specification in any fashion, provided that NO CHARGE is made for the specification and the latest available update of the specification for any version of the API is used whenever possible. Such distributed specification may be reformatted AS LONG AS the contents of the specification are not changed in any way. The specification may be incorporated into a product that is sold as long as such product includes significant independent work developed by the seller. A link to the current version of this specification on the Khronos Group website should be included whenever possible with specification distributions.
    [Show full text]
  • A Typesetter's Toolkit
    A Typesetter's Toolht Pierre A. MacKay Department of Classics DH-10, Department of Near Eastern Languages and Civilization (DH-20) University of Washington, Seattle, WA 98195 U.S.A. Internet: mackayecs .washi ngton .edu Abstract Over the past ten years, a variety of publications in the humanities has required the development of special capabilities, particularly in fonts for non-English text. A number of these are of general interest, since they involve strategies for remapping fonts and for generating composite glyphs from an existing repertory of simple characters. Techniques for selective compilation and remapping of METAFONTs are described here, together with a program for generating Postscript-style Adobe Font Metrics from Computer Modern Fonts. Introduction usually start out in a technology that was out of date in the first place. In the past year we have History. For the past ten years I have served as had to work with one text made up of extensive the technical department of a typesetting effort quotations from Greek inscriptions, composed in which produces scholarly publications for the fields a version of RUNOFF dating from about 1965 and of Classics and Near Eastern Languages, with occa- modified by an unknown hand to produce Greek sional forays into the related social sciences. Right on an unknown printer. The final version of the from the beginning these texts have presented the manuscript was submitted to the editorial board in challenge of special characters, both simplex and 1991. I have no idea when the unique adaptation for composite. We have used several different roman- epigraphical Greek was first written.
    [Show full text]
  • Orthographies in Early Modern Europe
    Orthographies in Early Modern Europe Orthographies in Early Modern Europe Edited by Susan Baddeley Anja Voeste De Gruyter Mouton An electronic version of this book is freely available, thanks to the support of libra- ries working with Knowledge Unlatched. KU is a collaborative initiative designed to make high quality books Open Access. More information about the initiative can be found at www.knowledgeunlatched.org An electronic version of this book is freely available, thanks to the support of libra- ries working with Knowledge Unlatched. KU is a collaborative initiative designed to make high quality books Open Access. More information about the initiative can be found at www.knowledgeunlatched.org ISBN 978-3-11-021808-4 e-ISBN (PDF) 978-3-11-021809-1 e-ISBN (EPUB) 978-3-11-021806-2 ISSN 0179-0986 e-ISSN 0179-3256 ThisISBN work 978-3-11-021808-4 is licensed under the Creative Commons Attribution-NonCommercial-NoDerivs 3.0 License, ase-ISBN of February (PDF) 978-3-11-021809-1 23, 2017. For details go to http://creativecommons.org/licenses/by-nc-nd/3.0/. e-ISBN (EPUB) 978-3-11-021806-2 LibraryISSN 0179-0986 of Congress Cataloging-in-Publication Data Ae-ISSN CIP catalog 0179-3256 record for this book has been applied for at the Library of Congress. ISBN 978-3-11-028812-4 e-ISBNBibliografische 978-3-11-028817-9 Information der Deutschen Nationalbibliothek Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliogra- fie;This detaillierte work is licensed bibliografische under the DatenCreative sind Commons im Internet Attribution-NonCommercial-NoDerivs über 3.0 License, Libraryhttp://dnb.dnb.deas of February of Congress 23, 2017.abrufbar.
    [Show full text]
  • Programming Languages & Tools
    I PROGRAMMING LANGUAGES & TOOLS Volume 10 Number 1 1998 Editorial The Digital Technicaljoumalis a refereed AlphaServer, Compaq, tl1e Compaq logo, jane C. Blake, Managing Editor journal published quarterly by Compaq DEC, DIGITAL, tl1e DIGITAL logo, 550 ULTIUX, Kathleen M. Stetson, Editor Computer Corporation, King Street, VAX,and VMS are registered 01460-1289. Hden L. Patterson, Editor LKGI-2jW7, Littleton, MA in the U.S. Patent and Trademark Office. Hard-copy subscriptions can be ordered by DIGITAL UNIX, FX132, and OpenVMS Circulation sending a check in U.S. funds (made payable arc trademarks of Compaq Computer Kristine M. Lowe, Administrator to Compaq Computer Corporation) to the Corporation. published-by address. General subscription Production rates arc $40.00 (non-U.S. $60) for four issues Intel and Pentium are registered u·ademarks $75.00 $115) Christa W. Jessica, Production Editor and (non-U.S. for eight issues. of Intel Corporation. University and college professors and Ph.D. Elizabeth McGrail, Typographer I lUX is a registered trademark of Silicon students in the elecu·icaJ engineering and com­ Peter R. Woodbury, Illustrator Graphics, Inc. puter science fields receive complimentary sub­ scriptions upon request. Compaq customers Microsoft, Visual C++, Windows, and Advisory Board may qualify tor giftsubscriptions and arc encour­ Windows NT are registered trademarks Thomas F. Gannon, Chairman (Acting) aged to contact tl1eir sales representatives. of Microsoft Corporation. Scott E. Cutler Donald Z. Harbert Electronic subscriptions are available at MIPS is a registered trademark of MIPS William A. Laing no charge by accessing URL Technologies, Inc. Richard F. Lary http:jjwww.digital.com/subscription.
    [Show full text]
  • On the Creation of a Pronunciation Dictionary for Hungarian
    On the creation of a pronunciation dictionary for Hungarian Stephen M. Grimes [email protected] August 2007 Abstract This report describes the process of creating a pronunciation dictionary and phonological lexicon for Hungarian for the purpose of aiding in linguistic research on Hungarian phonology and phonotactics. The pronunciation dictionary was created by transforming orthographic forms to pronunciation representations by taking advantage of systematic deviations between Hungarian orthography and pronunciation. It is argued that the “automated” creation of such a dictionary is reasonably expected to be accurate due to the relative similarity of Hungarian orthography to actual pronunciation. This document includes discussion of goals and standards for creating a Hungarian pronunciation dictionary, and each phonological change creating a mismatch between orthography and pronunciation is highlighted. Future developments and additions to the current dictionary are also suggested as well as strategies for evaluating the quality of the dictionary. Finally, potential applications to linguistic research are discussed. 1 Introduction While students of the English language quickly learn that English spelling is by no means consistent, many Hungarians believe that the Hungarian alphabet is completely phonetic. Here, a phonetic alphabet refers to the existence of a one-to-one mapping between symbol and sound. It can quite easily be demonstrated by counter-example that 1 Hungarian orthography is not phonetic, and in fact several types of orthographic- pronunciation discrepancies exist. Consider as an example the word /szabadság/ 1 [sabatʃ:a:g] ‘freedom, liberty’ , in which no fewer than four orthographic-pronunciation discrepancies can be identified with the written form of this word: (1) a.
    [Show full text]
  • Simple Ciphers
    Swenson c02.tex V3 - 01/29/2008 1:07pm Page 1 CHAPTER 1 Simple Ciphers As long as there has been communication, there has been an interest in keeping some of this information confidential. As written messages became more widespread, especially over distances, people learned how susceptible this particular medium is to being somehow compromised: The messages can be easily intercepted, read, destroyed, or modified. Some protective methods were employed, such as sealing a message with a wax seal, which serves to show the communicating parties that the message is genuine and had not been intercepted. This, however, did nothing to actually conceal the contents. This chapter explores some of the simplest methods for obfuscating the contents of communications. Any piece of written communication has some set of symbols that constitute allowed constructs, typically, words, syllables, or other meaningful ideas. Some of the simple methods first used involved simply manipulating this symbol set, which the cryptologic community often calls an alphabet regardless of the origin of the language. Other older tricks involved jumbling up the ordering of the presentation of these symbols. Many of these techniques were in regular use up until a little more than a century ago; it is interesting to note that even though these techniques aren’t sophisticated,COPYRIGHTED newspapers often publish MATERIAL puzzles called cryptograms or cryptoquips employing these cryptographic techniques for readers to solve. Many books have been published that cover the use, history, and cryptanal- ysis of simple substitution and transposition ciphers, which we discuss in this chapter. (For example, some of the resources for this chapter are References [2] and [4].) This chapter is not meant to replace a rigorous study of these techniques, such as is contained in many of these books, but merely to expose the reader to the contrast between older methods of cryptanalysis and newer methods.
    [Show full text]
  • PDF Hosted at the Radboud Repository of the Radboud University Nijmegen
    PDF hosted at the Radboud Repository of the Radboud University Nijmegen The following full text is a publisher's version. For additional information about this publication click this link. http://hdl.handle.net/2066/150793 Please be advised that this information was generated on 2021-10-02 and may be subject to change. THE DIGITAL LITERACY INSTRUCTOR: DEVELOPING AUTOMATIC SPEECH RECOGNITION AND SELECTING LEARNING MATERIAL FOR OPAQUE AND TRANSPARENT ORTHOGRAPHIES Catia Cucchiarini, Radboud University Nijmegen Marta Dawidowicz, University of Vienna Enas Filimban, Newcastle University Taina Tammelin-Laine, University of Jyväskylä Ineke van de Craats and Helmer Strik, R adboud University Nijmegen Abstract While learning a new language can now be a lot of fun because attractive interactive games and multimedia materials have become widely available, many of these products generally do not cater for non-literates and low-literates. In addition, their limited reading capabilities make it difficult for these learners to access language learning materials that are nowadays available for free on the web. More advanced course materials that can make learning to read and spell in a second language (L2) more enjoyable would therefore be very welcome. This article reports on such an initiative, the DigLin project, which aims at developing and testing online basic course material for non-literate L2 adult learners who learn to read and spell either in Finnish, Dutch, German or English, while interacting with the computer, which continuously provides feedback like the most determined instructor. The most innovative feature of DigLin is that in production exercises learners can read aloud and get feedback on their speech production.
    [Show full text]
  • An Introduction to Modern Cryptology Within an Algebraic Framework John Szwast Eastern Washington University
    Eastern Washington University EWU Digital Commons EWU Masters Thesis Collection Student Research and Creative Works 2012 An introduction to modern cryptology within an algebraic framework John Szwast Eastern Washington University Follow this and additional works at: http://dc.ewu.edu/theses Part of the Physical Sciences and Mathematics Commons Recommended Citation Szwast, John, "An introduction to modern cryptology within an algebraic framework" (2012). EWU Masters Thesis Collection. 13. http://dc.ewu.edu/theses/13 This Thesis is brought to you for free and open access by the Student Research and Creative Works at EWU Digital Commons. It has been accepted for inclusion in EWU Masters Thesis Collection by an authorized administrator of EWU Digital Commons. For more information, please contact [email protected]. AN INTRODUCTION TO MODERN CRYPTOLOGY WITHIN AN ALGEBRAIC FRAMEWORK A Thesis Presented To Eastern Washington University Cheney, Washington In Partial Fulfillment of the Requirements for the Degree Master of Science By John Szwast Fall 2012 THESIS OF JOHN SZWAST APPROVED BY DATE: DR. RON GENTLE, GRADUATE STUDY COMMITTEE DATE: DR. DALE GARRAWAY, GRADUATE STUDY COMMITTEE DATE: DR. PAUL SCHIMPF, GRADUATE STUDY COMMITTEE Contents List of Figures vii List of Tables viii 1 Introduction 1 1.1 Scope . .1 1.2 Background . .2 1.3 Conventions and Notations . .2 1.4 Overview . .3 1.5 General Definitions . .4 1.6 Bit Operations and Big-O Notation . .5 1.6.1 Overview . .5 1.6.2 Time Estimates for Integer Arithmetic . .8 1.6.3 Time estimates for modular arithmetic . 12 1.7 Probability . 15 iii CONTENTS CONTENTS 1.7.1 Discrete distributions .
    [Show full text]
  • UNITED NATIONS Working Paper No
    UNITED NATIONS Working - Paper- No. 112 GROUP OF EXPERTS ON GEOGRAPHICAL NAMES Twenty-second Session New York, 20-29 Anril2004 Item 17 of the Provisional Agenda TOPONYMIC GUIDELINES FOR MAP EDITORS AND OTHER EDITORS Toponymic guidelines for map editors and other editors ITALY (Third draft edition)* * Submitted by Italy Stato Ma&ore della Difesa Istituto Geogl-atico Miiitare First edition prepared in 1987, by prof. Sandro Toniolo, on account of the Italian Association of Cartograpl~y. Second edition updated in 1997, by COI. tee. (geo) Maurizio Pampaloni. Italian Military Geographic Institute. Third edition, updated in 2004. by D.r Andrea Cantile, Italian Military Geographic Institute: translation Ldt. Col. Giovanni Orril, Italian Military Geographic Institute: supervision D.r Salvatore Arca, Italian Military Geographic institute. TABLE OF CONTENTS 1 LAA’GUAGES pag. 5 1.1 General remarks S 1.2 Official hgLlages s 1.2.1 General remarks 5 1.2.2 The Italian alphabet 6 1.2.3 Pronunciation of Italian words 6 1.2.4 Characteristic of the Italian language and orthogl-aphy necessary for the understanding of maps 8 1.2.4.1 Diphthongs and triphthongs s 1.2.4.2 Digraphs and trigraplx 8 I .2.4.3 Spaced-out lettering and division into syllables ‘3 1.2.4.4 Capitalization 9 1.2.4.5 Stress and accents 10 1.2.4.6 Gender 10 1.2.4.7 Formation of the plural II 1.2.4.8 Articles 11 1.2.4.9 Adjectives 11 1.2.4.10 Prepositions 12 1.2.4.11 Elision 12 1.2.4.12 The apocope of ~IOLUIS 12 1.2.4.13 Compound geographical names 12 1.2.5 Italian dialects 14 1.2.6 Linguistic
    [Show full text]
  • Oklahoma Academic Standards ENGLISH LANGUAGE ARTS
    Oklahoma Academic Standards ENGLISH LANGUAGE ARTS Education Oklahoma Academic Standards for English Language Arts Introduction ​ ​ Table of Contents Guiding Principles 3 Grade 5 62 Eight Overarching Standards 6 Grade 6 72 Navigating the Standards 9 Grade 7 80 Pre-Kindergarten 10 Grade 8 88 Kindergarten 16 Grade 9 96 Grade 1 24 Grade 10 104 Grade 2 34 Grade 11 112 Grade 3 44 Grade 12 120 Grade 4 53 2 Oklahoma Academic Standards for English Language Arts Introduction ​ ​ Guiding Principles Teachers use standards as guides for developing curriculum and instruction that is engaging, challenging, and sequenced for the students in their care. By nature, acquiring language arts knowledge and skills is a recursive learning endeavor: students revisit concepts again and again as they use language at increasingly sophisticated levels. Because of this recursive learning process, language arts learning will not progress for students in the strictly linear way it may in other content areas. Nonetheless, it is important for any set of standards to provide “concise, written descriptions of what students are expected to know and be able to do at a specific stage of their education” (Great Schools Partnership, 2014). In order to make this document a clear, coherent description of what students are expected to know and be able to do at specific stages, the writers have adopted some guiding principles for design and organization: clarity, coherence, and purpose. Clarity ● Standard statements are written with verbs that indicate specifically what learning students must demonstrate and at what depth. When students compare, paraphrase, predict, or summarize, they are able to show a broader range of mastery of a concept than when they are ​ ​ ​ ​ expected to identify or recognize.
    [Show full text]
  • C in a Nutshell, 2Nd Edition
    2nd Edition Covers C11 standard C in a Nutshell THE DEFINITIVE REFERENCE Peter Prinz & Tony Crawford www.itbook.store/books/9781491904756 C in a Nutshell, Second Edition by Peter Prinz and Tony Crawford Copyright © 2016 Peter Prinz and Tony Crawford. All rights reserved. Printed in the United States of America. Published by O’Reilly Media, Inc., 1005 Gravenstein Highway North, Sebastopol, CA 95472. O’Reilly books may be purchased for educational, business, or sales promotional use. Online editions are also available for most titles (http://safaribooksonline.com). For more information, contact our corporate/institutional sales department: 800-998-9938 or [email protected]. Editors: Rachel Roumeliotis and Indexer: Angela Howard Katie Schooling Interior Designer: David Futato Production Editor: Kristen Brown Cover Designer: Karen Montgomery Copyeditor: Gillian McGarvey Illustrator: Rebecca Demarest Proofreader: Jasmine Kwityn December 2005: First Edition December 2015: Second Edition Revision History for the Second Edition 2015-12-07: First Release See http://oreilly.com/catalog/errata.csp?isbn=9781491904756 for release details. The O’Reilly logo is a registered trademark of O’Reilly Media, Inc. C in a Nutshell, Second Edition, the cover image of a cow, and related trade dress are trademarks of O’Reilly Media, Inc. While the publisher and the authors have used good faith efforts to ensure that the informa‐ tion and instructions contained in this work are accurate, the publisher and the authors dis‐ claim all responsibility for errors or omissions, including without limitation responsibility for damages resulting from the use of or reliance on this work. Use of the information and instructions contained in this work is at your own risk.
    [Show full text]