Ada User Journal 146 Editorial 147 News 149 Conference Calendar 171 Forthcoming Events 178 Proceedings of the 13Th International Real-Time Ada Workshop B
Total Page:16
File Type:pdf, Size:1020Kb

Load more
Recommended publications
-
Universidade Salvador – Unifacs Programa De Pós-Graduação Em Redes De Computadores Mestrado Profissional Em Redes De Computadores
UNIVERSIDADE SALVADOR – UNIFACS PROGRAMA DE PÓS-GRADUAÇÃO EM REDES DE COMPUTADORES MESTRADO PROFISSIONAL EM REDES DE COMPUTADORES DEMIAN LESSA INTERFACES GRÁFICAS COM O USUÁRIO: UMA ABORDAGEM BASEADA EM PADRÕES Salvador 2005 DEMIAN LESSA INTERFACES GRÁFICAS COM O USUÁRIO: UMA ABORDAGEM BASEADA EM PADRÕES Dissertação apresentada ao Mestrado Profissional em Redes de Computadores da Universidade Salvador – UNIFACS, como requisito parcial para obtenção do grau de Mestre. Orientador: Prof. Dr. Manoel Gomes de Mendonça. Salvador 2005 Lessa, Demian Interfaces gráficas com o usuário: uma abordagem baseada em padrões / Demian Lessa. – Salvador, 2005. 202 f.: il. Dissertação apresentada ao Mestrado Profissional em Redes de Computadores da Universidade Salvador – UNIFACS, como requisito parcial para a obtenção do grau de Mestre. Orientador: Prof. Dr. Manoel Gomes de Mendonça. 1. Interfaces gráficas para usuário - Sistema de computador. I. Mendonça, Manoel Gomes de, orient. II. Título. TERMO DE APROVAÇÃO DEMIAN LESSA INTERFACES GRÁFICAS COM O USUÁRIO: UMA ABORDAGEM BASEADA EM PADRÕES Dissertação aprovada como requisito parcial para obtenção do grau de Mestre em em Redes de Computadores da Universidade Salvador – UNIFACS, pela seguinte banca examinadora: Manoel Gomes de Mendonça – Orientador _________________________________ Doutor em Ciência da Computação pela Universidade de Maryland em College Park, Estados Unidos Universidade Salvador - UNIFACS Celso Alberto Saibel Santos ____________________________________________ Doutor em Informatique Fondamentalle et Parallelisme pelo Université Paul Sabatier de Toulouse III, França Universidade Federal da Bahia – UFBA Flávio Morais de Assis Silva _____________________________________________ Doutor em Informática pelo Technische Universität Berlin, Alemanha Universidade Federal da Bahia – UFBA Salvador de de 2005 A meus pais, Luiz e Ines, pelo constante incentivo intelectual e, muito especialmente, por todo amor e carinho repetidamente demonstrados. -
SETL for Internet Data Processing
SETL for Internet Data Processing by David Bacon A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy Computer Science New York University January, 2000 Jacob T. Schwartz (Dissertation Advisor) c David Bacon, 1999 Permission to reproduce this work in whole or in part for non-commercial purposes is hereby granted, provided that this notice and the reference http://www.cs.nyu.edu/bacon/phd-thesis/ remain prominently attached to the copied text. Excerpts less than one PostScript page long may be quoted without the requirement to include this notice, but must attach a bibliographic citation that mentions the author’s name, the title and year of this disser- tation, and New York University. For my children ii Acknowledgments First of all, I would like to thank my advisor, Jack Schwartz, for his support and encour- agement. I am also grateful to Ed Schonberg and Robert Dewar for many interesting and helpful discussions, particularly during my early days at NYU. Terry Boult (of Lehigh University) and Richard Wallace have contributed materially to my later work on SETL through grants from the NSF and from ARPA. Finally, I am indebted to my parents, who gave me the strength and will to bring this labor of love to what I hope will be a propitious beginning. iii Preface Colin Broughton, a colleague in Edmonton, Canada, first made me aware of SETL in 1980, when he saw the heavy use I was making of associative tables in SPITBOL for data processing in a protein X-ray crystallography laboratory. -
Modern Programming Languages CS508 Virtual University of Pakistan
Modern Programming Languages (CS508) VU Modern Programming Languages CS508 Virtual University of Pakistan Leaders in Education Technology 1 © Copyright Virtual University of Pakistan Modern Programming Languages (CS508) VU TABLE of CONTENTS Course Objectives...........................................................................................................................4 Introduction and Historical Background (Lecture 1-8)..............................................................5 Language Evaluation Criterion.....................................................................................................6 Language Evaluation Criterion...................................................................................................15 An Introduction to SNOBOL (Lecture 9-12).............................................................................32 Ada Programming Language: An Introduction (Lecture 13-17).............................................45 LISP Programming Language: An Introduction (Lecture 18-21)...........................................63 PROLOG - Programming in Logic (Lecture 22-26) .................................................................77 Java Programming Language (Lecture 27-30)..........................................................................92 C# Programming Language (Lecture 31-34) ...........................................................................111 PHP – Personal Home Page PHP: Hypertext Preprocessor (Lecture 35-37)........................129 Modern Programming Languages-JavaScript -
Reusable Software Components by Trudy Levine
REUSABLE SOFTWARE COMPONENTS Trudy Levine Fairleigh Dickinson University Teaneck, NJ 07666 [email protected] http://alpha.fdu.edu/~levine/reuse_course/columns This column consists of our yearly listing, since 1990, of sources for reusable software components. As always, no recommendation or guarantee by this column is implied. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Ada Basis WWW Server Ada Basis WWW Server is an archive of about 560Mbyte of public domain source code and documents mainly obtained from the Public Ada Library. The software has been classified into different application domains and presented in a hierarchical manner. AdaBasis is an acronym for the German phrase "Bibliothek anwendungsbezogener Ada Software-Komponenten in Stuttgart" and is a repository of (mostly) free Ada Software, presented in a way that is (hopefully) easy to use and allows flexible access and effective searching. The application domains include: Artificial Intelligence Compilers Database Management Documents Text-Processing Interfaces/Bindings Mathematical Functions and Data Structures Networking and Distributed Processing Software Development Tools This repository has not been updated in several years, but is still a good source to obtain a large volume of working Ada code for testing Ada related tools. CONTACT: [email protected] http://www.informatik.uni-stuttgart.de/ifi/ps/ada-software/ada-software.html ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The Ada-Belgium Archive One of the aims of the Ada-Belgium organization is to disseminate Ada-related information. So, in addition to the organization of seminars, workshops, etc., and the management of two mailing lists, it also has set up an Ada archive primarily for people and companies in Belgium. This enables everyone interested to consult and download a large variety of Ada software and documents using an ftp server in Belgium or elsewhere. -
Volume 30 Number 1 March 2009
ADA Volume 30 USER Number 1 March 2009 JOURNAL Contents Page Editorial Policy for Ada User Journal 2 Editorial 3 News 5 Conference Calendar 30 Forthcoming Events 37 Articles J. Barnes “Thirty Years of the Ada User Journal” 43 J. W. Moore, J. Benito “Progress Report: ISO/IEC 24772, Programming Language Vulnerabilities” 46 Articles from the Industrial Track of Ada-Europe 2008 B. J. Moore “Distributed Status Monitoring and Control Using Remote Buffers and Ada 2005” 49 Ada Gems 61 Ada-Europe Associate Members (National Ada Organizations) 64 Ada-Europe 2008 Sponsors Inside Back Cover Ada User Journal Volume 30, Number 1, March 2009 2 Editorial Policy for Ada User Journal Publication Original Papers Commentaries Ada User Journal — The Journal for Manuscripts should be submitted in We publish commentaries on Ada and the international Ada Community — is accordance with the submission software engineering topics. These published by Ada-Europe. It appears guidelines (below). may represent the views either of four times a year, on the last days of individuals or of organisations. Such March, June, September and All original technical contributions are articles can be of any length – December. Copy date is the last day of submitted to refereeing by at least two inclusion is at the discretion of the the month of publication. people. Names of referees will be kept Editor. confidential, but their comments will Opinions expressed within the Ada Aims be relayed to the authors at the discretion of the Editor. User Journal do not necessarily Ada User Journal aims to inform represent the views of the Editor, Ada- readers of developments in the Ada The first named author will receive a Europe or its directors. -
Preconditions/Postconditions Author: Robert Dewar Abstract: Ada Gem
Gem #31: preconditions/postconditions Author: Robert Dewar Abstract: Ada Gem #31 — The notion of preconditions and postconditions is an old one. A precondition is a condition that must be true before a section of code is executed, and a postcondition is a condition that must be true after the section of code is executed. Let’s get started… The notion of preconditions and postconditions is an old one. A precondition is a condition that must be true before a section of code is executed, and a postcondition is a condition that must be true after the section of code is executed. In the context we are talking about here, the section of code will always be a subprogram. Preconditions are conditions that must be guaranteed by the caller before the call, and postconditions are results guaranteed by the subprogram code itself. It is possible, using pragma Assert (as defined in Ada 2005, and as implemented in all versions of GNAT), to approximate run-time checks corresponding to preconditions and postconditions by placing assertion pragmas in the body of the subprogram, but there are several problems with that approach: 1. The assertions are not visible in the spec, and preconditions and postconditions are logically a part of (in fact, an important part of) the spec. 2. Postconditions have to be repeated at every exit point. 3. Postconditions often refer to the original value of a parameter on entry or the result of a function, and there is no easy way to do that in an assertion. The latest versions of GNAT implement two pragmas, Precondition and Postcondition, that deal with all three problems in a convenient way. -
Understanding Programming Languages
Understanding Programming Languages M. Ben-Ari Weizmann Institute of Science Originally published by John Wiley & Sons, Chichester, 1996. Copyright °c 2006 by M. Ben-Ari. You may download, display and print one copy for your personal use in non-commercial academic research and teaching. Instructors in non-commerical academic institutions may make one copy for each student in his/her class. All other rights reserved. In particular, posting this document on web sites is prohibited without the express permission of the author. Contents Preface xi I Introduction to Programming Languages 1 1 What Are Programming Languages? 2 1.1 The wrong question . 2 1.2 Imperative languages . 4 1.3 Data-oriented languages . 7 1.4 Object-oriented languages . 11 1.5 Non-imperative languages . 12 1.6 Standardization . 13 1.7 Computer architecture . 13 1.8 * Computability . 16 1.9 Exercises . 17 2 Elements of Programming Languages 18 2.1 Syntax . 18 2.2 * Semantics . 20 2.3 Data . 21 2.4 The assignment statement . 22 2.5 Type checking . 23 2.6 Control statements . 24 2.7 Subprograms . 24 2.8 Modules . 25 2.9 Exercises . 26 v Contents vi 3 Programming Environments 27 3.1 Editor . 28 3.2 Compiler . 28 3.3 Librarian . 30 3.4 Linker . 31 3.5 Loader . 32 3.6 Debugger . 32 3.7 Profiler . 33 3.8 Testing tools . 33 3.9 Configuration tools . 34 3.10 Interpreters . 34 3.11 The Java model . 35 3.12 Exercises . 37 II Essential Concepts 38 4 Elementary Data Types 39 4.1 Integer types . -
CWI Scanprofile/PDF/300
Centrum voor Wiskunde en lnformatica Centre for Mathematics and Computer Science L.G.L.T. Meertens, S. Pemberton An implementation of the B programming language Department of Computer Science Note CS-N8406 June Biblioiiie.:;I( ~'~'l'i't'Hm.n<' Wi~f.i;r;de- c11 !nform;:,;i:i.C<a - Ams1errJar11 AN IMPLEMENTATION OF THE B PROGRAMMING LANGUAGE L.G.L.T. MEERTENS, S. PEMBERTON CentPe foP Mathematics and ComputeP Science~ AmstePdam Bis a new programming language designed for personal computing. We describe some of the decisions taken in implementing the language, and the problems involved. Note: B is a working title until the language is finally frozen. Then it will acquire its definitive name. The language is entirely unrelated to the predecessor of C. A version of this paper will appear in the proceedings of the Washington USENIX Conference (January 1984). 1982 CR CATEGORIES: 69D44. KEY WORDS & PHRASES: programming language implementation, progrannning envi ronments, B. Note CS-N8406 Centre f~r Mathematics and Computer Science P.O. Box 4079, 1009 AB Amsterdam, The Netherlands I The programming language B B is a programming language being designed and implemented at the CWI. It was originally started in 1975 in an attempt to design a language for beginners as a suitable replacement for BASIC. While the emphasis of the project has in the intervening years shifted from "beginners" to "personal computing", the main design objectives have remained the same: · • simplicity; • suitability for conversational use; • availability of tools for structured programming. The design of the language has proceeded iteratively, and the language as it now stands is the third iteration of this process. -
Reusable Software Components
REUSABLE SOFTWARE COMPONENTS Trudy Levine Fairleigh Dickinson University Teaneck, NJ 07666 [email protected] http://alpha.fdu.edu/~levine/reuse_course/columns This column consists of our January 2009 listing of sources for reusable software components. All information is obtained from web sites or directly from the parties involved. As always, no recommendation or guarantee by this column is implied. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Ada Basis WWW Server Ada Basis WWW Server is an archive of about 560Mbyte of public domain source code and documents mainly obtained from the Public Ada Library. The software has been classified into different application domains and presented in a hierarchical manner. AdaBasis is an acronym for the German phrase "Bibliothek anwendungsbezogener Ada Software-Komponenten in Stuttgart" and is a repository of (mostly) free Ada Software, presented in a way that is (hopefully) easy to use and allows flexible access and effective searching. The application domains include: Artificial Intelligence Compilers Database Management Documents Text-Processing Interfaces/Bindings Mathematical Functions and Data Structures Networking and Distributed Processing Software Development Tools This repository has not been updated in several years, but is still a good source to obtain a large volume of working Ada code for testing Ada-related tools. CONTACT: [email protected] http://www.informatik.uni-stuttgart.de/ifi/ps/ada-software/ada-software.html (last updated 2009) -
Ada Distilled by Richard Riehle
Ada Distilled by Richard Riehle An Introduction to Ada Programming for Experienced Computer Programmers by Richard Riehle AdaWorks Software Engineering http://www.adaworks.com Copyright 2002, AdaWorks Software Engineering Public Edition. Permission to copy if AdaWorks is acknowledged in copies Version: July 2003 Page 1 of 113 Ada Distilled by Richard Riehle Acknowledgments There are always a lot of people involved in the creation of any book, even one as small and modest as this one. Those who have contributed to the best features of this book include my students at Naval Postgraduate School, Mr. Michael Berenato of Computer Sciences Corporation, Mr. Ed Colbert of Absolute Software, and many students from Lockheed-Martin Corporation, Computer Sciences Corporation, British Aerospace, various branches of the uniformed services, to name a few. I also owe a special thanks to Dr. Ben Brosgol, Dr. Robert Dewar, Mr. Mark Gerhardt, and Dr. Mantak Shing for what I have learned from them. Also thanks to the contributors to comp.lang.ada Usenet forum and the Team_Ada Listserve. Phil Thornley deserves extra credit for his detailed reading of the manuscript and many corrections. Special thanks goes to Ed Colbert for his careful study of some of my program examples. He is one of those people who can spot a program error at fifty paces. Using this unique skill, Ed brought many errors, some big and some small, to my attention. Also thanks to more recent input from Phil Thornley and Adrian Hoe. Any other errors are strictly mine. Any mistakes in wording, spelling, or facts are mine and mine alone. -
Art, Artist, and Witness(Ing) in Canada's Truth and Reconciliation
Dance with us as you can…: Art, Artist, and Witness(ing) in Canada’s Truth and Reconciliation Journey by Jonathan Robert Dewar A thesis submitted to the Faculty of Graduate and Postdoctoral Affairs in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Indigenous and Canadian Studies Carleton University Ottawa, Ontario © 2017, Jonathan Robert Dewar Abstract This dissertation explores, through in-depth interviews, the perspectives of artists and curators with regard to the question of the roles of art and artist – and the themes of community, responsibility, and practice – in truth, healing, and reconciliation during the early through late stages of the 2008-2015 mandate of the Truth and Reconciliation Commission of Canada (TRC), as its National Events, statement taking, and other programming began to play out across the country. The author presents the findings from these interviews alongside observations drawn from the unique positioning afforded to him through his professional work in healing and reconciliation-focused education and research roles at the Aboriginal Healing Foundation (2007-2012) and the Shingwauk Residential Schools Centre (2012-2016) about the ways art and artists were invoked and involved in the work of the TRC, alongside it, and/or in response to it. A chapter exploring Indigenous writing and reconciliation, with reference to the work of Basil Johnston, Jeannette Armstrong, Tomson Highway, Maria Campbell, Richard Wagamese, and many others, leads into three additional case studies. The first explores the challenges of exhibiting the legacies of Residential Schools, focusing on Jeff Thomas’ seminal curatorial work on the archival photograph-based exhibition Where Are the Children? Healing the Legacy of Residential Schools and Heather Igloliorte’s curatorial work on the exhibition ‘We were so far away…’: The Inuit Experience of Residential Schools, itself a response to feedback on Where Are the Children? Both examinations draw extensively from the author’s interviews with the curators. -
AINSE Plasma Science and Technology
AU94136G4 I AU9413768 AINSE Plasma Science and Technology C^onterence iNis-mf—13853 & Elizabeth and Frederick White Workshop on Fundamental Problems in the Physics of Magnetically Confined Plasmas Canberra 12-15 July 1993 Conference Handbook ISSN 08123357 AINSE Plasma Science and Technology Conference k Elizabeth and Frederick White Workshop on Fundamental Problems in the Physics of Magnetically Confined Plasmas Australian Academy of Science Canberra 12-15 July, 1993 The Conference Committee Prof R L Dewar President Australian National University Dr H J Gardner Secretary Australian National University Prof S M Hamberger Australian National University Dr R W Boswell Australian National University Dr L E Sharp Australian National University Dr B Luther-Davies Australian National University Dr A Cheetham University of Canberra A/Prof J A Lehane University of Sydney Dr R Gammon AINSE Dr IJ Donnelly ANSTO Invited Speakers Prof Amitava Bhattacharjee University of Iowa Prof John Cary University of Colorado, Boulder Prof Liu Chen University of California, Irvine Dr Anthony Cooper EPFL, Switzerland Prof Peter Dyson La Trobe University Dr Barry Green ITER Joint Central Team, Naka, Japan Dr John Keller IBM, East Fishkill, New York Dr Hajime Kuwahara Nissin Electric, Kyoto Dr John Lowke CSIRO Division of Applied Physics Dr V Petrzilka Czech Academy of Science, Prague Dr S Ramakrishnan CSIRO Division of Manufacturing Technology Prof Alfred Wong University of California, Los Angeles The Conference Committee gratefully acknowledges the support of the Elizabeth and Frederick White Research Conference Fund of the Australian Academy of Science and the support of the Australian Institute of Nuclear Science and Engineering. This is the 19th AINSE Plasma Physics conference.