Algorithms, Computation and Mathewics (Algol -SE102?
Total Page：16
File Type：pdf, Size：1020Kb
Load more
Recommended publications
-
A Politico-Social History of Algolt (With a Chronology in the Form of a Log Book)
A Politico-Social History of Algolt (With a Chronology in the Form of a Log Book) R. w. BEMER Introduction This is an admittedly fragmentary chronicle of events in the develop ment of the algorithmic language ALGOL. Nevertheless, it seems perti nent, while we await the advent of a technical and conceptual history, to outline the matrix of forces which shaped that history in a political and social sense. Perhaps the author's role is only that of recorder of visible events, rather than the complex interplay of ideas which have made ALGOL the force it is in the computational world. It is true, as Professor Ershov stated in his review of a draft of the present work, that "the reading of this history, rich in curious details, nevertheless does not enable the beginner to understand why ALGOL, with a history that would seem more disappointing than triumphant, changed the face of current programming". I can only state that the time scale and my own lesser competence do not allow the tracing of conceptual development in requisite detail. Books are sure to follow in this area, particularly one by Knuth. A further defect in the present work is the relatively lesser availability of European input to the log, although I could claim better access than many in the U.S.A. This is regrettable in view of the relatively stronger support given to ALGOL in Europe. Perhaps this calmer acceptance had the effect of reducing the number of significant entries for a log such as this. Following a brief view of the pattern of events come the entries of the chronology, or log, numbered for reference in the text. -
The Denver Observer December 2017
The Denver DECEMBER 2017 OBSERVER Messier 76, the Little Dumbbell Nebula, one of the deep-sky objects featured in this month’s “Skies.” Image © Joe Gafford. DECEMBER SKIES by Zachary Singer The Solar System of view in your ’scope will include the Moon’s Sky Calendar 3 Full Moon December will be a decent month for eastern section and the star, with plenty of 10 Last-Quarter Moon planetary events; though some planets are room. 17 New Moon slipping from view, others will take their I recommend you observe early—it 26 First-Quarter Moon place. We also have an occultation of Alde- should be a beautiful view, with the star a baran; as seen from Denver, the Moon will bright spark near the Moon’s edge, and over pass in front of the star at approximately the following minutes (they’ll go fast, just like In the Observer 4:06 PM, on the 30th. At that point, with the recent solar eclipse did), you can see the Moon move in its orbit around us, using the sunset still more than half an hour away, the President’s Message . .2 star won’t be visible to the naked eye, but it star for a benchmark. (Before 4:00 PM, look Society Directory. 2 should be in a telescope if you know where for Aldebaran outside the square, but along to look: Imagine a square drawn just large the diagonal from the Moon’s center to that Schedule of Events . 2 enough to touch the edges of the Moon, and lower-left edge.) About Denver Astronomical Society . -
Security Applications of Formal Language Theory
Dartmouth College Dartmouth Digital Commons Computer Science Technical Reports Computer Science 11-25-2011 Security Applications of Formal Language Theory Len Sassaman Dartmouth College Meredith L. Patterson Dartmouth College Sergey Bratus Dartmouth College Michael E. Locasto Dartmouth College Anna Shubina Dartmouth College Follow this and additional works at: https://digitalcommons.dartmouth.edu/cs_tr Part of the Computer Sciences Commons Dartmouth Digital Commons Citation Sassaman, Len; Patterson, Meredith L.; Bratus, Sergey; Locasto, Michael E.; and Shubina, Anna, "Security Applications of Formal Language Theory" (2011). Computer Science Technical Report TR2011-709. https://digitalcommons.dartmouth.edu/cs_tr/335 This Technical Report is brought to you for free and open access by the Computer Science at Dartmouth Digital Commons. It has been accepted for inclusion in Computer Science Technical Reports by an authorized administrator of Dartmouth Digital Commons. For more information, please contact [email protected]. Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina November 25, 2011 Abstract We present an approach to improving the security of complex, composed systems based on formal language theory, and show how this approach leads to advances in input validation, security modeling, attack surface reduction, and ultimately, software design and programming methodology. We cite examples based on real-world security flaws in common protocols representing different classes of protocol complexity. We also introduce a formalization of an exploit development technique, the parse tree differential attack, made possible by our conception of the role of formal grammars in security. These insights make possible future advances in software auditing techniques applicable to static and dynamic binary analysis, fuzzing, and general reverse-engineering and exploit development. -
Binocular Universe: You're My Hero! December 2010
Binocular Universe: You're My Hero! December 2010 Phil Harrington on't you just love a happy ending? I know I do. Picture this. Princess Andromeda, a helpless damsel in distress, chained to a rock as a ferocious D sea monster loomed nearby. Just when all appeared lost, our hero -- Perseus! -- plunges out of the sky, kills the monster, and sweeps up our maiden in his arms. Together, they fly off into the sunset on his winged horse to live happily ever after. Such is the stuff of myths and legends. That story, the legend of Perseus and Andromeda, was recounted in last month's column when we visited some binocular targets within the constellation Cassiopeia. In mythology, Queen Cassiopeia was Andromeda's mother, and the cause for her peril in the first place. Left: Autumn star map from Star Watch by Phil Harrington Above: Finder chart for this month's Binocular Universe. Chart adapted from Touring the Universe through Binoculars Atlas (TUBA), www.philharrington.net/tuba.htm This month, we return to the scene of the rescue, to our hero, Perseus. He stands in our sky to the east of Cassiopeia and Andromeda, should the Queen's bragging get her daughter into hot water again. The constellation's brightest star, Mirfak (Alpha [α] Persei), lies about two-thirds of the way along a line that stretches from Pegasus to the bright star Capella in Auriga. Shining at magnitude +1.8, Mirfak is classified as a class F5 white supergiant. It radiates some 5,000 times the energy of our Sun and has a diameter 62 times larger. -
The Advent of Recursion & Logic in Computer Science
The Advent of Recursion & Logic in Computer Science MSc Thesis (Afstudeerscriptie) written by Karel Van Oudheusden –alias Edgar G. Daylight (born October 21st, 1977 in Antwerpen, Belgium) under the supervision of Dr Gerard Alberts, and submitted to the Board of Examiners in partial fulfillment of the requirements for the degree of MSc in Logic at the Universiteit van Amsterdam. Date of the public defense: Members of the Thesis Committee: November 17, 2009 Dr Gerard Alberts Prof Dr Krzysztof Apt Prof Dr Dick de Jongh Prof Dr Benedikt Löwe Dr Elizabeth de Mol Dr Leen Torenvliet 1 “We are reaching the stage of development where each new gener- ation of participants is unaware both of their overall technological ancestry and the history of the development of their speciality, and have no past to build upon.” J.A.N. Lee in 1996 [73, p.54] “To many of our colleagues, history is only the study of an irrele- vant past, with no redeeming modern value –a subject without useful scholarship.” J.A.N. Lee [73, p.55] “[E]ven when we can't know the answers, it is important to see the questions. They too form part of our understanding. If you cannot answer them now, you can alert future historians to them.” M.S. Mahoney [76, p.832] “Only do what only you can do.” E.W. Dijkstra [103, p.9] 2 Abstract The history of computer science can be viewed from a number of disciplinary perspectives, ranging from electrical engineering to linguistics. As stressed by the historian Michael Mahoney, different `communities of computing' had their own views towards what could be accomplished with a programmable comput- ing machine. -
Wynyard Planetarium & Observatory a Autumn Observing Notes
Wynyard Planetarium & Observatory A Autumn Observing Notes Wynyard Planetarium & Observatory PUBLIC OBSERVING – Autumn Tour of the Sky with the Naked Eye CASSIOPEIA Look for the ‘W’ 4 shape 3 Polaris URSA MINOR Notice how the constellations swing around Polaris during the night Pherkad Kochab Is Kochab orange compared 2 to Polaris? Pointers Is Dubhe Dubhe yellowish compared to Merak? 1 Merak THE PLOUGH Figure 1: Sketch of the northern sky in autumn. © Rob Peeling, CaDAS, 2007 version 1.2 Wynyard Planetarium & Observatory PUBLIC OBSERVING – Autumn North 1. On leaving the planetarium, turn around and look northwards over the roof of the building. Close to the horizon is a group of stars like the outline of a saucepan with the handle stretching to your left. This is the Plough (also called the Big Dipper) and is part of the constellation Ursa Major, the Great Bear. The two right-hand stars are called the Pointers. Can you tell that the higher of the two, Dubhe is slightly yellowish compared to the lower, Merak? Check with binoculars. Not all stars are white. The colour shows that Dubhe is cooler than Merak in the same way that red-hot is cooler than white- hot. 2. Use the Pointers to guide you upwards to the next bright star. This is Polaris, the Pole (or North) Star. Note that it is not the brightest star in the sky, a common misconception. Below and to the left are two prominent but fainter stars. These are Kochab and Pherkad, the Guardians of the Pole. Look carefully and you will notice that Kochab is slightly orange when compared to Polaris. -
Interferometric Observations of the Hierarchical Triple System Algol
The Astrophysical Journal, 705:436–445, 2009 November 1 doi:10.1088/0004-637X/705/1/436 C 2009. The American Astronomical Society. All rights reserved. Printed in the U.S.A. INTERFEROMETRIC OBSERVATIONS OF THE HIERARCHICAL TRIPLE SYSTEM ALGOL Sz. Csizmadia1,2,9, T. Borkovits3, Zs. Paragi2,4,P.Abrah´ am´ 5, L. Szabados5, L. Mosoni6,9, L. Sturmann7, J. Sturmann7, C. Farrington7, H. A. McAlister7, T. A. ten Brummelaar7, N. H. Turner7, and P. Klagyivik8 1 Institute of Planetary Research, DLR Rutherfordstr. 2 D-12489 Berlin, Germany 2 MTA Research Group for Physical Geodesy and Geodynamics, H-1585 Budapest, P.O. Box 585, Hungary; [email protected] 3 Baja Astronomical Observatory, H-6500 Baja, Szegedi ut,´ Kt. 766, Hungary 4 Joint Institute for VLBI in Europe, Postbus 2, 7990 AA Dwingeloo, Netherlands 5 Konkoly Observatory, H-1525 Budapest, P.O. Box 67, Hungary 6 Max-Planck-Institut fur¨ Astronomy, Konigstuhl¨ 17, D-69117 Heidelberg, Germany 7 Center for High Angular Resolution Astronomy, Georgia State University, P.O. Box 3969, Atlanta, GA 30302, USA 8 Department of Astronomy, Roland Eotv¨ os¨ University, H-1517 Budapest, P.O. Box 32, Hungary Received 2009 March 16; accepted 2009 September 11; published 2009 October 12 ABSTRACT Algol is a triple stellar system consisting of a close semidetached binary orbited by a third object. Due to the disputed spatial orientation of the close pair, the third body perturbation of this pair is a subject of much research. In this study, we determine the spatial orientation of the close pair orbital plane using the CHARA Array, a six-element optical/IR interferometer located on Mount Wilson, and state-of-the-art e-EVN interferometric techniques. -
The Advent of Recursion in Programming, 1950S-1960S
The Advent of Recursion in Programming, 1950s-1960s Edgar G. Daylight?? Institute of Logic, Language, and Computation, University of Amsterdam, The Netherlands [email protected] Abstract. The term `recursive' has had different meanings during the past two centuries among various communities of scholars. Its historical epistemology has already been described by Soare (1996) with respect to the mathematicians, logicians, and recursive-function theorists. The computer practitioners, on the other hand, are discussed in this paper by focusing on the definition and implementation of the ALGOL60 program- ming language. Recursion entered ALGOL60 in two novel ways: (i) syn- tactically with what we now call BNF notation, and (ii) dynamically by means of the recursive procedure. As is shown, both (i) and (ii) were in- troduced by linguistically-inclined programmers who were not versed in logic and who, rather unconventionally, abstracted away from the down- to-earth practicalities of their computing machines. By the end of the 1960s, some computer practitioners had become aware of the theoreti- cal insignificance of the recursive procedure in terms of computability, though without relying on recursive-function theory. The presented re- sults help us to better understand the technological ancestry of modern- day computer science, in the hope that contemporary researchers can more easily build upon its past. Keywords: recursion, recursive procedure, computability, syntax, BNF, ALGOL, logic, recursive-function theory 1 Introduction In his paper, Computability and Recursion [41], Soare explained the origin of computability, the origin of recursion, and how both concepts were brought to- gether in the 1930s by G¨odel, Church, Kleene, Turing, and others. -
Edsger W. Dijkstra: a Commemoration
Edsger W. Dijkstra: a Commemoration Krzysztof R. Apt1 and Tony Hoare2 (editors) 1 CWI, Amsterdam, The Netherlands and MIMUW, University of Warsaw, Poland 2 Department of Computer Science and Technology, University of Cambridge and Microsoft Research Ltd, Cambridge, UK Abstract This article is a multiauthored portrait of Edsger Wybe Dijkstra that consists of testimo- nials written by several friends, colleagues, and students of his. It provides unique insights into his personality, working style and habits, and his influence on other computer scientists, as a researcher, teacher, and mentor. Contents Preface 3 Tony Hoare 4 Donald Knuth 9 Christian Lengauer 11 K. Mani Chandy 13 Eric C.R. Hehner 15 Mark Scheevel 17 Krzysztof R. Apt 18 arXiv:2104.03392v1 [cs.GL] 7 Apr 2021 Niklaus Wirth 20 Lex Bijlsma 23 Manfred Broy 24 David Gries 26 Ted Herman 28 Alain J. Martin 29 J Strother Moore 31 Vladimir Lifschitz 33 Wim H. Hesselink 34 1 Hamilton Richards 36 Ken Calvert 38 David Naumann 40 David Turner 42 J.R. Rao 44 Jayadev Misra 47 Rajeev Joshi 50 Maarten van Emden 52 Two Tuesday Afternoon Clubs 54 2 Preface Edsger Dijkstra was perhaps the best known, and certainly the most discussed, computer scientist of the seventies and eighties. We both knew Dijkstra |though each of us in different ways| and we both were aware that his influence on computer science was not limited to his pioneering software projects and research articles. He interacted with his colleagues by way of numerous discussions, extensive letter correspondence, and hundreds of so-called EWD reports that he used to send to a select group of researchers. -
A Basic Requirement for Studying the Heavens Is Determining Where In
Abasic requirement for studying the heavens is determining where in the sky things are. To specify sky positions, astronomers have developed several coordinate systems. Each uses a coordinate grid projected on to the celestial sphere, in analogy to the geographic coordinate system used on the surface of the Earth. The coordinate systems differ only in their choice of the fundamental plane, which divides the sky into two equal hemispheres along a great circle (the fundamental plane of the geographic system is the Earth's equator) . Each coordinate system is named for its choice of fundamental plane. The equatorial coordinate system is probably the most widely used celestial coordinate system. It is also the one most closely related to the geographic coordinate system, because they use the same fun damental plane and the same poles. The projection of the Earth's equator onto the celestial sphere is called the celestial equator. Similarly, projecting the geographic poles on to the celest ial sphere defines the north and south celestial poles. However, there is an important difference between the equatorial and geographic coordinate systems: the geographic system is fixed to the Earth; it rotates as the Earth does . The equatorial system is fixed to the stars, so it appears to rotate across the sky with the stars, but of course it's really the Earth rotating under the fixed sky. The latitudinal (latitude-like) angle of the equatorial system is called declination (Dec for short) . It measures the angle of an object above or below the celestial equator. The longitud inal angle is called the right ascension (RA for short). -
October, 2011
IN THIS ISSUE: OCTOBER 2011 Event Calendar, News Notes Minutes of the September Meeting MVAS Reminders: Party-on MVAS Activities: On The Road Again Observer’s Notes: Variable Heroines MVAS Homework: M-76, Little Dumbbell Homework Charts: Algol, asteroid (15) Eunomia Constellation of the Month: Perseus November 2011 Sky Almanac Gallery: Comet Quest, Summer Photos Meteorite Editor: Phil Plante 1982 Mathews Rd. #2 Youngstown OH 44514 OCTOBER 2011 NEWS NOTES Newsletter of the Mahoning Valley Astronomical Society, Inc. The Big Ear. Lofar (Low Frequency Array) is a new kind of radio telescope. It can see radio waves with low frequencies, similar to those that give us FM radio. Rather than collecting MVAS CALENDAR signals from individual radio sources, Lofar continuously monitors large swathes of sky. Lofar is more sensitive to the OCT 22 Business meeting at the MVCO 8:00 PM longest observable radio waves than any other telescope. It can OCT 29 Halloween Party at the MVCO 7:00 PM see many billions of light years out into space, back to the time before the first stars formed, a few hundred million years after NOV17/18 Leonid Meteor watch. On your own? Midnight… the Big Bang. On Monday, September 21, 2011, Sweden's Minister for Education and Research, Jan Bjorklund, opened the NOV 19 Business meeting at YSU. Show at 8:00 PM Onsala Space Observatory's newest telescope; to become part NOV 26 Star Party at the MVCO. 7:00 PM till…. of Lofar, which is the world's largest radio telescope. The 192 new radio antennas at Onsala's Lofar station will be linked together with 47 similar stations over the whole of NATIONAL & REGIONAL EVENTS Europe, and sent over the Internet to a central supercomputer in OCT 24 - 30 CSPG Fall Star Party, held in Chiefland, FL . -
The Planets for 1955 24 Eclipses, 1955 ------29 the Sky and Astronomical Phenomena Month by Month - - 30 Phenomena of Jupiter’S S a Te Llite S
THE OBSERVER’S HANDBOOK FOR 1955 PUBLISHED BY The Royal Astronomical Society of Canada C. A. C H A N T, E d ito r RUTH J. NORTHCOTT, A s s is t a n t E d ito r DAVID DUNLAP OBSERVATORY FORTY-SEVENTH YEAR OF PUBLICATION P r i c e 50 C e n t s TORONTO 13 Ross S t r e e t Printed for th e Society By the University of Toronto Press THE ROYAL ASTRONOMICAL SOCIETY OF CANADA The Society was incorporated in 1890 as The Astronomical and Physical Society of Toronto, assuming its present name in 1903. For many years the Toronto organization existed alone, but now the Society is national in extent, having active Centres in Montreal and Quebec, P.Q.; Ottawa, Toronto, Hamilton, London, and Windsor, Ontario; Winnipeg, Man.; Saskatoon, Sask.; Edmonton, Alta.; Vancouver and Victoria, B.C. As well as nearly 1000 members of these Canadian Centres, there are nearly 400 members not attached to any Centre, mostly resident in other nations, while some 200 additional institutions or persons are on the regular mailing list of our publications. The Society publishes a bi-monthly J o u r n a l and a yearly O b s e r v e r ’s H a n d b o o k . Single copies of the J o u r n a l are 50 cents, and of the H a n d b o o k , 50 cents. Membership is open to anyone interested in astronomy. Annual dues, $3.00; life membership, $40.00.