Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Compilateurs (Programmes d'ordinateur) --- Compilatoren (Computerprogramma's) --- Compilers (Computer programs) --- Parallel processing (Electronic computers) --- Parallelle verwerking (Computers) --- Traitement parallèle (Ordinateurs) --- Compilers (Computer programs). --- Parallel processing (Electronic computers). --- Compilers

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general.

Compilateurs (Programmes d'ordinateur) --- Compilatoren (Computerprogramma's) --- Compilers (Computer programs) --- Computer software --- Verification. --- Computer Science --- Engineering & Applied Sciences --- Verification --- Compiling programs (Computer programs) --- Software, Computer --- Computer science. --- Special purpose computers. --- Architecture, Computer. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Computer System Implementation. --- Software Engineering. --- Logics and Meanings of Programs. --- Special Purpose and Application-Based Systems. --- Computer network architectures. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer software engineering --- Engineering --- Informatics --- Science --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Special purpose computers --- Computers --- Computer science logic --- Logic, Symbolic and mathematical --- Architecture, Computer --- Computer software - Verification.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Code motion techniques are integrated in many optimizing production and research compilers. They are still a major topic of ongoing research in program optimization, but traditional methods are restricted by a narrow focus on their immediate effects. A more ambitious approach is to investigate the interdependencies between distinct component transformations. This monograph provides a comprehensive account of the methods most accepted in practice for program analysis and program transformation for imperative languages. It also develops a scenario, systematically and step by step, which overcomes the structural restrictions that had previously long resisted attack. The author presents formal proofs for all the steps leading to this breakthrough, though the reader may skip the proofs and consult the technical details as needed yet still enjoy a smooth introduction to the central principles of code motion.

Coderingstheorie --- Codification [Théorie de ] --- Coding theory --- Compilateurs (Programmes d'ordinateur) --- Compilatoren (Computerprogramma's) --- Compilers (Computer programs) --- Computer programming --- Computerprogrammering --- Programmation des ordinateurs --- Théorie de codification --- Computer Science --- Engineering & Applied Sciences --- Computer programming. --- Coding theory. --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Compiling programs (Computer programs) --- Programming --- Computer science. --- Software engineering. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Theory of Computation. --- Logics and Meanings of Programs. --- Software Engineering. --- Data compression (Telecommunication) --- Digital electronics --- Information theory --- Machine theory --- Signal theory (Telecommunication) --- Computer programs --- Programming software --- Systems software --- Information theory. --- Logic design. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial