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...

The annual Ada-Europe conference is the most important event in Europe for the promotion and development of the Ada programming language and of Ada-based software engineering methodology. A total o...

Keynote Papers.- Invited Papers.- Association Rules.- Classification.- Clustering.- Novel Algorithms.- Text Mining.- Multimedia Mining.- Sequential Data Mining and Time Series Mining.- Web Mining.-...

Arithmetic Coding with Folds and Unfolds.- An Approach to Fast Arrays in Haskell.- Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat.- Developing Interactive Web Programs.- JoCa...

This volume presents the tutorials given during the First International Spring School on Advanced Functional Programming Techniques, held in Bastad, Sweden in May 1995. The last few years have seen...

This book presents the eight tutorial lectures given at the Second International School on Advanced Functional Programming, held in Olympia, WA, USA, in August 1996.After many years of development,...

Advanced Guide to Python 3 Programming

Traditionally, the European-based biannual international conference "EUROSPEECH" dealing with all aspects of speech science and technology is preceded by an "ESPRIT Speech Projects Days", which pre...

The objective of program analysis is to automatically determine the p- perties of a program. Tools of software development, such as compilers, p- formance estimators, debuggers, reverse-engineering...

Advanced Topics in Exception Handling Techniques

The origins of the Asiacrypt series of conferences can be traced back to 1990, when the ?rst Auscrypt conference was held, although the name Asiacrypt was ?rst used for the 1991 conference in Japan...

The all pervasive web is influencing all aspects of human endeavour. In order to strengthen the description of web resources, so that they are more meaningful to both humans and machines, web seman...

20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23-25, 2024, Proceedings

A book that furnishes no quotations is, me judice, no book - it is a plaything. TL Peacock: Crochet Castle The paradigm presented in this book is proposed as an agent programming language. The book...

Grundlagen, Konzepte, Lösungen

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and ...

This volume contains the proceedings of the Third International Conference on Algebraic and Logic Programming, held in Pisa, Italy, September 2-4, 1992. Like the two previous conferences in Germany...

This volume presents the proceedings of the fourth annual International Symposium on Algorithms and Computation, held in Hong Kong in December 1993.Numerous selected papers present original researc...

0 Introduction.- 1 Overview.- 2 Objects, functions, and predicates.- 3 Values and modes.- 4 Locations, store, and environment.- 5 Parallelism.- 6 Conclusion.- 1 Objects.- 2 Conventions for part I.-...

After a short introduction on the history of programming languages, this book provides step-by-step examples that are mirrored in seven programming languages, including C#, C++, Java, JavaScript, P...

After a short introduction on the history of programming languages, this book provides step-by-step examples that are mirrored in seven programming languages, including C#, C++, Java, JavaScript, P...

Android for Java Programmers

Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems.  In such a problem, the goal is to find a solution among a large but finite number of possi...

Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems.  In such a problem, the goal is to find a solution among a large but finite number of possi...

This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007, and ...

EvoWorkshop 2003: EvoBIO, EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM, Essex, UK, April 14-16, 2003, Proceedings

This volume is the proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (AAECC 10),held in Puerto Rico, May 1993. The aim of the AAECC...

The papers in this volume were presented at PARA 2000, the Fifth International Workshop on Applied Parallel Computing. PARA 2000 was held in Bergen, Norway, June 18-21, 2000. The workshop was organ...

This volume presents a collection of revised refereed papers selected from the contributions presented at the European Conference on Artificial Evolution, AE '95, held in Brest, France, in Septembe...

Grundlagen-Test.- 1. Einführung.- 1.1. Notwendigkeit der Programmiersprache.- 1.2. Programm, Befehl und Arbeitsspeicher.- 1.3. Entwicklung des Assemblerbefehls MVC.- 1.4. Allgemeines zur Übersetzun...

Als die Computer nach ihren ersten Pionierjahren etwa zwischen 1950 und 1960 in die Praxis Eingang fanden, ließ sich kaum voraussehen, welche Bedeutung einmal der organisatorische Teil einschließli...