Narrow your search

Library

KU Leuven (7)

ULB (6)

KBR (4)

UHasselt (4)

ULiège (4)

AP (3)

KDG (3)

Odisee (3)

Thomas More Kempen (3)

Thomas More Mechelen (3)

More...

Resource type

book (22)

digital (3)


Language

English (13)

German (5)

French (4)

Dutch (3)


Year
From To Submit

2020 (1)

2013 (3)

2012 (4)

2010 (3)

2007 (1)

More...
Listing 1 - 10 of 25 << page
of 3
>>
Sort by

Book
Einsichten eines Informatikers von geringem Verstande : Glossen aus dem Informatik Spektrum
Author:
ISBN: 3658283866 Year: 2020 Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Es ist für Fachleute wie Laien immer wieder überraschend, wie die Errungenschaften der Informatik das Leben der Menschen verbessern können, manchmal sogar in Richtungen, welche die Menschen gar nicht unbedingt wünschen. Die aus der Zeitschrift Informatik Spektrum stammenden Glossen in diesem Buch beschreiben kurzweilig und mit viel Humor viele solcher Errungenschaften: Wie sie entstehen, weshalb sie vielleicht doch nicht so groß sind und was noch auf uns zukommt. Eine amüsante Lektüre für Informatiker und ihre gequälten Anwender. Der Autor Prof. em. Reinhard Wilhelm ist ein kerniger Kerninformatiker, gründlicher Institutsgründer und wenig ernst nehmender Unternehmer.


Book
Inverse currying transformation on attribute grammars.
Author:
Year: 1983 Publisher: Berkeley University of California. Computer science division (EECS)

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Baum- Transformatoren : ein Vergleich mit Baum-Transduktoren und Aspekte der Implementierung.
Author:
Year: 1977 Publisher: München [s.n.]

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Compiler Design : Virtual Machines
Authors: ---
ISBN: 3642149081 9786613477330 364214909X 1283477335 Year: 2010 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined – ideally there exist complete precise descriptions of the source and target languages, while additional descriptions of the interfaces to the operating system, programming system and programming environment, and to other compilers and libraries are often available. The implementation of application systems directly in machine language is both difficult and error-prone, leading to programs that become obsolete as quickly as the computers for which they were developed. With the development of higher-level machine-independent programming languages came the need to offer compilers that were able to translate programs into machine language. Given this basic challenge, the different subtasks of compilation have been the subject of intensive research since the 1950s. This book is not intended to be a cookbook for compilers, instead the authors' presentation reflects the special characteristics of compiler design, especially the existence of precise specifications of the subtasks. They invest effort to understand these precisely and to provide adequate concepts for their systematic treatment. This is the first book in a multivolume set, and here the authors describe what a compiler does, i.e., what correspondence it establishes between a source and a target program. To achieve this the authors specify a suitable virtual machine (abstract machine) and exactly describe the compilation of programs of each source language into the language of the associated virtual machine for an imperative, functional, logic and object-oriented programming language. This book is intended for students of computer science. Knowledge of at least one imperative programming language is assumed, while for the chapters on the translation of functional and logic programming languages it would be helpful to know a modern functional language and Prolog. The book is supported throughout with examples, exercises and program fragments.

Informatics : 10 Years Back. 10 Years Ahead
Authors: ---
ISSN: 03029743 ISBN: 3540416358 3540445773 9783540416357 Year: 2001 Volume: 2000 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Informatics - 10 Years Back, 10 Years Ahead presents a unique collection of expository papers on major current issues in the field of computer science and information technology. The 26 contributions written by leading researchers on personal invitation assess the state of the art of the field by looking back over the past decade, presenting important results, identifying relevant open problems, and developing visions for the decade to come. This book marks two remarkable and festive moments: the 10th anniversary of the International Research and Conference Center for Computer Science in Dagstuhl, Germany and the 2000th volume published in the Lecture Notes in Computer Science series.

Keywords

