Abstraction (informatique)

Résumé

En informatique, le concept d'abstraction identifie et regroupe des caractéristiques et traitements communs applicables à des entités ou concepts variés ; une représentation abstraite commune de tels objets permet d'en simplifier et d'en unifier la manipulation. Programmation Généralités thumb|upright=1.4|Différentes couches de logiciel, partant d'en bas, le matériel est programmé en langage binaire, via un firmware, qui permet une abstraction pour le noyau, puis lui même pour le système d'exploitation, qui a son tour permet une abstraction pour les applications. Les différentes couches ont une abstraction de plus en plus importante, et chaque couche ne doit réussir à communiquer qu'avec celle d'en dessous ou celle d'au dessus, permettant une mutualisation des couches intermédiaires : par exemple le système d'exploitation est commun aux deux applications. thumb|Exemple de couche unifiée (la couche SDL) pour programmer les applications via une interface uniqu

Source officielle

https://fr.wikipedia.org/wiki/Abstraction_(informatique)

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (100)

Publications associées

Chargement

Personnes associées (15)

Personnes associées

Chargement

Unités associées (9)

Unités associées

Chargement

Concepts associés (80)

Concepts associés

Chargement

Cours associés (35)

Cours associés

Chargement

Séances de cours associées (58)

Séances de cours associées

Chargement

Reduction and Abstraction Techniques for BIP

Simon Bliudze, Mohammad Noureddine

Reduction and abstraction techniques have been proposed to address the state space explosion problem in verification. In this paper, we present reduction and abstraction techniques for component-based systems modeled in BIP (Behavior, Interaction and Priority). Given a BIP system consisting of several atomic components, we compute the product of two selected atomic components. The product operation often exposes opportunities for constant propagation in the product component that were hidden originally. Moreover, the product operation introduces states that are branching bisimilar. Our method detects and merges those states resulting in a behavior that may overapproximate the original one. The presented method is fully implemented. Our results show a drastic improvement in verifying BIP systems.

Springer2014

Chargement

Abstraction techniques for resource allocation in communication networks

Christian Frei

EPFL2000

Chargement

Decision Procedures for Algebraic Data Types with Abstractions

Mirco Dotta, Viktor Kuncak, Philippe Paul Henri Suter

We describe a family of decision procedures that extend the decision procedure for quantifier-free constraints on recursive algebraic data types (term algebras) to support recursive abstraction functions. Our abstraction functions are catamorphisms (term algebra homomorphisms) mapping algebraic data type values into values in other decidable theories (e. g. sets, multisets, lists, integers, booleans). Each instance of our decision procedure family is sound; we identify a widely applicable many-to-one condition on abstraction functions that implies the completeness. Complete instances of our decision procedure include the following correctness statements: 1) a functional data structure implementation satisfies a recursively specified invariant, 2) such data structure conforms to a contract given in terms of sets, multisets, lists, sizes, or heights, 3) a transformation of a formula (or lambda term) abstract syntax tree changes the set of free variables in the specified way.

2010

Chargement