Australian UNIX Systems User Group Newsletter Volume 10, Number 5

Total Page:16

File Type:pdf, Size:1020Kb

Australian UNIX Systems User Group Newsletter Volume 10, Number 5 Australian UNIX systems User Group Newsletter Volume 10, Number 5 October 1989 Registered by Australia Post, Publication Number NBG6524 The Australian UNIX* systems User Group Newsletter Volume 10 Number 5 October 1989 CONTENTS AUUG General Information ..................... 5 Editorial ........................... 6 Letters To The Editor ....................... 8 President’s Letter .............. ........... 10 Minutes of Annual General Meeting 1989 ................. 11 Secretary’s Report from the 1989 AGM .................. 13 Treasurer’s Report from the 1989 AGM .................. 15 SESSPOOLE Information ........ .............. 21 Western Australian UNIX systems Group Information ............. 22 AUUG Regional Meetings Summer’90 .................. 23 AUUG Institutional Members ..................... 24 Call For Speakers - AUUG Summer’90 (Victoria) ............... 26 AUUG90 - Call For Papers ...................... 27 Book Review: Two Examinations Of UNIX Internals .............. 30 Slides from Larry Crume’s AUUG89 talk ................. 32 From the ;login: Newsletter - Volume 14 Number 3 .............. 44 Au revolt and Hello ...................... 45 USENIX 1989 Summer Conference Tutorials .............. 46 Call for Papers: Large Installation Systems Administration Workshop ....... 48 Call for Papers: Distributed and Multiprocessor Systems Workshop ....... 49 Call for Papers: Computer Graphics Workshop .............. 50 Call for Papers: Winter 1990 USENIX Conference ............. 51 AUUG’89 Conference and Exhibition ................ 52 USENIX C++ Workshop .................... 53 Nominating Committee Formed .................. 53 The UK UNIX systems User Group ................. 55 UNIX Users Meeting Agenda . ., ................. 55 Book Review: Learning the vi Editor ................. 56 AUUGN 1 Vol 10 No 5 Long-Term Calandar of UNIX Events . ............. 57 An Update on UN-IX Standards Activities ............... 58 2.10.1BSD Release Available ................... 63 Final Printing of 4.3BSD Manuals .................. 64 4.3BSD Manual Reproduction Authorization and Order Form ......... 65 Obtaining GNU Software .................... 66 GNU Software Order Form .................. ~. 67 Local User Groups ...................... 68 From the EUUGN Newsletter - Volume 9 Number 3 .............. 70 Editorial ......................... 71 Compatible FORTRAN Compilers ................. 72 C Traps and Pitfalls m Book Review ................. 79 EUUG Executive Report .................... 80 Dublin Workshop 5th-Tth May ................... 82 Portugese UNIX systems User~ Group Report .............. 86 News from the Netherlands .................... 87 UKUUG Report ....................... 91 AMIX report m Israel UNIX Users Group .. .............. 94 USENIX Association News for EUUG Members ............. 96 Calendar of UNIX Events .................... 98 USENIX Online Index and Library ................. 101 ISO JTC1 SC22 WG 15 (POSIX).Meeting, Ottawa ............ 103 Concurrent C Programming Language m Book Review ........... 108 Call Doc Strange ....................... 110 The Minimal Manual -- Book Review ................ 112 Software I Review ...................... 113 The AT&T OPENLOOKTM Toolkit ................. 118 EUUG Software Distribution . .................. 124 Puzzle Corner ........................ 129 Recent Developments in Screen Fonts ................ 130 Design and Implementation of 4.3BSD -- Book Review ........... 135 Glossary ......................... 136 Abstracts ........... - .............. 137 A.F.U.U. News ....................... 144 Networking . .. ....................... 150 Managment Committee Minutes - May 1989 ................ 154 AUUG Newsletter Back Issues ..................... 158 Vol 10 No 5 2 AUUGN AUUG Membership Catorgories .................... 159 AUUG Forms .......................... 161 Copyright © 1989. AUUGN is the joumal of the Australian UNIX* systems User Group (AUUG Inc). Copying without fee is permitted provided that copies, are made without modification, and are not made or distributed for commercial advantage. Credit to the AUUGN and author must be given. Abstracting with credit is permitted. No other reproduction is permitted without prior permission of AUUG Inc. * UNIX is a registered trademark of AT&T in the USA and other countries. AUUGN 3 Vol 10 No 5 EXPANDED UNIX PUTS A L One of the most important reasons you want any UNIX system is the standardisation it brings to your computing operations. Prime is committed to industry standards and shared-resource computing. From the compact 3 MIPS power of the new EXL MBX -- the smallest member of our UNIX family -- up to the mid-range and high-end EXL 1200 series which accommodates over 1,000 simultaneous users and can generate up to 120 MIPS. And of course the familiar EXL 320 and 325 systems, highly rated by recent surveys into computer cost effiency over a 5 year period. Prime’s entire EXL family is built around the Intel 80386 microprocessor and works together via industry standard communications including NFS and X.25, SNA, and TCP/IP. A principal and founding member of UNIX International and a member of X/OPEN, Prime is combining research with AT&T. AUUG General Information Memberships and Subscriptions Membership, Change of Address, and Subscription forms can be found at the end of this issue. All correspondence concerning membership of the AUUG should be addressed to:- The AUUG Membership Secretary, P.O. Box 366, Kensington, N.S.W. 2033. AUSTRALIA General Correspondence All other correspondence for the AUUG should be addressed to:- The AUUG Secretary, P.O. Box 366, Kensington, N.S.W. 2033. AUSTRALIA AUUG Executive President Greg Rose Secretary Tim Roper gr e g @softway.sw.oz [email protected] Softway Pty. Ltd. Labtam Information Systems Pty. Ltd. New South Wales Victoria Treasurer Michael Tuke mjt@conjure@ labtam.oz Vision Control Australia Victoria Committee Peter Barnes John Carey Members [email protected] [email protected] Computer Science Labtam Information Systems Pry. Ltd. University of Queensland Victoria Pat Duffy Chris Maltby [email protected] [email protected] Pyramid Technology Corporation Softway Pty. Ltd. New South Wales New South Wales Next AUUG Meeting The AUUGg0 Conference and Exhibition will be held in Melbourne from September 25th to September 28th 1990. The venue has yet to be confirmed. Further details will be provided in the next issue. AUUGN 5 Vol 10 No 5 AUUG Newsletter Editorial Well, here we are then. I suppose, this being my first issue of AUUGN, I should make some grand statement of new editorial policy. But I won’t, because at this stage I have no grand ideas. In fact the majority of you, those who don’t read the editorial and skip straight to the issue of ;login: included later in the issue, will probably not notice a change at the helm. For everyone else, i.e. those who are still reading, I would like to take just one more opportunity to thank John Carey not only for his own efforts as editor for the past three years, but for the help he has given me in preparing this issue and getting it to the printers. It has been over a month since AUUG89, but the enthusiasm generated there still seems to be prompting some activity in the AUUG. Planning is well advanced for Regional Summer Conferences, and it looks like they really will go ahead this year. Also a review of the constitution of AUUG Inc (as published in AUUGN Volume 10 Number 3) has prompted several regional user groups to petition the Management Committee to form Chapters of the AUUG. I would like to have it recorded here that SESSPOOLE in Melbourne was the first group to do so, presenting its petition to the Management Committee at the 1989 AGM. So, I hope you enjoy this issue of AUUGN and will be inspired to send in copious articles for the next issue. AUUGN Correspondence All correspondence reguarding the AUUGN should be addressed to:- David Purdue AUUGN Editor Labtam Information Systems Pty. Ltd. 43 Malcolm Road Braeside Victoria 3195 AUSTRALIA ACS net: [email protected] Phone: +61 3 587 1444 Fax: +61 3 580 5581 Contributions The Newsletter is published approximately every two months. The deadline for contributions for the next issue is Friday the 1st of December 1989. Contributions should be sent to the Editor at the above address. I prefer documents to be e-mailed to me, and formatted with troff. I can process mm, me, ms and even man macros, and have tbl, eqn and pic preprocessors, but please note on your submission which macros and preprocessors you are using. If you can’t use troff, then just plain text please. Hardcopy submissions should be on A4 with 30 mm left at the top and bottom so that the AUUGN footers can be pasted on to the page. Small page numbers printed in the footer area would help. Come on, everyone, contribute! If the muse is upon you, and you have to write, but you can’t think of anything to write about, give me a call and I’ll throw some ideas at you. Advertising Advertisements for the AUUG are welcome. They must be submitted on an A4 page. No partial page advertisements will be accepted. The current rate is AUD$ 200 dollars per inside page. More Vol 10 No 5 6 AUUGN prominent positions are available but cost more. Contact the editor for details. Mailing Lists For the purchase of the AUUGN mailing list, please contact Tim Roper. Back Issues Various back issues of the AUUGN are available, details are printed at the end of this issue. Acknowledgement This Newsletter was produced with the kind assistance and equipment provided by Labtam Information
Recommended publications
  • Dennis Brylow in Theory, Simulating an Operating System Is the Same As the Real Thing. in Practice, It Is N
    Experimental Operating System Lab on a Dime Dennis Brylow Department of Mathematics, Statistics and Computer Science In theory, simulating an Operating System is the same as the real thing. In practice, it is not. Setting up specialized Operating System Laboratory hardware usually requires more time, money, and space than most schools can afford. Marquette©s Systems Lab has concentrated specifically on developing a scalable, duplicable design for an Experimental Operating System Laboratory environment with minimal cost and very low space requirements. Our Experimental Operating Systems Laboratory serves as a target platform in undergraduate courses on Hardware Systems (COSC 065), Operating Systems (COSC 125 and COEN 183), Embedded Operating Systems (COSC 195) and Compiler Construction (COSC 170). Coming Soon: Additional modules for coursework in Embedded and Realtime Systems, Networking protocol stacks, Wireless Networking, and Internetworking . http://www.mscs.mu.edu/~brylow/xinu/ XINU in the 21st Century Purdue University©s XINU Operating System has been successfully deployed in classrooms, research labs, and commercial products for more than 20 years. Marquette University presents a new reimplementation of XINU, targeted to modern RISC architectures, written in ANSI-compliant C, and particularly well-suited to embedded platforms with scarce resources. Special Purpose Serial Consoles XINU Backends Serial Annex (optional) Private Network Marquette©s Systems Lab General Purpose runs XINU on inexpensive Laboratory Workstations wireless routers containing XINU the Embedded MIPS32 Server processor. Production Network XINU Backends XINU Server XINU Frontends Backend targets upload student kernel General purpose server with multiple General purpose computer laboratory over private network on boot, run O/S network interfaces manages a private workstations can compile the XINU directly.
    [Show full text]
  • CS631-Advancedprogrammingintheunixenvironment Slide1
    CS631-AdvancedProgrammingintheUNIXEnvironment Slide1 CS631 - Advanced Programming in the UNIX Environment Department of Computer Science Stevens Institute of Technology Jan Schaumann [email protected] http://www.cs.stevens.edu/~jschauma/631/ Lecture 01: Introduction, UNIX history, UNIX Programming Basics August 26, 2013 CS631-AdvancedProgrammingintheUNIXEnvironment Slide2 Programming http://is.gd/Z4CLky Lecture 01: Introduction, UNIX history, UNIX Programming Basics August 26, 2013 CS631-AdvancedProgrammingintheUNIXEnvironment Slide3 Programming http://cm.bell-labs.com/who/dmr/chist.html Lecture 01: Introduction, UNIX history, UNIX Programming Basics August 26, 2013 CS631-AdvancedProgrammingintheUNIXEnvironment Slide4 Extra Fun! http://golang.org Lecture 01: Introduction, UNIX history, UNIX Programming Basics August 26, 2013 CS631-AdvancedProgrammingintheUNIXEnvironment Slide5 In a nutshell: the ”what” $ ls /bin [ csh ed ls pwd sleep cat date expr mkdir rcmd stty chio dd hostname mt rcp sync chmod df kill mv rm systrace cp domainnameksh pax rmdir tar cpio echo ln ps sh test $ Lecture 01: Introduction, UNIX history, UNIX Programming Basics August 26, 2013 CS631-AdvancedProgrammingintheUNIXEnvironment Slide6 In a nutshell: the ”what” $ grep "(int" /usr/include/sys/socket.h int accept(int, struct sockaddr * __restrict, socklen_t * __restrict); int bind(int, const struct sockaddr *, socklen_t); int connect(int, const struct sockaddr *, socklen_t); int getsockopt(int, int, int, void * __restrict, socklen_t * __restrict); int listen(int,
    [Show full text]
  • MTS on Wikipedia Snapshot Taken 9 January 2011
    MTS on Wikipedia Snapshot taken 9 January 2011 PDF generated using the open source mwlib toolkit. See http://code.pediapress.com/ for more information. PDF generated at: Sun, 09 Jan 2011 13:08:01 UTC Contents Articles Michigan Terminal System 1 MTS system architecture 17 IBM System/360 Model 67 40 MAD programming language 46 UBC PLUS 55 Micro DBMS 57 Bruce Arden 58 Bernard Galler 59 TSS/360 60 References Article Sources and Contributors 64 Image Sources, Licenses and Contributors 65 Article Licenses License 66 Michigan Terminal System 1 Michigan Terminal System The MTS welcome screen as seen through a 3270 terminal emulator. Company / developer University of Michigan and 7 other universities in the U.S., Canada, and the UK Programmed in various languages, mostly 360/370 Assembler Working state Historic Initial release 1967 Latest stable release 6.0 / 1988 (final) Available language(s) English Available programming Assembler, FORTRAN, PL/I, PLUS, ALGOL W, Pascal, C, LISP, SNOBOL4, COBOL, PL360, languages(s) MAD/I, GOM (Good Old Mad), APL, and many more Supported platforms IBM S/360-67, IBM S/370 and successors History of IBM mainframe operating systems On early mainframe computers: • GM OS & GM-NAA I/O 1955 • BESYS 1957 • UMES 1958 • SOS 1959 • IBSYS 1960 • CTSS 1961 On S/360 and successors: • BOS/360 1965 • TOS/360 1965 • TSS/360 1967 • MTS 1967 • ORVYL 1967 • MUSIC 1972 • MUSIC/SP 1985 • DOS/360 and successors 1966 • DOS/VS 1972 • DOS/VSE 1980s • VSE/SP late 1980s • VSE/ESA 1991 • z/VSE 2005 Michigan Terminal System 2 • OS/360 and successors
    [Show full text]
  • Using TOST in Teaching Operating Systems and Concurrent Programming Concepts
    Advances in Science, Technology and Engineering Systems Journal Vol. 5, No. 6, 96-107 (2020) ASTESJ www.astesj.com ISSN: 2415-6698 Special Issue on Multidisciplinary Innovation in Engineering Science & Technology Using TOST in Teaching Operating Systems and Concurrent Programming Concepts Tzanko Golemanov*, Emilia Golemanova Department of Computer Systems and Technologies, University of Ruse, Ruse, 7020, Bulgaria A R T I C L E I N F O A B S T R A C T Article history: The paper is aimed as a concise and relatively self-contained description of the educational Received: 30 July, 2020 environment TOST, used in teaching and learning Operating Systems basics such as Accepted: 15 October, 2020 Processes, Multiprogramming, Timesharing, Scheduling strategies, and Memory Online: 08 November, 2020 management. TOST also aids education in some important IT concepts such as Deadlock, Mutual exclusion, and Concurrent processes synchronization. The presented integrated Keywords: environment allows the students to develop and run programs in two simple programming Operating Systems languages, and at the same time, the data in the main system tables can be monitored. The Concurrent Programming paper consists of a description of TOST system, the features of the built-in programming Teaching Tools languages, and demonstrations of teaching the basic Operating Systems principles. In addition, some of the well-known concurrent processing problems are solved to illustrate TOST usage in parallel programming teaching. 1. Introduction • Visual OS simulators This paper is an extension of work originally presented in 29th The systems from the first group (MINIX [2], Nachos [3], Xinu Annual Conference of the European Association for Education in [4], Pintos [5], GeekOS [6]) run on real hardware and are too Electrical and Information Engineering (EAEEIE) [1].
    [Show full text]
  • A Study on Various Programming Languages to Keep Pace with Innovation
    S.Sridhar* et al. (IJITR) INTERNATIONAL JOURNAL OF INNOVATIVE TECHNOLOGY AND RESEARCH Volume No.5, Issue No.2, February – March 2017, 5681-5704. A Study On Various Programming Languages To Keep Pace With Innovation S.SRIDHAR Professor & Director RV Centre for Cognitive & Central Computing R.V.College of Engineering, Mysore Road Bangalore-560059 India Abstract: A programming language is a formal computer language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs to control the behaviour of a machine or to express algorithms. The earliest known programmable machine preceded the invention of the digital computer and is the automatic flute player described in the 9th century by the brothers Musa in Baghdad, "during the Islamic Golden Age". From the early 1800s, "programs" were used to direct the behavior of machines such as Jacquard looms and player pianos. Thousands of different programming languages have been created, mainly in the computer field, and many more still are being created every year. Many programming languages require computation to be specified in an imperative form (i.e., as a sequence of operations to perform) while other languages use other forms of program specification such as the declarative form (i.e. the desired result is specified, not how to achieve it). The description of a programming language is usually split into the two components of syntax (form) and semantics (meaning). Some languages are defined by a specification document (for example, the C programming language is specified by an ISO Standard) while other languages (such as Perl) have a dominant implementation that is treated as a reference.
    [Show full text]
  • Porting the Embedded Xinu Operating System to the Raspberry Pi Eric Biggers Macalester College, [email protected]
    Macalester College DigitalCommons@Macalester College Mathematics, Statistics, and Computer Science Mathematics, Statistics, and Computer Science Honors Projects 5-2014 Porting the Embedded Xinu Operating System to the Raspberry Pi Eric Biggers Macalester College, [email protected] Follow this and additional works at: https://digitalcommons.macalester.edu/mathcs_honors Part of the OS and Networks Commons, Software Engineering Commons, and the Systems Architecture Commons Recommended Citation Biggers, Eric, "Porting the Embedded Xinu Operating System to the Raspberry Pi" (2014). Mathematics, Statistics, and Computer Science Honors Projects. 32. https://digitalcommons.macalester.edu/mathcs_honors/32 This Honors Project - Open Access is brought to you for free and open access by the Mathematics, Statistics, and Computer Science at DigitalCommons@Macalester College. It has been accepted for inclusion in Mathematics, Statistics, and Computer Science Honors Projects by an authorized administrator of DigitalCommons@Macalester College. For more information, please contact [email protected]. MACALESTER COLLEGE HONORS PAPER IN COMPUTER SCIENCE Porting the Embedded Xinu Operating System to the Raspberry Pi Author: Advisor: Eric Biggers Shilad Sen May 5, 2014 Abstract This thesis presents a port of a lightweight instructional operating system called Em- bedded Xinu to the Raspberry Pi. The Raspberry Pi, an inexpensive credit-card-sized computer, has attracted a large community of hobbyists, researchers, and educators since its release in 2012. However, the system-level software running on the Raspberry Pi has been restricted to two ends of a spectrum: complex modern operating systems such as Linux at one end, and very simple hobbyist operating systems or simple “bare-metal” programs at the other end.
    [Show full text]
  • Real-Time Transport of Internet Telephony Service Utilizing Embedded Resource-Constrained Systems Kyle Persohn Marquette University
    Marquette University e-Publications@Marquette Master's Theses (2009 -) Dissertations, Theses, and Professional Projects Real-Time Transport of Internet Telephony Service Utilizing Embedded Resource-Constrained Systems Kyle Persohn Marquette University Recommended Citation Persohn, Kyle, "Real-Time Transport of Internet Telephony Service Utilizing Embedded Resource-Constrained Systems" (2012). Master's Theses (2009 -). Paper 162. http://epublications.marquette.edu/theses_open/162 REAL-TIME TRANSPORT OF INTERNET TELEPHONY SERVICE UTILIZING EMBEDDED RESOURCE-CONSTRAINED SYSTEMS by Kyle Persohn A Thesis Submitted to the Faculty of the Graduate School, Marquette University, in Partial Fulfillment of the Requirements for the Degree of Master of Science Milwaukee, Wisconsin August 2012 ABSTRACT REAL-TIME TRANSPORT OF INTERNET TELEPHONY SERVICE UTILIZING EMBEDDED RESOURCE-CONSTRAINED SYSTEMS Kyle Persohn Marquette University, 2012 This thesis presents a real-time framework for resource-constrained devices that improves the listening quality of Voice over Internet Protocol calls transported over congested networks. Many VoIP standards and implementations exist, but gaps in the design space encourage further exploration that previous work fails to address. We describe an experimental hardware platform that expands upon a previous design to accommodate technical research and educational needs. Our framework, based on the Real-Time Transport Protocol, integrates closely with existing software constructs available in the Embedded Xinu operating system. We offer features derived from RTP by means of a kernel device that alleviates an application from directly interacting with the underlying protocol. An example application based on Xinu's RTP implementation demonstrates measurable robustness to packet loss and delay variation (jitter)|adverse conditions affecting networks used for VoIP, such as the Internet.
    [Show full text]
  • MTS Volume 1, for Example, Introduces the User to MTS and Describes in General the MTS Operating System, While MTS Volume 10 Deals Exclusively with BASIC
    M T S The Michigan Terminal System The Michigan Terminal System Volume 1 Reference R1001 November 1991 University of Michigan Information Technology Division Consulting and Support Services DISCLAIMER The MTS manuals are intended to represent the current state of the Michigan Terminal System (MTS), but because the system is constantly being developed, extended, and refined, sections of this volume will become obsolete. The user should refer to the Information Technology Digest and other ITD documentation for the latest information about changes to MTS. Copyright 1991 by the Regents of the University of Michigan. Copying is permitted for nonprofit, educational use provided that (1) each reproduction is done without alteration and (2) the volume reference and date of publication are included. 2 CONTENTS Preface ........................................................................................................................................................ 9 Preface to Volume 1 .................................................................................................................................. 11 A Brief Overview of MTS .......................................................................................................................... 13 History .................................................................................................................................................. 13 Access to the System ...........................................................................................................................
    [Show full text]
  • Language Manual, Volume I MAINSAIL@
    Language Manual, Volume I MAINSAIL@ Language Manual, Part I: Syntax and Semantics 24 March 1989 Copyright (c) 1979, 1983, 1984, 1985, 1986, 1987, 1989, by XIDAK, Inc., Menlo Park, Califomia. The software desaibed herein is the property of XIDAK, Inc., with all rights reserved, and is a confidential trade secret of XIDAK. The software desaibed herein may be used only under license from XIDAK. MAINSAIL is a registered trademark ofXIDAK, Inc. MAINDEBUG, MAINEDIT, MAINMEDIA, MAINPM, Structure Blaster, roB, and SQUT are trademarks of XIDAK, Inc. CONCENTRIX is a trademark of Alliant Computer Systems Corporation. Amdahl, Universal Time-Sharing System, and UTS are trademarks of Amdahl Corporation. Aegis, Apollo, DOMAIN, GMR, and GPR are trademarks of Apollo Computer Inc. UNIX and UNIX System V are trademarks of AT&T. DASHER, DG/UX, ECLIPSE, ECLIPSE MV /4000, ECUPSE MV /8000, ECLIPSE MV /10000. and ECLIPSE MV{lOOOO are trademarks of Data General Corporation. DEC,PDP, TOPS-lO, TOPS-20, VAX-H, VAX,MicroVAX,MicroVMS, ULTR1X-32,and VAXNMS are trademarks of Digital Equipment Corporation. EMBOS and ELXSI System 6400 are trademarks of ELXSI, Inc. The KERMIT File Transfer Protocol was named after the star of THE MUPPET SHOW television series. The name is used by pennission of Henson Associates, Inc. HP-UX and Vectra are trademarks of Hewlett-Packard Company. Intel is a trademark of Intel Corporation. CLIPPER. CLIX. Intergraph. InterPro 32, and InterPro 32C are trademarks of Intergraph Corporation. System/370, VM/SP CMS. and CMS are trademarks of International Business Machines Corporation. MC68000. M68000. MC68020. and MC68881 are trademarks of Motorola Semiconductor Products Inc.
    [Show full text]
  • Proving Safety Properties of Software Kang Gui Iowa State University
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Digital Repository @ Iowa State University Iowa State University Capstones, Theses and Graduate Theses and Dissertations Dissertations 2012 Proving safety properties of software Kang Gui Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/etd Part of the Computer Engineering Commons, and the Computer Sciences Commons Recommended Citation Gui, Kang, "Proving safety properties of software" (2012). Graduate Theses and Dissertations. 12335. https://lib.dr.iastate.edu/etd/12335 This Dissertation is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Graduate Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. Proving safety properties of software by Kang Gui A dissertation submitted to the graduate faculty in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Major: Computer Engineering Program of Study Committee: Suraj C. Kothari, Major Professor Srinivas Aluru Tien Nguyen Manimaran Govindarasu Samik Basu Iowa State University Ames, Iowa 2012 Copyright c Kang Gui, 2012. All rights reserved. ii DEDICATION To my parents Yousheng Gui and Jianping Chang iii TABLE OF CONTENTS LIST OF TABLES . vi LIST OF FIGURES . vii ACKNOWLEDGEMENTS . ix ABSTRACT . x CHAPTER 1. OVERVIEW . 1 1.1 Dissertation Outline . .3 CHAPTER 2. RELATED WORKS . 5 2.1 Finding Defects of Large Source Code . .5 2.2 Graph Based Program Analysis .
    [Show full text]
  • Jargon File, Version 4.0.0, 24 Jul 1996
    JARGON FILE, VERSION 4.0.0, 24 JUL 1996 This is the Jargon File, a comprehensive compendium of hacker slang illuminating many aspects of hackish tradition, folklore, and humor. This document (the Jargon File) is in the public domain, to be freely used, shared, and modified. There are (by intention) no legal restraints on what you can do with it, but there are traditions about its proper use to which many hackers are quite strongly attached. Please extend the courtesy of proper citation when you quote the File, ideally with a version number, as it will change and grow over time. (Examples of appropriate citation form: "Jargon File 4.0.0" or "The on-line hacker Jargon File, version 4.0.0, 24 JUL 1996".) The Jargon File is a common heritage of the hacker culture. Over the years a number of individuals have volunteered considerable time to maintaining the File and been recognized by the net at large as editors of it. Editorial responsibilities include: to collate contributions and suggestions from others; to seek out corroborating information; to cross-reference related entries; to keep the file in a consistent format; and to announce and distribute updated versions periodically. Current volunteer editors include: Eric Raymond [email protected] Although there is no requirement that you do so, it is considered good form to check with an editor before quoting the File in a published work or commercial product. We may have additional information that would be helpful to you and can assist you in framing your quote to reflect not only the letter of the File but its spirit as well.
    [Show full text]
  • MINOS 5.51 User's Guide
    SYSTEMS OPTIMIZATION LABORATORY DEPARTMENT OF MANAGEMENT SCIENCE AND ENGINEERING STANFORD UNIVERSITY STANFORD, CALIFORNIA, USA MINOS 5.51 USER’S GUIDE by Bruce A. Murtagh† and Michael A. Saunders‡ TECHNICAL REPORT SOL 83-20R December 1983 Revised September 23, 2003 Copyright c 1983–2002 Stanford University †Graduate School of Management, Macquarie University, Sydney, NSW, Australia ([email protected]). ‡Dept of Management Science and Engineering, Terman Building, Stanford University, Stanford, CA 94305-4026, USA ([email protected]). Research and reproduction of this report were supported by the Department of Energy contract DE-AM03-76SF00326, PA No. DE-AT03-76ER72018; National Science Foundation grants MCS- 7926009, ECS-8012974 and CCR-9988205; the Office of Naval Research contracts N00014-75-C-0267 and N00014-02-1-0076; and the Army Research Office contract DAAG29-81-K-0156. Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the authors and do not necessarily reflect the views of the above sponsors. Reproduction in whole or in part is permitted for any purposes of the United States Government. ii Contents Preface to MINOS 5.51 vii Preface to MINOS 5.0 xv 1 Introduction 3 1.1 LinearProgramming .................................. 4 1.2 Problems with a Nonlinear Objective . 5 1.3 Problems with Nonlinear Constraints . ..... 7 1.4 ProblemFormulation................................. ... 9 1.5 Restrictions....................................... 10 1.6 Storage .......................................... 10 1.7 Files............................................ 11 1.8 InputDataFlow ...................................... 11 1.9 MultipleSPECSFiles .................................. 12 1.10 Internal Modifications . 13 2 User-written Subroutines 15 2.1 Subroutine funobj . 15 2.2 Subroutine funcon . 17 2.3 Constant Jacobian Elements .
    [Show full text]