Filters








512 Hits in 6.9 sec

On the structure of an adaptive multi-level algorithm

P. W. Hemker
1980 BIT Numerical Mathematics  
The basic structure is given in two forms: coarse grid corrections to fine grids and fine grid corrections to coarse grids.  ...  A new description of the FAS FMG algorithm of Brandt is given and the last section concludes with an ALGOL 68 procedure for the solution of boundary value problems with adaptive mesh-refinement.  ...  With the basic structure of Section 2 in mind we are now able to translate the FAS FMG flowchart into two ALGOL 68 procedures. This translation is given in Text 2.  ... 
doi:10.1007/bf01932771 fatcat:l6bwwll5trgwbnhksbrahbitje

A conversational system for incremental compilation and execution in a time-sharing environment

James L. Ryan, Richard L. Crandall, Marion C. Medwedeff
1966 Proceedings of the November 7-10, 1966, fall joint computer conference on XX - AFIPS '66 (Fall)  
scheme, a set of privileged instructions for monitor as opposed to user mode of operation, and the ability to perform input/ output operations to secondary memory while computing.  ...  The SDS-940 has, as its Central Processor, a modified SDS-930, the modifications for which were developed at the University of California at Berkeley by Melvin Pirtle. 1 This hardware includes a paging  ...  Statements and Expressions The formation and meaning of all statements and expressions in CCS-ALGOL patterns that of the 1962 revised ALGOL Report, except for the following generalizations: The IF Clause  ... 
doi:10.1145/1464291.1464293 dblp:conf/afips/RyanCM66 fatcat:fsriod22yvflblx3uuh3wqdzmi

The translation of programming languages through the use of a graph transformation language

Peter van den Bosch
1982 SIGPLAN notices  
Abstract It is shown that the automated translation of programming An evaluation of the completed research, and an assessment of its position within concurrent developments in the discipline of programming  ...  language translation, conclude this dissertation.  ...  real error 1 1 1 -1 , x type boolean {6,7} The above effectively re-expresses the use of symbol tables in error reporting in a graph transformation form.  ... 
doi:10.1145/947912.947920 fatcat:mp7yt3rb2vh33pvdpfvprechq4

Hints on Programming Language Design [chapter]

C. A. R. Hoare
1983 Programming Languages  
and correction of such errors can be exceptionally tedioup.  ...  APPENDIX Annotated Reading List Report on the Algorithmic Language ALGOL 60. ed. P. Naur.  ... 
doi:10.1007/978-3-662-09507-2_3 fatcat:clhmfbbjrjacthxp5vttc65yxa

Reviews and Descriptions of Tables and Books

1973 Mathematics of Computation  
After the concepts of stability and ill-conditioning (important in gauging the effects of all kinds of error) are elucidated in a first part of the book, discretization error, convergence error and rounding  ...  error are each studied separately in a few important situations in the last three parts of the book.  ...  Hoffman, Algol 60 Procedures in Numerical Algebra, Parts I and II, Mathematisch Centrum, Amsterdam, Holland, 1968. 2. H. H. Goldsttne, F. J.  ... 
doi:10.1090/s0025-5718-73-99700-7 fatcat:kp4ovnkgebe7bpeothtyiqx3zm

Reviews and Descriptions of Tables and Books

1964 Mathematics of Computation  
A seven-part paper by Hideo Yamashita and others report on the digital computer development in Japan since 1939.  ...  Claassen, Steady-State Motion of Cables in Fluids, Part I., Tables of Neutrally Buoyant Cable Functions, NAVWEPS Report 7015, Part 1 NOTS TP 2378, China Lake, California, 1962, xxxii + 400 (approx.) unnumbered  ...  This manual fills a real need in the training of beginning programmers and is well worth the publisher's price. John V. Holberton Bureau of Ships Washington 25, D. C.  ... 
doi:10.1090/s0025-5718-64-99166-5 fatcat:m7qw3r6wvbedzhvmw7djxjfnr4

Separation of Zeros of the Riemann Zeta-Function

R. Sherman Lehman
1966 Mathematics of Computation  
The treatment of these exceptional cases will be discussed in Section 4. In addition to reporting on exceptional cases the program keeps a count of failures of Gram's law.  ...  For all other cases the machine was instructed to print a report of the failure and then continue the computation. In Section 7 we give the complete text of our verification program in ALGOL.  ... 
doi:10.2307/2003542 fatcat:xieq5o5tavfd7hndbsn4upi5yi

Separation of zeros of the Riemann zeta-function

