DOCSLIB.ORG

Conference on the Programming Environ)Ment for Developiment of Numerical Software

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Conference on the Programming Environ)Ment for Developiment of Numerical Software JPL PUBLICATION 78-92 Proceedings Conference on the Programming Environ)ment for Developiment of Numerical Software Cosponsored by JPL and ACM-SIGNUM Hilton Hotel Pasadena, California October 18-20, 1978 (N-ASA-CR-157933). CONFERENCE ON THE 17-12715 FOR DEVELOPMENT OF THRU PROGRAM ING ENVIRONMENT 6 , S'OFTW'AIRE (Jet Propulsion Lab.) N79-1273 NUMERICAL linclas 86 p HC A05/IF A01 CSCL 09B G3/59 33812 October 18, 1978 National Aeronautics and Space Administration Jet Propulsion Laboratory California Institute of Technology, Pasadena, California R D NATIONAL TECHNICAL INFORMATION SERVICE U.S.DEPARTMENTOFCOMMERCE SPRINGFIELD.VA.22161 JPL PUBLICATION 78-92 Proceedings Conference on the Programming Environment for Development of Numerical Software Cosponsored by JPL and ACM-SIGNUM Hilton Hotel Pasadena, California October 18-20, 1978 October 18, 1978 National Aeronautics and Space Administration Jet Propulsion Laboratory California Institute of Technology, Pasadena, California This publication was prepared by the Jet Propulsion Laboratory, California Institute of Technology, under NASA Contract NAS7-1 00 o • CONFERENCE OVERVIEW p'G -- pAGEr NSOeiR QUALI'Y C L. Lawson, Conference Chairman THE NUMERICAL SOFTWARE COMMUNITY, especially in been regarded mainly as a teaching language has North America, has predominately used the Fortran achieved a new burst of popularity among micro­ language In the late 60's, there may have been computer users, due in large part to PASCAL compiler thoughts that some other language might soon re- developments at UCSD. Volper of that group will place Fortran for scientific computing. By the discuss PASCAL's relevance to the mathematical early 70's, however, this appeared much less likely software community. and a number of people began developing prepro­ cessors and other software tools that would make The DoD High Order Language Working Group is in some of the newer systematic approaches to software the midst of one of the largest efforts ever under­ development and testing more readily available in taken by a user organization to create and promote Fortran environments, the use of an entirely new language The talk by Fisher on this project will give conference The 1974 SIGNUM Workshop on Fortran Preproces- attendees an opportunity to begin to assess the sors for Numerical Software held at the Jet Propulsion significance of this project for numerical software. Laboratory, Pasadena, spotlighted this developing area and initiated closer communication between Hull will discuss language and hardware features SIGNUM and the ANSI Fortran Committee X3J3. Contacts that would give the numerical analyst new levels of established at the 1974 Workshop led to the organi- control and confidence in numerical computations. zation of two Fortran Forum meetings in 1976, one in California and one in New York, providing early Kahan and Eggers are both presently active on public discussion of the emerging Fortran 77 an IEEE committee to specify a standard for standard floating-point arithmetic hardware. They will present two different proposals on this subject. The Workshop and the two Forums gave added impetus to a changing mood within X3J3. There was Fong will report on the recent DoE Workshop on increased willingness to deal with significant Mathematical Libraries Jones will report on the additions to the language. In particular, it seems DOE Advanced Computing Committee Language Working likely that the eventual decision to add the Group which is developing guidelines for Fortran structured IF into Fortran 77 was strongly influ- extensions to meet DoE needs. enced by the considerable interest in structured Fortran evidenced at the Workshop. It is a pleasure to thank Tom Aird, Jim Boyle, and Norm Schryer for working with me in organizing For the present conference we have carried the the technical program for this conference John SIGNUM-X3J3 communication a step further by Rice provided valuable assistance in coordination arranging for a half-day joint meeting of the two with ACM Headquarters, publicity, and budgetary groups Brainerd and Schenk will speak on the guidance. current directions of X3J3 and Lawson, Brown, and Smith will present some views from the mathematical The Jet Propulsion Laboratory has supported the software community for consideration by X3J3. An conference by permitting me and my secretary, extended discussion period is scheduled for more Kay Cleland, to carry through the preparation, and general interaction between the SIGNUN conference by publishing the conference schedule and pro­ attendees and the members of X3J3. ceedings for distribution at the conference I wish to personally thank Kay for her sustained Boyle, Dritz, Schryer, Crary, and Presser will dedication to the success of the conference. describe a variety of software tools applicable to the development of numerical software. Rice gives The members of the ANSI Fortran Committee X3J3 an analysis of the increased programming efficiency will be making a very generous effort on behalf of attainable by use of a very high order problem the conference in travelling thirty miles across oriented language for solving PDE's Miller Los Angeles from their own meeting site to Pasadena presents a case for an EISPACK-type research and for the Wednesday morning sessions I thank development project in the area of software tools. Jeanne Adams, Chairman of X3J3, and James Matheny, Osterweil speaks on strategies for making the best local arrangements Chairman fo X3J3's Oct 16-19 use of software tools, meeting in Los Angeles for their unstinting cooperation in arranging for X3J3's participation The organizations with the most pressing in this conference necessity to make systematic and efficient use of tools for dealing with mathematical software are I wish to express appreciation to all of the the vendors of commercial mathematical libraries. speakers and their home institutions for their We will hear from Fox of the PORT library, Aird of outlay of t hme, funds, and energy to bring their IMSL, and du Croz of NAG on their methods and recent work to the podium of this conference. The experiences Session Chairmen and attendees at the conference encompass a wide range of experience in mathematical Approaches to the technical problems associated software and we look forward to stimulating ex­ with the exchange of mathematical software between changes of information during the discussion periods. different facilities will be treated in talks by We believe this conference will provide a useful Butler and Van Snyder. snapshot of the current state-of-the-art in tools and techniques for development of mathematical New preprocessor-based languages will be software and we hope this will lead to more wide­ presented by Grosse and Feldman. PASCAL, which has spread use of systematic methods in this field. ii O ,00 CONTENTS AUTHOR TITLE PAGE W S Brainerd .. ....... A "Core + Modules" Approach to 1 Los Alamos Fortran Standardization Scientific Laboratory W. Sckenk ...... .......... Numerical Precision and Data 3 Xerox Corp Structures C. L Lawson .... ........... The IfIP lG 2 5 Propcsals on 7 Jet Pxopulsion Fortran Laboratory li.S. Brown and S. I. Feldman . ..... Environmental Parameters and 11 Bell Laboratories Basic Functions for Floating- Point Computation B. T. Smith .. ........ A Comparison of Two Recent 15 Argonne National Approaches to Machine Parameter­ Laboratory ization for Mathematical Software N. L. Schryer .... ........... UNIX as an Environment for 18 Bell Laboratories Producing Numerical Software F. D. Crary .... ........... The Augment Precompiler as a 23 Boeing Computer Tool for the Development of Services Special Purpose Arithmetic Packages J 1. Yone Mathematics Research Center J. Boyle ..... ............ Extending Reliability: 27 Argonne National Transformational Tailoring of Laboratory Abstract Mathematical Software L. Presser ..... ............ Fortran Tools 31 Softool Corp L. J. Osterweil .... .......... Using Tools for Verification, 33 University of Colorado Documentation, and Testing I. Miller .... ............ A Case for Toolpack 38 University of California, Santa Barbara K. IV.Dritz ..... ............ Programmable Formatting of 41 Argonne National Program Text: Experiences Drawn Laboratory from the TAMPR System E Grosse ..... ............ New Languages for Numerical 43 Stanford University Software S I Feldman .... ....... .... The Programming Language EFL 47 Bell Laboratories D. Fisher ..... ............ The DoD HOLWG Language Project No Institute for paper Defense Analysis P. A Fox ..... ............ Design Principles of the PORT 51 Bell Laboratories Library T. J. Aird and D. G Kainer . ...... The IMSL Environment for Software 54 International Development Mathematical and Statistical Library (IMSL) J. J. Du Croz .... ........... Transportability in Practice - 57 Numerical Algorithms Recent Experience with the NAG Group (NAG), England Library Preceding page blank I CONTENTS (cont.) AUTHOR TITLE PAGE M. Butler ................. Portability and the National 58 - Argonne National . -Eergy Sbftiare Cb-nte " - Laboratory IV.V. Snyder .... ........... A Transportable System for 61 Jet Propulsion Management and Exchange of Laboratory Programs and Other Text D Volper .... ............ Using Pascal for Numerical 64 University of Analysis California, San Diego T. E. Hull ..... ............ Desirable Floating-Point 67 University of Toronto Arithmetic and Elementary Functions for Numerical Computation IV.M. Kahan ..... ............ Specifications for a Proposed
Load more

