Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100183783> ?p ?o ?g. }
Showing items 1 to 23 of
23
with 100 items per page.
- W3100183783 abstract "Cette these presente une perspective relationnelle a plusieurs aspects de la programmation. L'algebre relationnelle de Tarski est utilisee pour formuler, et parfois resoudre, des problemes pertinents a la programmation tels que: la specification de programmes, l'analyse fonctionnellle de programmes, la verification de programmes, la conception de programmes et le traitement d'erreurs dans les programmes. La perspective que nous adoptons dans cette these est caracterisee par les premisses suivantes: les programmes sont specifies a l'aide de relations; l'analyse fonctionnellle de programmes se fait par composition de fonctions; la conception de programmes se fait par decomposition de relations" @default.
- W3100183783 created "2020-11-23" @default.
- W3100183783 creator A5013516157 @default.
- W3100183783 date "1985-10-28" @default.
- W3100183783 modified "2023-09-23" @default.
- W3100183783 title "Une perspective relationnelle de la programmation" @default.
- W3100183783 hasPublicationYear "1985" @default.
- W3100183783 type Work @default.
- W3100183783 sameAs 3100183783 @default.
- W3100183783 citedByCount "0" @default.
- W3100183783 crossrefType "dissertation" @default.
- W3100183783 hasAuthorship W3100183783A5013516157 @default.
- W3100183783 hasConcept C138885662 @default.
- W3100183783 hasConcept C144024400 @default.
- W3100183783 hasConcept C15708023 @default.
- W3100183783 hasConceptScore W3100183783C138885662 @default.
- W3100183783 hasConceptScore W3100183783C144024400 @default.
- W3100183783 hasConceptScore W3100183783C15708023 @default.
- W3100183783 hasOpenAccess W3100183783 @default.
- W3100183783 isParatext "false" @default.
- W3100183783 isRetracted "false" @default.
- W3100183783 magId "3100183783" @default.
- W3100183783 workType "dissertation" @default.