Narrow your search

Library

KU Leuven (3)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UAntwerpen (1)

UCLouvain (1)

UCLL (1)

UGent (1)

ULB (1)

ULiège (1)

More...

Resource type

book (3)


Language

English (3)


Year
From To Submit

2006 (1)

1999 (2)

Listing 1 - 3 of 3
Sort by
Principles of program analysis
Authors: --- ---
ISBN: 3540654100 3642084745 3662038110 9783540654100 Year: 1999 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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 extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.

Keywords

Computer programming. --- Computer programs. --- Programmation (Informatique) --- Logiciels --- Computer programming --- Computer programs --- 681.3*F32 --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Computer files --- Computer software --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Semantics of programming languages: algebraic approaches to semantics denotational semantics operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Programming --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics denotational semantics operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- programmeren (informatica) --- Computer science --- algoritmen --- Computer logic. --- Programming languages (Electronic computers). --- Software engineering. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Computer software engineering --- Engineering --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer science logic --- Logic, Symbolic and mathematical

Transactions on Computational Systems Biology VII
Authors: --- ---
ISBN: 9783540488378 3540488375 3540488391 Year: 2006 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Molecular biology --- Bioinformatics --- Proteomics --- Biologie moléculaire --- Bio-informatique --- Protéomique --- Data processing --- Congresses. --- Informatique --- Congrès --- Computational Biology --- Systems Biology --- Biology --- Genomics --- Biochemistry --- Chemistry --- Biological Science Disciplines --- Genetics --- Natural Science Disciplines --- Disciplines and Occupations --- Computer Science --- Biophysics --- Engineering & Applied Sciences --- Health & Biological Sciences --- Systems biology. --- Computational biology. --- Bioinformatics. --- Data processing. --- Bio-informatics --- Biological informatics --- Molecular biochemistry --- Molecular biophysics --- Computer science. --- Computers. --- Algorithms. --- Mathematical logic. --- Computer Science. --- Computation by Abstract Devices. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Information science --- Computational biology --- Systems biology --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Informatics --- Science --- Foundations --- Biomolecules --- Biological systems --- Computer software. --- Software, Computer

Type and effect systems : behaviours for concurrency.
Authors: --- ---
ISBN: 1860941540 Year: 1999 Publisher: London Imperial College. Department of electrical engineering

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Listing 1 - 3 of 3
Sort by