Tensor product of Hilbert spaces: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Mgkrupa
→‎References: Added {{Functional Analysis}} footer
en>TSBM
 
Line 1: Line 1:
The '''Laning and Zierler system''' (sometimes called "George" by its users) was one of the first operating algebraic [[compiler]]s, that is, a system capable of accepting mathematical formulae in [[Infix notation|algebraic notation]] and producing equivalent [[machine code]] (the term compiler had not yet been invented and the system was referred to as "an [[interpreter|interpretive]] program"). It was implemented in 1954 for the [[Massachusetts Institute of Technology|MIT]] [[Whirlwind (computer)|WHIRLWIND]] by [[J. Halcombe Laning]] and Neal Zierler. It is preceded by the [[UNIVAC]] A-2, [[IBM]] [[Speedcoding]] and a number of systems that were proposed but never implemented.
Hi there, I am Alyson Boon even though it  love psychic ([http://165.132.39.93/xe/visitors/372912 mouse click the following web site]) is not the title on my beginning certification. My spouse doesn't like it the way  love psychic readings, [http://fashionlinked.com/index.php?do=/profile-13453/info/ fashionlinked.com], I do but what I really like performing is caving but I don't have the time lately. My wife and I live in Mississippi and I love every working day residing right here. Invoicing is what I do for a residing but I've usually needed my own business.<br><br>Feel free to visit my web-site :: [http://cartoonkorea.com/ce002/1093612 real psychic readings]
 
==Description==
 
The system accepted formulae in a more or less algebraic notation. It respected the standard rules for [[operator precedence]], allowed nested parentheses, and used superscripts to indicate [[Exponentiation|exponents]]. It was among the first programming systems to allow [[variable (computer science)|symbolic variable]] names and allocate storage automatically.
 
The system also automated the following tasks: [[floating point]] computation, linkage to [[subroutine]]s for the basic functions of analysis (sine, etc.) and printing, and arrays and indexing.
 
The system accepted input on [[punched tape]] produced by a [[Friden Flexowriter]]. The [[character set]] in use at the Whirlwind installation included "[[upper-case]]" (superscript) digits and a hyphen, which were used to indicate array indices, function codes, and (integer) exponents. Like other programming notations of its time, the system accepted only single-letter variable names and multiplication was indicated by juxtaposition of operands. A raised dot was available to indicate multiplication explicitly (the character was created by filing off the lower half of a colon!) The system also included support for solution of linear differential equations via the [[Runge-Kutta methods|Runge-Kutta method]].
 
The system was described in an 18-page typewritten manual written for people familiar with mathematics but perhaps unfamiliar with computers. It contains almost nothing in the way of an introduction to computer hardware.
 
==Sample Program==
The following example, taken from page 11 of the system's manual, evaluates <math>\cos x</math> for <math>x = 0, 0.1, ..., 1</math> using the [[Taylor series]] expansion. The implementation is not terribly efficient, and the system already includes <math>\cos x</math> in its subroutine library, but the example serves to give a flavor of the system's syntax. Note that division in the system is evaluated after multiplication:
 
  1 ''x'' = 0,
    ''z'' = 1 - ''x''<sup>2</sup>/2 + ''x''<sup>4</sup>/2·3·4 - ''x''<sup>6</sup>/2·3·4·5·6
      + ''x''<sup>8</sup>/2·3·4·5·6·7·8 - ''x''<sup>10</sup>/2·3·4·5·6·7·8·9·10,
 
    PRINT ''x'', ''z''.
    ''e'' = ''x'' -  1.05,
    CP 1,
    STOP
 
==Applications==
Few applications were written for the system. One documented application, authored by Laning and Zierler themselves, involved a problem in aeronautics. The problem required seven systems of differential equations to express, and had been given to the Whirlwind because it was too large for MIT's [[Differential Analyzer]] to handle. The authors, exploiting the Runge-Kutta feature of their programming system, produced a 97-statement program in two and half hours. The program ran successfully the first time.
 
==Influence on FORTRAN==
Some sources have said that the Laning and Zierler system was the inspiration for [[FORTRAN]]. [[John Backus]] himself admitted to having contributed to this misconception:
 
<blockquote>
The effect of the Laning and Zierler system on the development of FORTRAN is a question which has been muddled by many misstatements on my part. For many years I believed that we had gotten the idea for using algebraic notation in FORTRAN from seeing a demonstration of the Laning and Zierler system at MIT. (Backus {{ref|Backus}})
</blockquote>
 
After reviewing documentation from the time, Backus learned that the FORTRAN project was "well underway" when he and his team got a chance to see Laning and Zierler's work:
 
<blockquote>
[W]e were already considering algebraic input considerably more sophisticated than that of Laning and Zierler's system when we first heard of their pioneering work... [I]t is difficult to know what, if any, new ideas we got from seeing the demonstration of their system. (Backus, ''op cit'')
</blockquote>
 
==Notes==
# {{note|Backus}} J. W. Backus, The history of FORTRAN I, II and III. Proceedings First ACM SIGPLAN conference on History of programming languages
 
==References==
* Backus, J. W.  The history of FORTRAN I, II and III. Proceedings First ACM SIGPLAN conference on History of programming languages (Available [http://www.stanford.edu/group/mmdd/SiliconValley/Backus/backus.html on line]).
 
* Laning, J.H. and N. Zierler. A Program For Translation of Mathematical Equations for Whirlwind I. Engineering Memorandum E-364, Instrumentation Laboratory, Massachusetts Institute of Technology. (Available [http://archive.computerhistory.org/resources/text/Fortran/102653982.05.01.acc.pdf on line]).
* Sammet, Jean E., "Programming Languages: History and Fundamentals" Prentice-Hall, 1969
* "The Early Development of Programming Languages" in ''A History of Computing in the Twentieth Century'', New York, Academic Press, 1980. ISBN 0-12-491650-3
 
==See also==
*[[History of programming languages]]
*[[Timeline of programming languages]]
 
[[Category:Compilers]]

Latest revision as of 14:25, 3 December 2014

Hi there, I am Alyson Boon even though it love psychic (mouse click the following web site) is not the title on my beginning certification. My spouse doesn't like it the way love psychic readings, fashionlinked.com, I do but what I really like performing is caving but I don't have the time lately. My wife and I live in Mississippi and I love every working day residing right here. Invoicing is what I do for a residing but I've usually needed my own business.

Feel free to visit my web-site :: real psychic readings