Matches in SemOpenAlex for { <https://semopenalex.org/work/W1522740024> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- W1522740024 abstract "Nous adoptons des Methodes Formelles basees sur la Theorie de Type pour raisonner sur la semantique des programmes: le but final est montrer qu'un fragment de logiciel repond a ses specifications formelles. Les domaines d'application de notre recherche sont le type des donnees des Nombres Reels et les Langages orientes Objets. Dans la premiere partie nous construisons les reels en utilisant des streams, c. -a-d. Des suites infinies, de chiffres signes. Nous mettons en application les Nombres Reels dans Coq en utilisant les streams, qui sont controles en utilisant des jugements coinductifs et des algorithmes corecursifs. Puis nous presentons une axiomatisation constructive et nous l'employons pour prouver l'adequation de notre construction. Dans la deuxieme partie nous etudions les calculs basees objets avec effet de bord, nous concentrant sur imp[sigma] d'Abadi et de Cardelli. Nous reformulons imp[sigma] en utilisant des techniques de codage modernes, comme la Syntaxe Abstraite d'Ordre Superieur et des systemes de preuve Coinductifs en Deduction Naturelle. Enfin nous formalisons imp[sigma] dans Coq et nous prouvons la correction des types." @default.
- W1522740024 created "2016-06-24" @default.
- W1522740024 creator A5077893110 @default.
- W1522740024 date "2003-01-01" @default.
- W1522740024 modified "2023-09-23" @default.
- W1522740024 title "Certified reasoning on real numbers and objects in co-inductive type theory" @default.
- W1522740024 hasPublicationYear "2003" @default.
- W1522740024 type Work @default.
- W1522740024 sameAs 1522740024 @default.
- W1522740024 citedByCount "4" @default.
- W1522740024 crossrefType "dissertation" @default.
- W1522740024 hasAuthorship W1522740024A5077893110 @default.
- W1522740024 hasConcept C138885662 @default.
- W1522740024 hasConcept C15708023 @default.
- W1522740024 hasConceptScore W1522740024C138885662 @default.
- W1522740024 hasConceptScore W1522740024C15708023 @default.
- W1522740024 hasLocation W15227400241 @default.
- W1522740024 hasOpenAccess W1522740024 @default.
- W1522740024 hasPrimaryLocation W15227400241 @default.
- W1522740024 hasRelatedWork W1514350647 @default.
- W1522740024 hasRelatedWork W1528431083 @default.
- W1522740024 hasRelatedWork W1551064346 @default.
- W1522740024 hasRelatedWork W1553815786 @default.
- W1522740024 hasRelatedWork W1566925011 @default.
- W1522740024 hasRelatedWork W1573760657 @default.
- W1522740024 hasRelatedWork W1591152951 @default.
- W1522740024 hasRelatedWork W1604205936 @default.
- W1522740024 hasRelatedWork W1605343538 @default.
- W1522740024 hasRelatedWork W1932325440 @default.
- W1522740024 hasRelatedWork W2007871538 @default.
- W1522740024 hasRelatedWork W2024060140 @default.
- W1522740024 hasRelatedWork W2029245482 @default.
- W1522740024 hasRelatedWork W2033616587 @default.
- W1522740024 hasRelatedWork W2043563043 @default.
- W1522740024 hasRelatedWork W2057584253 @default.
- W1522740024 hasRelatedWork W2115961986 @default.
- W1522740024 hasRelatedWork W2119696713 @default.
- W1522740024 hasRelatedWork W2128118337 @default.
- W1522740024 isParatext "false" @default.
- W1522740024 isRetracted "false" @default.
- W1522740024 magId "1522740024" @default.
- W1522740024 workType "dissertation" @default.