Computer Science --- Information technology --- Computer. Automation --- Computer science. --- Computer organization. --- Software engineering. --- Computers. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Information Systems and Communication Service. --- Computing Methodologies. --- Computer Systems Organization and Communication Networks. --- Information technology. --- Informatics --- Science --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Information theory. --- Information systems. --- Artificial intelligence. --- Computer network architectures. --- Artificial Intelligence. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Communication theory --- Communication --- Cybernetics --- Computer software engineering --- Engineering --- Organization, Computer --- Electronic digital computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace


Book
Uitgezogte genees-en heel-kundige waarneemingen
Author:
Year: 1774 Publisher: Haarlem : by C. H. Bohn,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Serenissimorum Principum ... Iure Dioecesano ... Epistola, Quam Ad Iureconsultum Et dignitate Et Doctrina Illustrem, Wilhelmum Vaterweisium ... Laurentius Reinhardus
Author:
Year: 1745 Publisher: Croeker

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Digital
Compiler design : virtual machines
Authors: ---
ISBN: 9783642149085 9783642149092 9783642149108 9783662506226 Year: 2010 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined – ideally there exist complete precise descriptions of the source and target languages, while additional descriptions of the interfaces to the operating system, programming system and programming environment, and to other compilers and libraries are often available. The implementation of application systems directly in machine language is both difficult and error-prone, leading to programs that become obsolete as quickly as the computers for which they were developed. With the development of higher-level machine-independent programming languages came the need to offer compilers that were able to translate programs into machine language. Given this basic challenge, the different subtasks of compilation have been the subject of intensive research since the 1950s. This book is not intended to be a cookbook for compilers, instead the authors' presentation reflects the special characteristics of compiler design, especially the existence of precise specifications of the subtasks. They invest effort to understand these precisely and to provide adequate concepts for their systematic treatment. This is the first book in a multivolume set, and here the authors describe what a compiler does, i.e., what correspondence it establishes between a source and a target program. To achieve this the authors specify a suitable virtual machine (abstract machine) and exactly describe the compilation of programs of each source language into the language of the associated virtual machine for an imperative, functional, logic and object-oriented programming language. This book is intended for students of computer science. Knowledge of at least one imperative programming language is assumed, while for the chapters on the translation of functional and logic programming languages it would be helpful to know a modern functional language and Prolog. The book is supported throughout with examples, exercises and program fragments.


Book
Übersetzerbau : Virtuelle Maschinen
Authors: ---
ISBN: 3540495975 Year: 2007 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Will man für eine moderne Programmiersprache Code erzeugen, wird man schnell feststellen, dass man bei der Übersetzung gerne Befehle verwenden würde, die so von einer konkreten Maschine nicht bereit gestellt werden. Andererseits ändern sich die Instruktionssätze moderner Rechner so schnell, dass es auch gar nicht sinnvoll erscheint, den Compiler zu sehr auf zufälligerweise bereitgestellte Operationen festzulegen. Eine solche Festlegung könnte nämlich bedeuten, dass man nach wenigen Jahren den Compiler gänzlich neu schreiben müsste. Um dieses zu vermeiden wird ein Code für eine idealisierte Maschine erzeugt, deren Befehle dann jeweils nur noch auf den verschiedenen konkreten Zielrechnern zu implementieren sind. Einerseits erleichtert dieses Vorgehen die Portierbarkeit des Compilers. Andererseits vereinfacht dies auch die Übersetzung selbst, da man den Befehlssatz entsprechend der jeweiligen zu übersetzenden Programmiersprache geeignet wählen kann. In dem Buch werden solche virtuellen Maschinen für imperative, funktionale, logische und objekt-orientierte Programmiersprachen vorgestellt. Dabei wird insbesonds auf die Übersetzungsschemata eingegangen, wie man für die jeweiligen konkreten Programmkonstrukte der Programmiersprache die Befehlsfolgen für die zugehörige virtuelle Maschine konstruiert. Neben einer vertieften Einsicht in allgemeine Konzepte von Programmiersprachen vermittelt unser Buch darum grundlegende Techniken zur Implementierung moderner Übersetzer.


Book
Kragt der waarheid om het ongeloof van atheïsten en naturalisten te overwinnen
Author:
Year: 1767 Publisher: Cleef G.C.B. Hoffman

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Listing 1 - 10 of 25 << page
of 3
>>
Sort by