» książki » Computers - Programming - Compilers
 |
C2 Compiler Concepts
ISBN: 9783211824313 / Angielski / Miękka / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Writing a compiler is a very good practice for learning how complex problems could be solved using methods from software engineering. It is extremely important to program rather carefully and exactly, because we have to remember that a compiler is a program which has to handle an input that is usually incorrect. Therefore, the compiler itself must be error-free. Referring to Niklaus Wirth, we postulate that the grammatical structure of a language must be reflected in the structure of the compiler. Thus, the complexity of a language determines the complexity of the compiler (cf. Compilerbau....
Writing a compiler is a very good practice for learning how complex problems could be solved using methods from software engineering. It is extremely ...
|
cena:
202,19 |
 |
Theoretical Aspects of Computer Software: International Symposium Tacs '94 Sendai, Japan, April 19-22, 1994 Proceedings
ISBN: 9783540578871 / Angielski / Miękka / 892 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and...
This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japa...
|
cena:
202,19 |
 |
Engineering a Compiler
ISBN: 9780120884780 / Angielski / Twarda / 800 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This entirely revised second edition of Engineering a Compiler is full of technical updates and new material covering the latest developments in compiler technology. In this comprehensive text you will learn important techniques for constructing a modern compiler. Leading educators and researchers Keith Cooper and Linda Torczon combine basic principles with pragmatic insights from their experience building state-of-the-art compilers. They will help you fully understand important techniques such as compilation of imperative and object-oriented languages, construction of static single... This entirely revised second edition of Engineering a Compiler is full of technical updates and new material covering the latest development... |
cena:
460,70 |
 |
Parsing Techniques: A Practical Guide
ISBN: 9781441919014 / Angielski / Miękka / 662 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Parsing, also referred to as syntax analysis, has been and continues to be an essential part of computer science and linguistics. Today, parsing techniques are also implemented in a number of other disciplines, including but not limited to, document preparation and conversion, typesetting chemical formulae, and chromosome recognition. This second edition presents new developments and discoveries that have been made in the field. Parsing techniques have grown considerably in importance, both in computational linguistics where such parsers are the only option, and computer science,... Parsing, also referred to as syntax analysis, has been and continues to be an essential part of computer science and linguistics. Today, parsing te... |
cena:
889,77 |
 |
The Austin Protocol Compiler
ISBN: 9781441935885 / Angielski / Miękka / 141 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. There are two groups of researchers who are interested in designing network protocols and who cannot (yet) effectively communicate with one another c- cerning these protocols. The first is the group of protocol verifiers, and the second is the group of protocol implementors. The main reason for the lack of effective communication between these two groups is that these groups use languages with quite different semantics to specify network protocols. On one hand, the protocol verifiers use specification languages whose semantics are abstract, coarse-grained, and with large atom- ity. Clearly,...
There are two groups of researchers who are interested in designing network protocols and who cannot (yet) effectively communicate with one another c-...
|
cena:
404,42 |
 |
Multi-Agent Programming: Languages, Platforms and Applications
ISBN: 9781441937537 / Angielski / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multi-Agent Programming is an essential reference for anyone interested in the most up-to-date developments in MAS programming. While previous research has focused on the development of formal and informal approaches to analyze and specify Multi-Agent Systems, this book focuses on the development of programming languages and tools which not only support MAS programming, but also implement key concepts of MAS in a unified framework. Part I describes approaches that rely on computational logic or process algebra Jason, 3APL, IMPACT, and CLAIM/SyMPA. Part II presents... Multi-Agent Programming is an essential reference for anyone interested in the most up-to-date developments in MAS programming. Wh... |
cena:
606,65 |
 |
Retargetable Compiler Technology for Embedded Systems: Tools and Applications
ISBN: 9781441949288 / Angielski / Miękka / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is well known that embedded systems have to be implemented efficiently. This requires that processors optimized for certain application domains are used in embedded systems. Such an optimization requires a careful exploration of the design space, including a detailed study of cost/performance tradeoffs. In order to avoid time-consuming assembly language programming during design space exploration, compilers are needed. In order to analyze the effect of various software or hardware configurations on the performance, retargetable compilers are needed that can generate code for numerous...
It is well known that embedded systems have to be implemented efficiently. This requires that processors optimized for certain application domains are...
|
cena:
404,42 |
 |
Loop Parallelization
ISBN: 9781441951410 / Angielski / Miękka / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Automatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and promises a great practical award. There is a tremendous investment in existing sequential programs, and scientists and engineers continue to write their application programs in sequential languages (primarily in Fortran). The demand for higher speedups increases. The job of a restructuring compiler is to discover the dependence structure and the characteristics of the given machine. Much attention has been focused on the Fortran do loop. This is where...
Automatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and promises a great p...
|
cena:
606,65 |
 |
Compiler Construction Using Java, Javacc, and Yacc
ISBN: 9780470949597 / Angielski / Twarda / 664 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Broad in scope, involving theory, the application of that theory, and programming technology, compiler construction is a moving target, with constant advances in compiler technology taking place. Today, a renewed focus on do-it-yourself programming makes a quality textbook on compilers, that both students and instructors will enjoy using, of even more vital importance. This book covers every topic essential to learning compilers from the ground up and is accompanied by a powerful and flexible software package for evaluating projects, as well as several tutorials, well-defined projects, and...
Broad in scope, involving theory, the application of that theory, and programming technology, compiler construction is a moving target, with constant ...
|
cena:
487,32 |
 |
Symbolic Analysis for Parallelizing Compilers
ISBN: 9780792396239 / Angielski / Twarda / 138 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In Symbolic Analysis for Parallelizing Compilers the author presents an excellent demonstration of the effectiveness of symbolic analysis in tackling important optimization problems, some of which inhibit loop parallelization. The framework that Haghighat presents has proved extremely successful in induction and wraparound variable analysis, strength reduction, dead code elimination and symbolic constant propagation. The approach can be applied to any program transformation or optimization problem that uses properties and value ranges of program names. Symbolic analysis can be used...
In Symbolic Analysis for Parallelizing Compilers the author presents an excellent demonstration of the effectiveness of symbolic analysis in ...
|
cena:
404,42 |
 |
Principles of Program Analysis
ISBN: 9783642084744 / Angielski / Miękka / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the...
Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications inclu...
|
cena:
230,51 |
 |
Funktionale Programmierung: In Opal, ML, Haskell Und Gofer
ISBN: 9783540436218 / Niemiecki / Twarda / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Lehrbuch gibt eine kompakte Einfuhrung in die Konzepte, Methoden und Techniken der funktionalen oder applikativen Programmierung. Es setzt keine Programmierkenntnisse voraus und eignet sich damit insbesondere fur Anfanger, aber auch fur alle, die mit der imperativen Programmierung vertraut sind und sich in die Thematik einarbeiten mochten. Mathematisch fundiert werden die theoretischen Grundlagen der Programmierung und ihre praktische Umsetzung behandelt. Das Ziel dabei ist, auch grosse Systeme entwerfen und handhaben zu konnen. Am Beispiel der modernen Programmiersprachen Opal, ML,...
Dieses Lehrbuch gibt eine kompakte Einfuhrung in die Konzepte, Methoden und Techniken der funktionalen oder applikativen Programmierung. Es setzt kein...
|
cena:
124,70 |
 |
Listen, Bäume Und Graphen ALS Objekte: Mit Beispielen in Object Pascal
ISBN: 9783211825785 / Niemiecki / Miękka / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch behandelt die Entwicklung von Datenstrukturen und Algorithmen fur Listen, Baume und Graphen mittels objektorientierter Verfahren. Es fuhrt seine Leser in den Umgang mit Listen, Baumen und Graphen sowie in deren wichtigste Anwendungen ein und macht mit objektorientierten Entwurfs- und Programmierverfahren vertraut. Der hier verwendete objektorientierte Ansatz wird in der Literatur zur Entwicklung von Datenstrukturen und Algorithmen bisher wenig verwendet. Er hilft, Datenstrukturen und Algorithmen schrittweise zu entwickeln und verstandlich darzustellen. Ausserdem bietet er erweiterte...
Das Buch behandelt die Entwicklung von Datenstrukturen und Algorithmen fur Listen, Baume und Graphen mittels objektorientierter Verfahren. Es fuhrt se...
|
cena:
207,85 |
 |
Programmierumgebungen: Entwicklungswerkzeuge Und Programmiersprachen
ISBN: 9783540129219 / Niemiecki / Miękka / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Buch behandelt diese Aspekte, wobei in besonderem Mal3e Wert auf die beiden genannten Aspekte gelegt wird. Die Autoren der einzelnen Kapitel sind Mitarbeiter des Fachgebietes Softwaretechnik der Siemens AG, die aIle beruf lich mit der Thematik befal3t sind. Dabei wurden die Kapitel aufeinander abge stimmt, ohne jedoch die 'Perstinlichkeit' der einzelnen Autoren einzuschranken. Das Buch stellt somit eine Sammlung von einzelnen Beitragen dar, die - als Ge samtheit gesehen - den Uberblick iiber den heutigen Stand der Technik bei der vorgegebenen Thematik reprasentieren. Wegen...
Das vorliegende Buch behandelt diese Aspekte, wobei in besonderem Mal3e Wert auf die beiden genannten Aspekte gelegt wird. Die Autoren der einzelnen K...
|
cena:
207,85 |
 |
Guide to Html, JavaScript and PHP: For Scientists and Engineers
ISBN: 9780857294487 / Angielski / Twarda / 415 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. HTML, JavaScript, and PHP are Web-based programming languages that can be used to solve computational problems in an online environment. This easy-to-read, informative guide/reference will enable readers to quickly develop a working knowledge of HTML, JavaScript and PHP a valuable skill for any scientist or engineer. Updating and expanding upon the author s previous Springer titles, An Introduction to HTML and JavaScript and An Introduction to PHP, the text emphasizes a hands-on approach to learning and makes extensive use of examples throughout the book. A detailed... HTML, JavaScript, and PHP are Web-based programming languages that can be used to solve computational problems in an online environment. This... |
cena:
303,30 |
 |
Persistent Object Systems: Proceedings of the Third International Workshop 10-13 January 1989, Newcastle, Australia
ISBN: 9783540196266 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presents the latest research in persistent object systems covering areas such as type systems and persistence, persitent programming languages, implementing persistence, object stores, measurement of persistent systems, transactions and persistence, and persistent machines.
Presents the latest research in persistent object systems covering areas such as type systems and persistence, persitent programming languages, implem...
|
cena:
202,19 |
 |
Declarative Programming, Sasbachwalden 1991: Phoenix Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 Nove
ISBN: 9783540197355 / Angielski / Miękka / 327 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. These advantages include their powerful descriptive capabilities, the availability of program analysis techniques and the potential for parallel execution. This volume contains the proceedings of a seminar and workshop organised by the Esprit Basic Research Action Phoenix in collaboration with the Esprit Basic Research Action Integration. Both these groups have been closely involved in investigating the foundations of...
Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. Th...
|
cena:
202,19 |
 |
Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen
ISBN: 9783540511724 / Niemiecki / Miękka / 151 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Termersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch rekursive Regeln spezifiziert und durch Untertermersetzung ohne explizite Kontrolle ausgewertet. Die logische Programmierung geht auf den Anfang der 70er Jahre zuruck und wurde besonders popular in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzugen Mitte der 70er Jahre, als die ersten Arbeiten uber die Spezifikation abstrakter Datentypen veroffentlicht wurden. Obwohl die algebraische und...
Termersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch ...
|
cena:
207,85 |
 |
Parallele Implementierung funktionaler Programmiersprachen
ISBN: 9783540520498 / Niemiecki / Miękka / 385 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Funktionale Programmiersprachen sind seiteneffektfrei und bilden daher eine vielversprechende Basis fur die Programmierung von Parallelrechnern. Sie enthalten in der Regel keine expliziten Sprachkonstrukte zur Spezifizierung von Parallelitat. Ein parallelisierender Compiler kann die in einem funktionalen Programm implizit enthaltene Parallelitat entdecken und das Progamm in parallel ausfuhrbare Prozesse zerlegen. Der Programmierer braucht sich also nicht, wie etwa in einer um Parallelkonstrukte erweiterten imperativen Programmiersprache, um die Verwaltung der parallelen Prozesse sowie...
Funktionale Programmiersprachen sind seiteneffektfrei und bilden daher eine vielversprechende Basis fur die Programmierung von Parallelrechnern. Sie e...
|
cena:
207,85 |
 |
Massiv parallele Programmierung mit dem Parallaxis-Modell
ISBN: 9783540528531 / Niemiecki / Miękka / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die vorliegende Arbeit entstand wiilirend meiner Zeit als wissenschaftlicher Mitarbeiter der Universitat Stuttgart am Lehrstuhl fUr Programmiersprachen und ihre Ubersetzer, bei Herrn Prof. Dr. Gerhard Barth (inzwischen Leiter des Deutschen Forschungszentrums fUr Kiinstliche Intelligenz in Kaiserslautern, DFKI), sowie wahrend meines fast zweijiilirigen Aufenthalts in den USA, an der University of Southern California, Los Angeles, der durch ein Stipendium der Fulbright-Kommission ermoglicht wurde. Dieses Buch gliedert sich in fiinfzehn Kapitel und einen Anhang. Nach der Einleitung und der...
Die vorliegende Arbeit entstand wiilirend meiner Zeit als wissenschaftlicher Mitarbeiter der Universitat Stuttgart am Lehrstuhl fUr Programmiersprache...
|
cena:
207,85 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
