About: Une perspective relationnelle de la programmation

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Une perspective relationnelle de la programmation Goto Sponge NotDistinct Permalink

An Entity of Type : rdac:C10001, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	frbr:Work rdac:C10001
Thesis advisor	Delobel, Claude (1938-.... ; mathématicien)
Author	Mili, Ali (1953-.... ; informacien)
alternative label	Relational perspective of programming science
dc:subject	Sémantique formelle Analyse fonctionnelle Thèses et écrits académiques Algèbre Functional analysis Programmation Programmation structurée Programming Formal semantics Program specification Spécification programme
preferred label	Une perspective relationnelle de la programmation
Language	http://lexvo.org/id/iso639-3/fra
Subject	http://www.idref.fr/027218740/id http://www.idref.fr/028625056/id http://www.idref.fr/027253139/id http://www.idref.fr/027674746/id
dc:title	Une perspective relationnelle de la programmation
Degree granting institution	Université Joseph Fourier (Grenoble ; 1971-2015) Institut national polytechnique (Grenoble, Isère, France ; 1900-....)
note	Cette thèse présente une perspective relationnelle à plusieurs aspects de la programmation. L'algèbre relationnelle de Tarski est utilisée pour formuler, et parfois résoudre, des problèmes pertinents à la programmation tels que: la spécification de programmes, l'analyse fonctionnellle de programmes, la vérification de programmes, la conception de programmes et le traitement d'erreurs dans les programmes. La perspective que nous adoptons dans cette thèse est caractérisée par les prémisses suivantes: les programmes sont spécifiés à l'aide de relations; l'analyse fonctionnellle de programmes se fait par composition de fonctions; la conception de programmes se fait par décomposition de relations
dc:type	Text
http://iflastandar...bd/elements/P1001	http://iflastandards.info/ns/isbd/terms/contentform/T1009
rdaw:P10219	1985
has content type	http://rdaregistry.info/termList/RDAContentType/1020
is primary topic of	http://www.idref.fr/219001766
is rdam:P30135 of	http://www.sudoc.fr/005255848/id http://www.sudoc.fr/167001256/id

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software