Filters








7 Hits in 1.1 sec

INHALT Heft 2

1962 it - Information Technology  
Ein entscheidender Fortschritt war es daher, daß man dazu überging, nur "algorithmische Programme", die in der Formelsprache des Mathematikers abgefaßt und daher verhältnismäßig kurz und durchsichtig sind  ...  Weite Verbreitung hat die Formelsprache ALGOL (= algorithmic language) gefunden, die durch internationale Absprachen zustande gekommen ist. Besondere Verdienste hierum haben sich F. L. Bauer und Cl.  ... 
doi:10.1524/itit.1962.4.16.49 fatcat:kvyocbjs3vbcxjvum7hjd4ntqi

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

1960 Communications of the Association for Computing Machinery  
.: Die algorithmische Formelsprache ALGOL. Elektronische Rechenanlagen 1 (1959), 72-79 and 140-143. 13. Bauer, F. L.: The formula controlled logical computer Stanis- laus. To appear in Math.  ...  ACM Committee on Programming Languages and GAMM Committee on Programming, Report on the Algorithmic Language ALGOL, edited by A. J. Perlis and K. Samelson, Num. Math. 1 (1959), 41-60. 12.  ... 

Selfcipher: programming

Harold N. Pelta
1960 Communications of the ACM  
.: Die algorithmische Formelsprache ALGOL. Elektronische Rechenanlagen 1 (1959), 72-79 and 140-143. 13. Bauer, F. L.: The formula controlled logical computer Stanis- laus. To appear in Math.  ...  ACM Committee on Programming Languages and GAMM Committee on Programming, Report on the Algorithmic Language ALGOL, edited by A. J. Perlis and K. Samelson, Num. Math. 1 (1959), 41-60. 12.  ... 
doi:10.1145/366959.366969 fatcat:hdy3gexy2reorgqucq2rlooa4q

Page 842 of National Union Catalog Vol. 1, Issue [page]

National Union Catalog  
ALGOL-Manual der ALCOR-Gru Einfithrung in die algorithmische Formelsprache A IL. Mit 4 Abbil- dungen, 3 Tabellen und 47 Programmbeispielen und 34 Ctengentaien 2., verb. Aufl.  ...  . © aaened in 1967 under title: ALGOL-Manual der 1 ALGOL 1G ~~ eee al coated aid L Title.  ... 

Sequential formula translation

K. Samelson, F. L. Bauer
1960 Communications of the ACM  
.: Die algorithmische Formelsprache ALGOL. Elektronische Rechenanlagen 1 (1959), 72-79 and 140-143. 13. Bauer, F. L.: The formula controlled logical computer Stanis- laus. To appear in Math.  ...  The syntax of an algorithmic language such as ALGOL is conveniently described as a sequence of states indicated by an element cailed cellar.  ... 
doi:10.1145/366959.366968 fatcat:nig7aohoszejjekpqfyiaaxbqu

Einige Gedanken zur Arbeit und Ausbildung in angewandter Mathematik

Eduard Stiefel
1964
Die Rechte liegen in der Regel bei den Herausgebern.  ...  Die auf der Plattform e-periodica veröffentlichten Dokumente stehen für nicht-kommerzielle Zwecke in Lehre und Forschung sowie für die private Nutzung frei zur Verfügung.  ...  Die Ausbildung im Arbeiten mit Rechenautomaten besteht einzig und allein aus einem Sprachkurs zur Erlernung der Formelsprache.  ... 
doi:10.5169/seals-66802 fatcat:dqvlyfng35gfhkjtn7qycl7g2a

Formale Semantik des Datentypmodells von SDL-2000 [article]

Martin Von Löwis Of Menar, Humboldt-Universität Zu Berlin, Humboldt-Universität Zu Berlin
2017
Die Arbeit erläutert, wie aus der formalen Sprachdefinition voll-automatisch ein Werkzeug generiert wurde, das die Sprache SDL implementiert, und wie die durch die Umsetzung der formalen Semantikdefinition  ...  In der vorliegenden Arbeit werden die Prinzipien einer formalen Sprachdefinition dargelegt und die Umsetzung dieser Prinzipien für die Sprache SDL-2000 vorgestellt.  ...  Die Backus-Naur-Form Zur Definition der Grammatik 3 wurde in Algol 58 [PS58] erstmalig die Backus-Normal-Form (BNF) verwendet [McG02] , die für Algol 60 dann zur Backus-Naur-Form erweitert wurde.  ... 
doi:10.18452/15005 fatcat:6qgr73xvhfb3palhstwwrf2h3q