Filters








19,412 Hits in 3.8 sec

Abstract State Machines 1988-1998: Commented ASM Bibliography [article]

Egon Boerger, James K. Huggins
1998 arXiv   pre-print
A preliminary version appeared in April 1995 under the title leanEA: A poor man's evolving algebra compiler as internal report 25/95 of Fakultät für Informatik, Universität Karlsruhe. [7] C. Beierle.  ...  A preliminary version appeared in 1996 under the title Correctness proof of a Parallel Implementation of Prolog by means of Evolving Algebras as Technical Report DIA 21-96 of Dpto.  ... 
arXiv:cs/9811014v1 fatcat:w3vj5i7mzbccbcibroi7dkmhtq

Page 299 of Communications of the Association for Computing Machinery Vol. 3, Issue 5 [page]

1960 Communications of the Association for Computing Machinery  
Preliminary reportInternational Algebraic Comm. Assoc. Comp.  ...  As with the preliminary ALGot report, three different levels of language are recognized, namely a Reference Language, a Publication Language and several Hardware Representations.  ... 

Page 8 of Communications of the Association for Computing Machinery Vol. 1, Issue 12 [page]

1958 Communications of the Association for Computing Machinery  
PRELIMINARY REPORTINTERNATIONAL ALGEBRAIC LANGUAGE Note: In the interest of immediate circulation of the results of the ACM-GAMM committee work on an algebraic programming language, this preliminary report  ...  This report has not been thoroughly examined for errors and inconsistencies. It is antici- pated that the committee will prepare a more complete description of the language for publication.  ... 

Several Types of Types in Programming Languages [chapter]

Simone Martini
2016 IFIP Advances in Information and Communication Technology  
Preliminary report: International algebraic language. Commun. ACM 1(12), December 1958.] No types in the preparatory papers!  ...  A basis for a mathematical theory of computation, preliminary report. : local variable of a process a "process" encapsulates both data objects and their operators: an object (Alan Key, 1976).  ... 
doi:10.1007/978-3-319-47286-7_15 fatcat:d4rsg27purbqngr5kcfhlnvl5y

Contents EATCS bulletin

1986 Theoretical Computer Science  
Z 2nd Conference Announcements POPL 87, Preliminary program ......................... 162 3rd Workshop on the Mathematical Foundations of Programming Language Semantics, New Orleans, LA, U.S.A.  ...  (August 24-26, 1987) ............................ 176 International Meeting of Young Computer Scientists, Smolenice Castle, Czechoslovakia (October 14-17, 1987), Preliminary program ..................  ... 
doi:10.1016/0304-3975(86)90149-0 fatcat:zcqbglzwwzc47muhqgyrjeukmy

The Program of the International Commission on the Teaching of Mathematics

L. C. Karpinski
1909 Science  
The official organ is L'Enseignement Mathematique, and the official languages are English, French, German and Italian.  ...  The official organ is L'Enseignement Mathematique, and the official languages are English, French, German and Italian.  ...  Preliminary work is to be begun immediately; the commission as a whole to meet during the Easter recess of 1911 preliminary to making a final report to the International Congress of Mathematicians, which  ... 
fatcat:kbebvsopcnaizab6fj5x56zlaq

Page 78 of Journal of Research and Practice in Information Technology Vol. 7, Issue 2 [page]

1975 Journal of Research and Practice in Information Technology  
ALGOL 58, “The syntax and semantics of the proposed international algebraic language of the Zurich ACM — GAMM Conference”’, May 1958, by J.W. Backus, IBM, N.Y., U.S.A.  ...  “Preliminary Report, Specifications for the IBM Mathematical FORmula TRANslating System, FORTRAN”, November 10, 1954, Programming Research Group, Applied Science Division, IBM.  ... 

Page 6 of Communications of the Association for Computing Machinery Vol. 2, Issue 5 [page]

1959 Communications of the Association for Computing Machinery  
., AND SAMELSON, K. ror THE ACM-GAMM Commirrez, Preliminary reportinternational algebraic lan- guage, ACM Communications 1, No. 12, 8-22 (Dec. 1958). 2 ACM-GAMM Commirrer, Report on the algorithmic lan  ...  Algebraic Language.!  ... 

Page 1833 of Mathematical Reviews Vol. , Issue 98C [page]

1998 Mathematical Reviews  
Meyer and Kurt Sieber, Towards fully abstract semantics for local variables: preliminary report (157- 169); John C.  ...  of polymorphic specification languages (330-344).  ... 

THE PROGRAM OF THE INTERNATIONAL COMMISSION ON THE TEACHING OF MATHEMATICS

L. C. Karpinski
1909 Science  
Preliminary work is to be begun inimediatcly; the commission as a whole to meet during the Easter recess of 1911 preliminary to making a final report to the International Congress of Mathematicians, which  ...  Report appeared in L7Enseiglzernent Afuthe~malipue, and a translation by the author (of this article) in Bc7~ool Bcience amd Matkemutics, February, 1909. 1905 and again a t the International Congress  ... 
doi:10.1126/science.29.746.605 pmid:17774901 fatcat:6snmbqtmlnfzvhbmladgjdvwqm

Page 2797 of Mathematical Reviews Vol. , Issue 91E [page]

1991 Mathematical Reviews  
Riecke, A complete and decidable proof sys- tem for call-by-value equalities (preliminary report) (pp. 20-31); Michael I.  ...  ISBN 0-387-52826-1 {The Sixteenth International Colloquium has been reviewed [MR 90m:68001].}  ... 

Page 263 of Journal of the Association for Computing Machinery Vol. 7, Issue 3 [page]

1960 Journal of the Association for Computing Machinery  
Sameson, Preliminary ReportInternational Algebraic Language, Comm. ACM 1, No. 12 (Dec. 1958), 8-22. w rm  ...  Oak Ridge National Laboratory, Report 1574, February 19, 1954. J. V. Uspensxy, Theory of Equations. New York: MeGraw-Hill, 1958. A. J. Peruis anp K.  ... 

Page 6 of Communications of the Association for Computing Machinery Vol. 2, Issue 2 [page]

1959 Communications of the Association for Computing Machinery  
Possible Modifications to the International Algebraic Language JULIEN GREEN, [nternational Business Machines Corp., New York, N. Y.  ...  Unicode (Preliminary Reference Manual-Automatic Coding System for the ERA—1103A), Report V1451, Remington- Rand Univae Division of Sperry-Rand Corporation, New York, 1957. 7. Ersuov, A.  ... 

Page 59 of Mathematical Reviews Vol. 57, Issue 1 [page]

1979 Mathematical Reviews  
The category of internal presheaves on an internal category in a topos E forms an E-topos.  ...  Vaclav Koubek (Prague) (preliminary communication). Comment. Math. Univ. Carolinae 18 (1977), no. 4, 817-821. Responding to a conjecture of H. Herrlich and L. D. Nel [Proc. Amer. Math.  ... 

Page 16 of Communications of the Association for Computing Machinery Vol. 2, Issue 7 [page]

1959 Communications of the Association for Computing Machinery  
The Syntax and Semantics of the Proposed International Algebraic Language of the Zurich ACM-GAMM Conference, J. W. Backus, International Business Machines Corporation, New York, U.S.A.  ...  This paper gives a tutorial summary of the syntax and inter- pretation rules of the proposed international algebraic language put forward by the Ziirich ACM-GAMM Conference, followed by a formal, complete  ... 
« Previous Showing results 1 — 15 out of 19,412 results