Programmiersprachen (641 Artikel)

Implementation of the Programming Language Pascal.- A Systems Programming Language.- The Programming Language PS 440 as a Tool for Implementing a Timesharing System.- Codeerzeugung und Codeoptimier...

The second edition has been completely updated for the latest versions of Python including Python 3.11 and Python 3.12. New chapters have been added such as those that consider where and how Python...

Ada* is unquestionably one of the most significant programming languages to emerge in the last decade. The manner of its inception and support by the US Department of Defense (DoD) ensures that it ...

This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA progra...

Dieses Buch ist eine Einführung in APL2, eine Erweiterung und Verallgemeinerung der Programmiersprache APL. APL2 ist eine ideale Programmiersprache zur Lösung kommerzieller, technischer und wissens...

Das ist ein einführendes Nachschlagewerk für die Programmiersprache APL2, wie sie von IBM für PC/DOS, VM/CMS und MVS/TSO angeboten wird. Entsprechend wird auf eine vollständige Beschreibung der Spr...

Algorithms and Programs.- An Algorithmic Language.- The ?-Calculus.- The se(m)cd Machine and Others.- Toward Full-Fledged ?-Calculus Machines.- Interpreted Head-Order Graph Reduction.- The B-Machin...

This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming Using Directives, WACCPD 2019, held in Denver, CO, USA, in November 2019.

This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Accelerator Programming Using Directives, WACCPD 2018, held in Dallas, TX, USA, in November 2018....

This book constitutes the proceedings of the 7th International Workshop on Accelerator Programming Using Directives, WACCPD 2020, which took place on November 20, 2021. The workshop was initially p...

This book constitutes the refereed post-conference proceedings of the 4th International Workshop on Accelerator Programming Using Directives, WACCPD 2017, held in Denver, CO, USA, in November 2017....

8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings

The Language, The Standard Libraries

Ada 2012 is the latest version of the international standard for the programming language Ada. It is designated ISO/IEC 8652:2012 (E) and is a new edition replacing the 2005 version. The primary go...

The purpose of the Ada 95 Quality and Style Guidelines is to help computer professionals produce better Ada programs by identifying a set of stylistic guidelines that will directly impact the quali...

This volume constitutes the proceedings of the First International Eurospace/Ada-Europe Symposium, held in Copenhagen in September 1994; this symposium series is the merger of the two conference se...

This book presents the refereed proceedings of the Second International Eurospace - Ada-Europe Symposium, held in Frankfurt, Germany, in October 1995.The 37 selected revised papers are organized in...

This volume contains the proceedings of the twelfth Ada-Europe conference, held in France in 1993. The French name "Ada sans fronti res" (the only French words in the book) symbolizes the unlimited...

Software engineering and the language Ada are playing a major role in the development of software and software technology for the new century. The11th Ada Europe conference shows that Ada has matur...