|
IDENT
|
http://dx.doi.org/10.1007/978-3-642-86934-1
|
|
標題および責任表示
|
Handbook for Automatic Computation : Volume I ・ Part a Description of ALGOL 60 / by H. Rutishauser ; edited by F. L. Bauer, A. S. Householder, F. W. J. Olver, H. Rutishauser, K. Samelson, E. Stiefel
|
|
特定資料種別コード
|
リモートファイル
|
|
出版・頒布事項
|
Berlin, Heidelberg : Springer Berlin Heidelberg , 1967
|
|
形態事項
|
XII, 326 p : online resource
|
|
巻号情報
|
|
|
書誌構造リンク
|
Die Grundlehren der mathematischen Wissenschaften <> 135//a
|
|
内容著作注記
|
I Introduction
|
|
内容著作注記
|
§ 1. The Concept of Automatic Programming
|
|
内容著作注記
|
§ 2. Historical Remarks on Algorithmic Languages
|
|
内容著作注記
|
§ 3. The Algol Conferences of 1958, 1960, 1962
|
|
内容著作注記
|
§ 4. Algol Dialects and the IFIP Subset of Algol 60
|
|
内容著作注記
|
§ 5. Preliminary Definition of Algol
|
|
内容著作注記
|
II Basic Concepts
|
|
内容著作注記
|
§ 6. Auxiliary Conventions
|
|
内容著作注記
|
§ 7. The Basic Symbols of Algol
|
|
内容著作注記
|
§ 8. Values
|
|
内容著作注記
|
§ 9. Quantities and their Names
|
|
内容著作注記
|
§ 10. Numerical Constants
|
|
内容著作注記
|
§ 11. Labels
|
|
内容著作注記
|
§ 12. Strings
|
|
内容著作注記
|
§ 13. Comments
|
|
内容著作注記
|
III Expressions
|
|
内容著作注記
|
§ 14. Variables
|
|
内容著作注記
|
§ 15. Function Designators
|
|
内容著作注記
|
§ 16. Simple Arithmetic Expressions
|
|
内容著作注記
|
§ 17. Relations
|
|
内容著作注記
|
§ 18. Simple Boolean Expressions
|
|
内容著作注記
|
§ 19. Conditional Expressions
|
|
内容著作注記
|
§ 20. Subscript Expressions
|
|
内容著作注記
|
IV Statements
|
|
内容著作注記
|
§ 21. Assignment Statements
|
|
内容著作注記
|
§ 22. Sequences of Statements
|
|
内容著作注記
|
§ 23. Labelled Statements
|
|
内容著作注記
|
§ 24. The Dummy Statement
|
|
内容著作注記
|
§ 25. Goto-Statements
|
|
内容著作注記
|
§ 26. Procedure Statements I
|
|
内容著作注記
|
§ 27. Compound Statements and Blocks
|
|
内容著作注記
|
§ 28. The If-Statement
|
|
内容著作注記
|
§ 29. The If-Else-Statement
|
|
内容著作注記
|
§ 30. The For-Statement
|
|
内容著作注記
|
V Miscellaneous Applications
|
|
内容著作注記
|
§ 31. Algebraic Problems
|
|
内容著作注記
|
§ 32. Interpolation and Numerical Quadrature
|
|
内容著作注記
|
§ 33. Numerical Integration of Differential Equations
|
|
内容著作注記
|
§ 34. Least Square Problems
|
|
内容著作注記
|
§35. Computations Related to Continued Fractions
|
|
内容著作注記
|
§ 36. Considerations Concerning Computer Limitations
|
|
内容著作注記
|
§37. Data Processing Applications
|
|
内容著作注記
|
VI Declarations
|
|
内容著作注記
|
§ 38. Type Declarations
|
|
内容著作注記
|
§ 39. Array Declarations
|
|
内容著作注記
|
§ 40. Switch Declarations
|
|
内容著作注記
|
§ 41. Procedure Declarations I
|
|
内容著作注記
|
§42. Semantics of Blocks
|
|
内容著作注記
|
§43. Entire Programs
|
|
内容著作注記
|
VII Procedures
|
|
内容著作注記
|
§ 44. Procedure Declarations II
|
|
内容著作注記
|
§45. Procedure Statements II
|
|
内容著作注記
|
§ 46. Function Procedures and their Use
|
|
内容著作注記
|
§ 47. Code Procedures
|
|
内容著作注記
|
§ 48. Parameter Procedures
|
|
内容著作注記
|
VIII Input and Output
|
|
内容著作注記
|
§ 49. The Standard I/O-Procedures of Algol
|
|
内容著作注記
|
§ 50. Applications of Procedures insymbol, outsymbol
|
|
内容著作注記
|
§51. Use of inarray, outarray for Auxiliary Storage
|
|
内容著作注記
|
Appendix A
|
|
内容著作注記
|
§ 52. The Jensen Device
|
|
内容著作注記
|
52.1. The full name-concept
|
|
内容著作注記
|
52.2. The Jensen device
|
|
内容著作注記
|
52.3. Bound variables
|
|
内容著作注記
|
§ 53. Conclusion
|
|
内容著作注記
|
53.1. Church's lambda notation
|
|
内容著作注記
|
53.2. The lambda notation for arrays
|
|
内容著作注記
|
53.3. Syntax of the proposed extension
|
|
内容著作注記
|
53.4. Semantics of the proposed extension
|
|
内容著作注記
|
53.5. Applications of the proposed extension
|
|
内容著作注記
|
Appendix B. The IFIP-Reports on Algol
|
|
内容著作注記
|
References
|
|
注記
|
Automatic computing has undergone drastic changes since the pioneering days of the early Fifties, one of the most obvious being that today the majority of computer programs are no longer written in machine code but in some programming language like FORTRAN or ALGOL. However, as desirable as the time-saving achieved in this way may be, still a high proportion of the preparatory work must be attributed to activities such as error estimates, stability investigations and the like, and for these no programming aid whatsoever can be of help. In this respect, ALGOL, as an internationally standardized notation which avoids computer-oriented concepts, provides another advantage, not often mentioned, but one which was already the guiding principle at the very beginning of the programming language venture: indeed, a correct ALGOL program is the abstractum of a computing process for which the necessary analyses have already been performed. It is the very purpose of this Handbook to establish such abstract formulations of certain computing processes. Therefore, numerical methods given in this Hand- book in the form of ALGOL procedures may be put to immediate use wherever ALGOL is known and understood; in fact, application of such a method reduces to little more than calling the corresponding procedure
|
|
学情ID
|
9783642869365
|
|
本文言語コード
|
英語
|
|
著者標目リンク
|
*Rutishauser, H. <> author
|
|
著者標目リンク
|
Bauer, F. L. <> editor
|
|
著者標目リンク
|
Householder, A. S. <> editor
|
|
著者標目リンク
|
Olver, F. W. J. <> editor
|
|
著者標目リンク
|
Rutishauser, H. <> editor
|
|
著者標目リンク
|
Samelson, K. <> editor
|
|
著者標目リンク
|
Stiefel, E. <> editor
|
|
著者標目リンク
|
SpringerLink (Online service) <>
|
|
分類標目
|
DC23:510
|
|
件名標目等
|
Mathematics
|
|
件名標目等
|
Mathematics
|
|
件名標目等
|
Mathematics, general
|
目録検索 ▼
マイライブラリ ▼
