Matches in SemOpenAlex for { <https://semopenalex.org/work/W143929551> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W143929551 abstract "Resume: Nous proposons un cadre formel pour decrire et comparer les implantations de langages fonctionnels. Nous decrivons le processus de compilation comme une suite de transformations de programmes dans le cadre fonctionnel. Les choix fondamentaux de mise en œuvre ainsi que les optimisations s’expriment naturellement comme des transformations differentes. Les avantages de cette approche sont de decomposer et de structurer la compilation, de simplifier les preuves de correction et de permettre des comparaisons formelles en etudiant chaque transformation ou leur composition. Nous nous concentrons ici sur l’appel par valeur et decrivons trois implantations differentes: la Cam [7], Tabac un compilateur base sur [13] et une version stricte de la machine de Krivine [19]." @default.
- W143929551 created "2016-06-24" @default.
- W143929551 creator A5020402638 @default.
- W143929551 creator A5082736715 @default.
- W143929551 date "1996-01-01" @default.
- W143929551 modified "2023-09-23" @default.
- W143929551 title "Décrire et comparer les implantations de langages fonctionnels" @default.
- W143929551 cites W1524744826 @default.
- W143929551 cites W1539470126 @default.
- W143929551 cites W1574818228 @default.
- W143929551 cites W1575417425 @default.
- W143929551 cites W1580664042 @default.
- W143929551 cites W1597497095 @default.
- W143929551 cites W163542482 @default.
- W143929551 cites W1963658586 @default.
- W143929551 cites W1987031623 @default.
- W143929551 cites W2026557621 @default.
- W143929551 cites W2041945455 @default.
- W143929551 cites W2045821994 @default.
- W143929551 cites W2057065238 @default.
- W143929551 cites W2062274057 @default.
- W143929551 cites W2063068243 @default.
- W143929551 cites W2073771426 @default.
- W143929551 cites W2077778948 @default.
- W143929551 cites W2095621310 @default.
- W143929551 cites W2103859677 @default.
- W143929551 cites W2104890704 @default.
- W143929551 cites W2113757735 @default.
- W143929551 cites W2133979298 @default.
- W143929551 cites W2137868632 @default.
- W143929551 cites W2152711824 @default.
- W143929551 cites W2155313464 @default.
- W143929551 cites W2160212452 @default.
- W143929551 cites W2736020927 @default.
- W143929551 cites W67134903 @default.
- W143929551 hasPublicationYear "1996" @default.
- W143929551 type Work @default.
- W143929551 sameAs 143929551 @default.
- W143929551 citedByCount "0" @default.
- W143929551 crossrefType "journal-article" @default.
- W143929551 hasAuthorship W143929551A5020402638 @default.
- W143929551 hasAuthorship W143929551A5082736715 @default.
- W143929551 hasConcept C138885662 @default.
- W143929551 hasConcept C142362112 @default.
- W143929551 hasConcept C15708023 @default.
- W143929551 hasConceptScore W143929551C138885662 @default.
- W143929551 hasConceptScore W143929551C142362112 @default.
- W143929551 hasConceptScore W143929551C15708023 @default.
- W143929551 hasOpenAccess W143929551 @default.
- W143929551 isParatext "false" @default.
- W143929551 isRetracted "false" @default.
- W143929551 magId "143929551" @default.
- W143929551 workType "article" @default.