Matches in SemOpenAlex for { <https://semopenalex.org/work/W116484694> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W116484694 endingPage "280" @default.
- W116484694 startingPage "245" @default.
- W116484694 abstract "This article describes the library of projects embedded in Frama-C, which is an extensible platform dedicated to development of source-code analysis of C software. Through this presentation, we detail an original aspect of ML functors which uses their imperative and compositional parts. That is the only well-typed way to implement the required functionality. Furthermore we show a singular example of a hugely-applied functor. This article also introduces the Frama-C platform through one of its main features, the notion of project. MOTS-CLES : systeme de modules, foncteur, programmation imperative et fonctionnelle, genie logiciel, analyse statique." @default.
- W116484694 created "2016-06-24" @default.
- W116484694 creator A5088153468 @default.
- W116484694 date "2009-01-01" @default.
- W116484694 modified "2023-09-24" @default.
- W116484694 title "Foncteurs impératifs et composés: la notion de projets dans Frama-C." @default.
- W116484694 cites W1965784613 @default.
- W116484694 cites W1968783161 @default.
- W116484694 cites W2008913431 @default.
- W116484694 cites W2036933452 @default.
- W116484694 cites W2043100293 @default.
- W116484694 cites W206773400 @default.
- W116484694 cites W2119629818 @default.
- W116484694 cites W2121757479 @default.
- W116484694 cites W2127600624 @default.
- W116484694 cites W2133171398 @default.
- W116484694 cites W2138229876 @default.
- W116484694 cites W2145945984 @default.
- W116484694 cites W2293624369 @default.
- W116484694 cites W2338603254 @default.
- W116484694 cites W2395763232 @default.
- W116484694 cites W53653091 @default.
- W116484694 hasPublicationYear "2009" @default.
- W116484694 type Work @default.
- W116484694 sameAs 116484694 @default.
- W116484694 citedByCount "0" @default.
- W116484694 crossrefType "journal-article" @default.
- W116484694 hasAuthorship W116484694A5088153468 @default.
- W116484694 hasConcept C111919701 @default.
- W116484694 hasConcept C115903868 @default.
- W116484694 hasConcept C118615104 @default.
- W116484694 hasConcept C156772000 @default.
- W116484694 hasConcept C199360897 @default.
- W116484694 hasConcept C2777904410 @default.
- W116484694 hasConcept C32833848 @default.
- W116484694 hasConcept C33923547 @default.
- W116484694 hasConcept C41008148 @default.
- W116484694 hasConcept C43126263 @default.
- W116484694 hasConcept C7051814 @default.
- W116484694 hasConceptScore W116484694C111919701 @default.
- W116484694 hasConceptScore W116484694C115903868 @default.
- W116484694 hasConceptScore W116484694C118615104 @default.
- W116484694 hasConceptScore W116484694C156772000 @default.
- W116484694 hasConceptScore W116484694C199360897 @default.
- W116484694 hasConceptScore W116484694C2777904410 @default.
- W116484694 hasConceptScore W116484694C32833848 @default.
- W116484694 hasConceptScore W116484694C33923547 @default.
- W116484694 hasConceptScore W116484694C41008148 @default.
- W116484694 hasConceptScore W116484694C43126263 @default.
- W116484694 hasConceptScore W116484694C7051814 @default.
- W116484694 hasLocation W1164846941 @default.
- W116484694 hasOpenAccess W116484694 @default.
- W116484694 hasPrimaryLocation W1164846941 @default.
- W116484694 hasVolume "7" @default.
- W116484694 isParatext "false" @default.
- W116484694 isRetracted "false" @default.
- W116484694 magId "116484694" @default.
- W116484694 workType "article" @default.