Recommended publications
  • Mccarthy.Pdf
    HISTORY OF LISP John McCarthy A rtificial Intelligence Laboratory Stanford University 1. Introduction. 2. LISP prehistory - Summer 1956 through Summer 1958. This paper concentrates on the development of the basic My desire for an algebraic list processing language for ideas and distinguishes two periods - Summer 1956 through artificial intelligence work on the IBM 704 computer arose in the Summer 1958 when most of the key ideas were developed (some of summer of 1956 during the Dartmouth Summer Research Project which were implemented in the FORTRAN based FLPL), and Fall on Artificial Intelligence which was the first organized study of AL 1958 through 1962 when the programming language was During this n~eeting, Newell, Shaa, and Fimon described IPL 2, a implemented and applied to problems of artificial intelligence. list processing language for Rand Corporation's JOHNNIAC After 1962, the development of LISP became multi-stranded, and different ideas were pursued in different places. computer in which they implemented their Logic Theorist program. There was little temptation to copy IPL, because its form was based Except where I give credit to someone else for an idea or on a JOHNNIAC loader that happened to be available to them, decision, I should be regarded as tentatively claiming credit for It and because the FORTRAN idea of writing programs algebraically or else regarding it as a consequence of previous decisions. was attractive. It was immediately apparent that arbitrary However, I have made mistakes about such matters in the past, and subexpressions of symbolic expressions could be obtained by I have received very little response to requests for comments on composing the functions that extract immediate subexpresstons, and drafts of this paper.
    [Show full text]
  • LISP Session
    LISP Session Chairman: Barbara Liskov Speaker: John McCarthy Discussant: Paul Abrahams PAPER: HISTORY OF LISP John McCarthy 1. Introduction This paper concentrates on the development of the basic ideas and distinguishes two periods--Summer 1956 through Summer 1958, when most of the key ideas were devel- oped (some of which were implemented in the FORTRAN-based FLPL), and Fall 1958 through 1962, when the programming language was implemented and applied to problems of artificial intelligence. After 1962, the development of LISP became multistranded, and different ideas were pursued in different places. Except where I give credit to someone else for an idea or decision, I should be regarded as tentatively claiming credit for it or else regarding it as a consequence of previous deci- sions. However, I have made mistakes about such matters in the past, and I have received very little response to requests for comments on drafts of this paper. It is particularly easy to take as obvious a feature that cost someone else considerable thought long ago. As the writing of this paper approaches its conclusion, I have become aware of additional sources of information and additional areas of uncertainty. As a programming language, LISP is characterized by the following ideas: computing with symbolic expressions rather than numbers, representation of symbolic expressions and other information by list structure in the memory of a computer, representation of in- formation in external media mostly by multilevel lists and sometimes by S-expressions, a small
    [Show full text]
  • Flexible Supply Chain Simulation
    J. Manuel Feliz-Teixeira Flexible Supply Chain Simulation Thesis 01 MARCH 2006 Text submitted in partial fulfilment for the degree of Doctor in Sciences of Engineering Supervisor António E. S. Carvalho Brito Advisor Richard Saw RESEARCH SPONSORED BY THE: THROUGH THE: PUBLISHER: Publindústria® Produção de Comunicação, Lda. EUROPEAN UNION European Social Fund (III framework) Copyright: Ó J. Manuel Feliz-Teixeira All rights reserved First Edition: Porto, 1 March 2006 ISBN: 972-8953-04-6 Legal deposit: 239362/06 Original cover art: Jorge Pereira Publisher: Publindústria, Produção de Comunicação Pr. Da Corujeira, 38 – Apt.3825 4300-144 Porto Portugal Tel: +351.22.589.96.20 Fax: +351.22.589.96.29 Email: [email protected] URL: http://www.publindustria.pt Flexible Supply Chain Simulation Thesis J. Manuel Feliz-Teixeira* 01 March 2006 Text submitted in partial fulfilment for the degree of Doctor in Sciences of Engineering Supervisor: António E. S. Carvalho Brito Advisor: Richard Saw Research sponsored by the: European Social Fund (III framework) Through the: * Complete name: José Manuel Feliz Dias Teixeira i To my mother and my father, and my old professors of Physics. J. Manuel Feliz-Teixeira IMPORTANT NOTE: NOTA IMPORTANTE: The contents of this text are registered with the Portuguese Society of Authors and protected by the law of intellectual rights, including the copyright. No reproductions or publications are allowed without the expressed permission of the author. O conteúdo desta tese encontra-se registado na Sociedade Portuguesa de Autores e está protegido pela lei geral e específica dos direitos de autor, morais e patrimoniais (copyright). Não é permitida qualquer reprodução ou publicação sem o expresso consentimento do autor.
    [Show full text]
  • Computer Programming 1
    Computer programming 1 Computer Programming Copyright © Milo Except where noted, all text is copyright Milo. Unless otherwise specified, all materials in this book are owned by the original copyright holder. PDF version of October 2007 This PDF is version 0 from 14 October 2007. The intent of this free downloadable college text book is to attempt to directly help poor and middle class students with the high cost of college text books by providing a high quality free alternative that can be used in the classroom for a subject that most college students are required to take. This free downloadable book is based on and includes materials from http://www.OSdata.com . Materials from OSdata.com have already been used in more than 300 colleges and universities around the world and have been quoted in studies and policy decisions by the U.S. Navy and the government of the Federal Republic of Germany. This is still a work in progress. Feedback and constructive criticism appreciated (especially feedback from professors who might want to use the finished book). While this book is still being written, professors are free to use specific chapters (or portions of chapters) as class handouts to supplement existing for-profit text books. This same policy will continue to apply after the book is completed, but this policy offers usefulness for many classes right now today even though the book is still incomplete. Poor students should not feel bad about using this book for free. You are exactly who this book is intended to help. You may optionally do volunteer work for the charitable organization of your choice (not political or religious activity — actual work for a charitable organization helping the poor, the elderly, the sick, the disabled, or the environment, etc.).
    [Show full text]
  • <[email protected]> Sent: Tuesday, May 22, 2018 5:32 PM To
    From: [email protected] <[email protected]> Sent: Tuesday, May 22, 2018 5:32 PM To: Smith, Ashley <[email protected]>; Neufeld, Darin <[email protected]> Subject: Golden Door Comment on Newland Sierra GHG Mitigation Attached is a comment letter from Kathy Van Ness of the Golden Door on the Newland Sierra project. Christine Sherer Legal Secretary LATHAM & WATKINS LLP 12670 High Bluff Drive San Diego, CA 92130 Direct Dial: +1.858.523.5440 Fax: +1.858.523.5450 Email: [email protected] http://www.lw.com This email may contain material that is confidential, privileged and/or attorney work product for the sole use of the intended recipient. Any review, disclosure, reliance or distribution by others or forwarding without express permission is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies including any attachments. Latham & Watkins LLP or any of its affiliates may monitor electronic communications sent or received by our networks in order to protect our business and verify compliance with our policies and relevant legal requirements. Any personal information contained or referred to within this electronic communication will be processed in accordance with the firm's privacy notices and Global Privacy Standards available at www.lw.com. Darin Neufeld Ashley Smith Planning and Development Services County of San Diego 5510 Overland Avenue, Suite 310 San Diego, CA 92123 Dear Mr. Neufeld and Ms. Smith: I am writing on behalf of the Golden Door, to follow up my letter in January of this year asking that the County of San Diego (County) to do its part to ensure that greenhouse gas (GHG) emissions are reduced within the County.
    [Show full text]
  • 1 1. Programacion Declarativa
    1. PROGRAMACION DECLARATIVA................................................................. 4 1.1 NUEVOS LENGUAJES. ANTIGUA LÓGICA. ........................................... 4 1.1.1 Lambda Cálculo de Church y Deducción Natural de Grentzen....... 4 1.1.2 El impacto de la lógica..................................................................... 5 1.1.3 Demostradores de teoremas ............................................................. 5 1.1.4 Confianza y Seguridad. .................................................................... 6 1.2 INTRODUCCIÓN A LA PROGRAMACIÓN FUNCIONAL ...................... 7 1.2.1 ¿Qué es la Programación Funcional?............................................... 7 1.2.1.1 Modelo Funcional ................................................................. 7 1.2.1.2 Funciones de orden superior ................................................. 7 1.2.1.3 Sistemas de Inferencia de Tipos y Polimorfismo.................. 8 1.2.1.4 Evaluación Perezosa.............................................................. 8 1.2.2 ¿Qué tienen de bueno los lenguajes funcionales? ............................ 9 1.2.3 Funcional contra imperativo........................................................... 11 1.2.4 Preguntas sobre Programación Funcional...................................... 11 1.2.5 Otro aspecto: La Crisis del Software.............................................. 11 2. HASKELL (Basado en un artículo de Simon Peyton Jones)............................ 13 2.1 INTRODUCCIÓN.......................................................................................
    [Show full text]
  • Universidade Federal De Minas Gerais Metodologia
    UNIVERSIDADE FEDERAL DE MINAS GERAIS Escola de Engenharia Departamento de Engenharia de Produção Luiz Carlos Nogueira Júnior METODOLOGIA PARA A SELEÇÃO DE TÉCNICAS DE PESQUISA OPERACIONAL NA ÁREA DE SAÚDE Belo Horizonte 2015 Luiz Carlos Nogueira Júnior METODOLOGIA PARA A SELEÇÃO DE TÉCNICAS DE PESQUISA OPERACIONAL NA ÁREA DE SAÚDE Tese apresentada ao Programa de Pós- Graduação em Engenharia de Produção da Universidade Federal de Minas Gerais, como requisito parcial à obtenção do título de Doutor em Engenharia de Produção. Área de Concentração: Otimização de Sistemas Logísticos e de Grande Porte. Orientador: Prof. Dr. Luiz Ricardo Pinto. Coorientadora: Profa. Dra. Leise Kelli de Oliveira. Belo Horizonte Escola de Engenharia - UFMG 2015 AGRADECIMENTOS A Deus, pelo dom da existência. Ao orientador, Professor Dr. Luiz Ricardo Pinto, pelas valiosas orientações e suporte nas horas mais complicadas, sempre com uma palavra amiga e sensata. À coorientadora, Professora Dra. Leise Kelli de Oliveira, pelo acompanhamento do trabalho, pelos grandes conselhos e por sua disponibilidade sempre generosa. Aos professores e demais funcionários do Departamento de Engenharia de Produção da Universidade Federal de Minas Gerais (UFMG), em especial aos Professores Doutores Ricardo Saraiva de Camargo e Lin Chih Cheng, pelas importantes ponderações e ensinamentos desde o início do mestrado. Agradeço em especial aos meus pais, Luiz Carlos Nogueira e Ana Lúcia Janoni Nogueira, minhas maiores referências de amor, caráter e sabedoria. A Paloma Freitas Araújo, pelo amor, carinho, respeito e parceria incondicional nestes últimos 12 anos. A Vívian Lúcia Nogueira e Isabela Janoni, pelo amor e carinho sempre por perto. Aos amigos e familiares tão queridos que estiveram sempre próximos e atentos nessa caminhada.
    [Show full text]
  • A Distributed Execution Engine Supporting Data-Dependent Control flow
    A distributed execution engine supporting data-dependent control flow Derek Gordon Murray University of Cambridge Computer Laboratory King’s College July 2011 This dissertation is submitted for the degree of Doctor of Philosophy Declaration This dissertation is the result of my own work and includes nothing which is the outcome of work done in collaboration except where specifically indicated in the text. This dissertation does not exceed the regulation length of 60,000 words, including tables and footnotes. A distributed execution engine supporting data-dependent control flow Derek G. Murray Summary In computer science, data-dependent control flow is the fundamental concept that enables a machine to change its behaviour on the basis of intermediate results. This ability increases the computational power of a machine, because it enables the machine to execute iterative or recursive algorithms. In such algorithms, the amount of work is unbounded a priori, and must be determined by evaluating a fixpoint condition on successive intermediate results. For example, in the von Neumann architecture—upon which almost all modern computers are based—these algorithms can be programmed using a conditional branch instruction. A distributed execution engine is a system that runs on a network of computers, and provides the illusion of a single, reliable machine that provides a large aggregate amount of compu- tational and I/O performance. Although each individual computer in these systems is a von Neumann machine capable of data-dependent control flow, the effective computational power of a distributed execution engine is determined by the expressiveness of the execution model that describes distributed computations.
    [Show full text]
  • Vendors That Comply with the Chapter 12B Equal Benefits Ordinance
    VENDORS THAT COMPLY WITH THE CHAPTER 12B EQUAL BENEFITS ORDINANCE Vendor # Vendor Name City State 67166 ...NEVER FRISCO SAN FRANCISCO CA 73235 1 NEWHALL LLC SAN FRANCISCO CA 87705 100% PURE SAN JOSE CA 63748 101 COMMUNICATIONS LLC CHATSWORTH CA 00017 101 NEW MONTGOMERY TIC SAN FRANCISCO CA 39804 1010 S V N ASSOCIATES SAN FRANCISCO CA 73617 1036 MISSION ASSOCIATES LP SAN FRANCISCO CA 78961 10M ASSOCIATES LP SAN FRANCISCO CA 87458 1100 OCEAN AVENUE LIMITED PARTNERSHIP SAN FRANCISCO CA 89229 1145 MARKET STREET LP SAN FRANCISCO CA 01007 1155 MARKET STREET SAN FRANCISCO CA 85612 1155 SF PARTNERS LLC LOS ANGELES CA 55331 1166 HOWARD STREET ASSOCIATES SAN FRANCISCO CA 59816 123 ESITES SAN FRANCISCO CA 60580 124 TURK ST LP SAN FRANCISCO CA 71278 124 TURK STREET LP SAN FRANCISCO CA 59617 12TH STREET PARTNERSHIP SAN FRANCISCO CA 84582 134 GOLDEN GATE LLC LARKSPUR CA 77712 1415 16TH STREET ASSOCIATES LLC SAN FRANCISCO CA 06948 1440 HARRISON STREET DEVELOPMENT GROUP SAN FRANCISCO CA 78175 150 OTIS ASSOCIATES LP SAN FRANCISCO CA 73042 1500 PAGE STREET LLC SAN FRANCISCO CA 22863 1540 MARKET ST INVEST CO C/O JS MATTISON SAN FRANCISCO CA 70667 16TH STREET HOTEL SAN FRANCISCO CA 92692 18 REASONS SAN FRANCISCO CA 79451 1800 RADIATOR OF SAN FRANCISCO SAN FRANCISCO CA 85290 1-800-GOT-JUNK SAN RAFAEL CA 47210 1900 THIRD STREET LLC WALNUT CREEK CA 76273 1ST CLASS LAUNDRY UNION CITY CA 74830 1ST FIVE MINUTES LLC RICHMOND CA 93652 1ST IMPRESSION CONSTRUCTION INC DANVILLE CA 62680 20/20 EYEX OPTOMETRY SAN FRANCISCO CA 70708 200 PAUL LLC SAN FRANCISCO CA 92382
    [Show full text]
  • Introduction to System Dynamics
    系统动力学入门教程 U.S. Department of Energy's Introduction to System Dynamics A Systems Approach to Understanding Complex Policy Issues Version 1.0 Prepared for: U.S. Department of Energy, Office of Policy and International Affairs, Office of Science & Technology Policy and Cooperation Adapted from Foundations of System Dynamics Modeling by: Michael J. Radzicki, Ph.D. Sustainable Solutions, Inc. Copyright © 1997 Designed by: Robert A. Taylor U.S. Department of Energy 注：本教程由学习型组织研修中心·中国学习型组织网（http://www.cko.com.cn） 打包编辑，仅供会员个人学习、研究参考，不得用于其他任何商业目的。未经允 许，不得发布、复制或传播本文件。 学习型组织研修中心·中国学习型组织网 http://www.cko.com.cn 编辑发布，2007 1 系统动力学入门教程 Index Overview ........................................................................................................................ 4 Chapter 1 Introduction .................................................................................................. 6 Origin of System Dynamics ............................................................................................... 6 System Dynamics and Energy Modeling .......................................................................... 11 Chapter 2 Why Model? ..................................................................................................25 Why Build Models in the First Place? .............................................................................. 25 Formal Models .......................................................................................................... 25 Mental Models ..........................................................................................................26
    [Show full text]
  • Kazimir Majorinc Moćan Koliko Je God Moguće
    Kazimir Majorinc Moćan koliko je god moguće eval[e; a] = [atom[e] → assoc[e; a]; atom[car[e]] → [eq[car[e]; QUOTE] → cadr[e]; eq[car[e]; ATOM] → atom[eval[cadr[e]; a]]; eq[car[e]; EQ] → eq[eval[cadr[e]; a]; eval[caddr[e]; a]]; eq[car[e]; COND] → evcon[cdr[e]; a]; eq[car[e]; CAR] → car[eval[cadr[e]; a]]; eq[car[e]; CDR] → cdr[eval[cadr[e]; a]]; eq[car[e]; CONS] → cons[eval[cadr[e]; a]; eval[caddr[e]; a]]; T → eval[cons[assoc[car[e]; a]; cdr[e]]; a]]; eq[caar[e]; LABEL] → eval[cons[caddar[e]; cdr[e]]; cons[list[cadar[e]; car[e]]; a]]]; eq[caar[e]; LAMBDA] → eval[caddar[e]; append[pair[cadar[e];evlis[cdr[e];a]]; a]]] Kazimir Majorinc: Moćan koliko je god moguće Glavne ideje Lispa u McCarthyjevom periodu Multimedijalni institut ISBN 978-953-7372-28-6 CIP zapis je dostupan u računalnome katalogu Nacionalne i sveučilišne knjižnice u Zagrebu pod brojem 000910180. Zagreb, srpanj 2015. Ova knjiga dana je na korištenje pod licencom Creative Commons Imenovanje ∞ Bez prerada 4.0 međunarodna. Kazimir Majorinc Moćan koliko je god moguće Glavne ideje Lispa u McCarthyjevom periodu Multimedijalni institut Sadržaj 1. Uvod → 10 2. Rani utjecaji na McCarthyja → 13 2.1. Tehnološki entuzijazam → 14 2.2. Konačni automati i eksplicitne reprezentacije činjenica → 14 2.3. Digitalna računala kao inteligentni strojevi → 16 3. Dartmouthški projekt → 17 3.1. Jezik inteligentnih računala → 18 3.2. Između IPL-a i Fortrana → 19 4. FLPL → 20 4.1. Operacije nad riječima → 21 4.2.
    [Show full text]
  • "Teach Our Children Better". Legislated Educational Reform and National Education Association Af
    University of Pennsylvania ScholarlyCommons Publicly Accessible Penn Dissertations 1996 The Plea of the Land: "Teach Our Children Better". Legislated Educational Reform and National Education Association Affiliates: Stakeholder Reports in Minnesota, South Carolina, and Pennsylvania Phyllis Fox Catz University of Pennsylvania Follow this and additional works at: https://repository.upenn.edu/edissertations Part of the Educational Administration and Supervision Commons, Labor History Commons, and the Unions Commons Recommended Citation Catz, Phyllis Fox, "The Plea of the Land: "Teach Our Children Better". Legislated Educational Reform and National Education Association Affiliates: Stakeholder Reports in Minnesota, South Carolina, and Pennsylvania" (1996). Publicly Accessible Penn Dissertations. 1535. https://repository.upenn.edu/edissertations/1535 This paper is posted at ScholarlyCommons. https://repository.upenn.edu/edissertations/1535 For more information, please contact [email protected]. The Plea of the Land: "Teach Our Children Better". Legislated Educational Reform and National Education Association Affiliates: Stakeholder Reports in Minnesota, South Carolina, and Pennsylvania Abstract Since the 1983 publication of A Nation at Risk, our country has engaged in an educational reform movement. This study examines the intervening years of National Education Association (NEA) state affiliatee k y members' activities and attitudes in Minnesota, South Carolina, and Pennsylvania involved with state-legislated educational reform. A neglected issue in A Nation at Risk is teacher unionism on reforms. Exploratory field study conducted (1988-89) unearthed salient issues. Five major variables considered in selection of states studied include: known unionism level; reform degree undertaken legislatively since 1983; value ascribed and citation frequency of reform; accessibility of significant players; and Elazar's state political cultures' category: moralistic, individualistic, or traditionalistic.
    [Show full text]