Kategoria BISAC: Computers >> Programming - Compilers

The best book on Maple just got better. This lively book is bursting with clear descriptions, revealing examples and top tips. It is gentle enough to act as an introduction and yet sufficiently comprehensive and well organised to serve as a reference manual. Maple Release 7 is significantly different to earlier releases, so this book will appeal even to hardened users who want to catch up fast.

- Des Higham, University of Strathclyde, UK

This book provides an accelerated introduction to Maple for scientific programmers who already have experience in other computer languages...

The JavaScript language is widely used for simple online applications. This useful book presents HTML and JavaScript in a way that uniquely meets the needs of students in the sciences and engineering. It explains how to create simple, client-side applications for scientific and engineering calculations. It includes many complete HTML/JavaScript examples with science/engineering applications to guide the reader progressively and comprehensively through the subject.

This book is specifically targeted at a technical audience-- but not one that is necessarily familiar with a...

This book presents novel symbolic control and data flow techniques as well as symbolic techniques and algorithms for program analysis and program optimization. Program contexts, defining a new symbolic description of program semantics for control and data flow analysis, are at the center of the techniques and methods introduced.

The authors develop solutions for a number of problems encountered in program analysis by using program contexts. The solutions proposed are efficient, versatile, unified, and more general than most existing methods.

The authors' symbolic analysis framework...

This book contains the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal. The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium articles cover all issues of current research in logic programming, including theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.