R. Sherman Lehman
1966 Mathematics of Computation  
The treatment of these exceptional cases will be discussed in Section 4. In addition to reporting on exceptional cases the program keeps a count of failures of Gram's law.  ...  For all other cases the machine was instructed to print a report of the failure and then continue the computation. In Section 7 we give the complete text of our verification program in ALGOL.  ... 
doi:10.1090/s0025-5718-1966-0203909-5 fatcat:2iuelvvlmzezzh5jjq4rgkfjze

Several types of types in programming languages [article]

Simone Martini
2016 arXiv   pre-print
Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties.  ...  Moreover, we conflate the concept of "type" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different  ...  Acknowledgments I am happy to thank Gianfranco Prini for helpful discussions (and for his-alas, remote in time-teaching on the subject).  ... 
arXiv:1510.03726v2 fatcat:q4lrgf7vpffbfmc5mkunviy6i4

Reviews and Descriptions of Tables and Books

1971 Mathematics of Computation  
and a fairly extensive (relatively speaking) treatment of basic numerical linear algebra.  ...  This is probably one of the few books on the subject originally written in the Portuguese language and in that sense has special interest. The printing and general presentation are good.  ...  (A brief comparison of ALGOL 60 and ALGOL 68 is given in Section 0 of the report.)  ... 
doi:10.1090/s0025-5718-71-99722-5 fatcat:uw63lcfayjfdtn733loyvm3mcy

Reviews and Descriptions of Tables and Books

1965 Mathematics of Computation  
The defining report of full ALGOL 60 is included as an appendix, together with the officially approved IFIP corrections and amendments of the April 1962 meeting in Rome.  ...  The ALGOL 60 Report [1] , as revised at the 1962 Rome meeting; 5. A chart of ALGOL basic symbols.  ...  This allows for the addition of a chapter on input-output, which discusses in detail the read and print operators of the Elliott-ALGOL system.  ... 
doi:10.1090/s0025-5718-65-99956-4 fatcat:qce4w2vv45cidlppuwyaypcikq

Reviews and Descriptions of Tables and Books

1970 Mathematics of Computation  
This translation of the original 1953 edition published in German is a valuable book on the subject.  ...  These include Wronskians, derivatives, and contiguous relations (the translation comes out as "circuital relations").  ...  A few minor blemishes in the original printing have been corrected. According to the editor, all tabular entries were checked by differencing, and no errors were found. The translator, M. K.  ... 
doi:10.1090/s0025-5718-70-99846-7 fatcat:2o2kgqggqfcwfpjjpkfj6insae

Reviews and Descriptions of Tables and Books

1967 Mathematics of Computation  
The authors include references to publications by Gregory [4] and Collatz [5]; however, they have not cited the relatively inaccessible tables of Kuntzmann [6] , [7] , which contain similar information  ...  Karplus, and G. Kaludjian) discusses the correction of quantization errors in hybrid computer systems.  ...  report, peculiar and controversial features of Algol, the IFIP input-output primitives, the IFIP Algol subset, stack compilation of an arithmetic expression, and "the future of Algol."  ... 
doi:10.1090/s0025-5718-67-99141-7 fatcat:gxhjq57xv5eetgd7lzdahvneae

Multiple evaluators in an extensible programming system

Ben Wegbreit
1972 Proceedings of the December 5-7, 1972, fall joint computer conference, part II on - AFIPS '72 (Fall, part II)  
The purpose of this paper is to discuss how these various evaluators of the language can be fitted together and made to complement each other.  ...  One wants a complete programming system with an interpreter, a fully compatible compiler, a source level optimizer, and facilities for proving properties of programs.  ...  1971 Ljubljana pp 1-5 22 16 J POUPON and B WEGBREIT in preparation 17 B A GALLER and A J PERLIS A proposal for definitions in Algol CACM Vol 10 No 4 April 1967 pp 204-219 18 J C KING A  ... 
doi:10.1145/1480083.1480118 dblp:conf/afips/Wegbreit72 fatcat:ma3nopmnfzdzxhqxsb6gsqpxfy

FIRST, a fibered aperture masking instrument

E. Huby, G. Duchêne, F. Marchis, S. Lacour, G. Perrin, T. Kotani, É. Choquet, E. L. Gates, O. Lai, F. Allard
2013 Astronomy and Astrophysics  
Spectral features arising from the difference in effective temperature (specifically the Halpha line, TiO and CN bands) have been used to constrain the stellar parameters.  ...  These results demonstrate the power of FIRST, a fibered pupil remapping based instrument, in terms of high angular resolution and show that the direct measurement of the spectral flux ratio provides valuable  ...  The authors would like to thank the staff at the Lick Observatory who provided an efficient and friendly support, especially for mounting the FIRST instrument and during the observing nights: Keith Baker  ... 
doi:10.1051/0004-6361/201321894 fatcat:coucj7nnjnbnzkkw44cd632i2q
« Previous Showing results 1 — 15 out of 512 results