Programmiersprachen (1 266 Artikel)

Sized Types for Typing Eden Skeletons.- A Compilation Scheme for a Hierarchy of Array Types.- Optimizations on Array Skeletons in a Shared Memory Environment.- Theorem Proving for Functional Progra...

This book contains the strictly refereed post-workshop proceedings originating from the 8th International Workshop on the Implementation of Functional Languages, held in Bad Godesberg, Germany, in ...

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Implementation of Functional Languages, IFL'97, held in St. Andrews, Scotland, UK, in Se...

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on the Implementation of Functional Languages, IFL'98, held in London, UK, in September 19...

Eine grundlegende Einführung mit Java

Mathematik und Informatik.- Mathematik und Informatik -- Vom Nutzen der Formeln.- Informatik und Algebra.- Schaltalgebra und Relationentheorie.- Geschichte der Schaltalgebra.- Fixpoints and Flipflo...

I would like to welcome all the participants to the 3rd International Conference on Information Security and Cryptology (ICISC 2000). It is sponsored by the Korea Institute of Information Security ...

ICICS 2001, the Third International Conference on Information and Commu- cations Security, was held in Xi'an, China, 13-16 November 2001. Among the preceding conferences, ICICS'97 was held in Beiji...

Information flow control (IFC) is a technique to assert the security of a given program with respect to a given security policy. The classical policy noninterference requires that public output of ...

1 Strukturierte Programmierung mit Turbo Pascal.- 1.1 Bedienung des Turbo Pascal-Systems.- 1.2 Folgestrukturen (lineare Programme).- Aufgaben zu Abschnitt 1.2.- 1.3 Auswahlstrukturen (selektierende...

1 Strukturierte Programmierung mit Turbo Pascal.- 1.1 Bedienung des Turbo Pascal-Systems.- 1.2 Folgestrukturen (lineare Programme).- Aufgaben zu Abschnitt 1.2.- 1.3 Auswahlstrukturen (selektierende...

Massively parallel processing is currently the most promising answer to the quest for increased computer performance. This has resulted in the development of new programming languages and programmi...

This volume constitutes the proceedings of the Fourth International Conference on Integer Programming and Combinatorial Optimization, IPCO '95, held in Copenhagen in May 1995 under the sponsorship ...

This volume presents the proceedings of the Fifth Integer Programming and Combinatorial Optimization Conference, IPCO V, held in Vancouver, British Columbia, Canada, in June 1996.The 36 revised pap...

1 Alphabetical Bibliography.- 2 Subject Classification.- 3 List of Authors.