Matches in SemOpenAlex for { <https://semopenalex.org/work/W2488892145> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2488892145 endingPage "138" @default.
- W2488892145 startingPage "127" @default.
- W2488892145 abstract "Certified programming allows to prove that the program meets its specification. The check of correctness of a program is performed at compile time, which guarantees that the program always runs as specified. Hence, there is no need to test certified programs to ensure they work correctly. There are numerous toolchains designed for certified programming, but F* is the only language that support both general-purpose programming and semi-automated proving. The latter means that F* infers proofs when it is possible and a user can specify more complex proofs if necessary. We work on the application of this technique to a grammarware research and development project YaccConstructor. We present a work in progress verified implementation of transformation of Context-free grammar to Chomsky normal form, that is making progress toward the certification of the entire project. Among other features, F* system allows to extract code in F# or OCaml languages from a program written in F*. YaccConstructor project is mostly written in F#, so this feature of F* is of particular importance because it allows to maintain compatibility between certified modules and those existing in the project which are not certified yet. We also discuss advantages and disadvantages of such approach and formulate topics for further research." @default.
- W2488892145 created "2016-08-23" @default.
- W2488892145 creator A5000951893 @default.
- W2488892145 creator A5054253390 @default.
- W2488892145 creator A5054738334 @default.
- W2488892145 date "2016-01-01" @default.
- W2488892145 modified "2023-09-25" @default.
- W2488892145 title "Certified Grammar Transformation to Chomsky Normal Form in F*" @default.
- W2488892145 doi "https://doi.org/10.15514/ispras-2016-28(2)-8" @default.
- W2488892145 hasPublicationYear "2016" @default.
- W2488892145 type Work @default.
- W2488892145 sameAs 2488892145 @default.
- W2488892145 citedByCount "0" @default.
- W2488892145 crossrefType "journal-article" @default.
- W2488892145 hasAuthorship W2488892145A5000951893 @default.
- W2488892145 hasAuthorship W2488892145A5054253390 @default.
- W2488892145 hasAuthorship W2488892145A5054738334 @default.
- W2488892145 hasBestOaLocation W24888921451 @default.
- W2488892145 hasConcept C108710211 @default.
- W2488892145 hasConcept C115903868 @default.
- W2488892145 hasConcept C138885662 @default.
- W2488892145 hasConcept C169590947 @default.
- W2488892145 hasConcept C17744445 @default.
- W2488892145 hasConcept C199360897 @default.
- W2488892145 hasConcept C199539241 @default.
- W2488892145 hasConcept C2524010 @default.
- W2488892145 hasConcept C26022165 @default.
- W2488892145 hasConcept C2778361913 @default.
- W2488892145 hasConcept C33923547 @default.
- W2488892145 hasConcept C41008148 @default.
- W2488892145 hasConcept C41895202 @default.
- W2488892145 hasConcept C42383842 @default.
- W2488892145 hasConcept C46304622 @default.
- W2488892145 hasConcept C55439883 @default.
- W2488892145 hasConceptScore W2488892145C108710211 @default.
- W2488892145 hasConceptScore W2488892145C115903868 @default.
- W2488892145 hasConceptScore W2488892145C138885662 @default.
- W2488892145 hasConceptScore W2488892145C169590947 @default.
- W2488892145 hasConceptScore W2488892145C17744445 @default.
- W2488892145 hasConceptScore W2488892145C199360897 @default.
- W2488892145 hasConceptScore W2488892145C199539241 @default.
- W2488892145 hasConceptScore W2488892145C2524010 @default.
- W2488892145 hasConceptScore W2488892145C26022165 @default.
- W2488892145 hasConceptScore W2488892145C2778361913 @default.
- W2488892145 hasConceptScore W2488892145C33923547 @default.
- W2488892145 hasConceptScore W2488892145C41008148 @default.
- W2488892145 hasConceptScore W2488892145C41895202 @default.
- W2488892145 hasConceptScore W2488892145C42383842 @default.
- W2488892145 hasConceptScore W2488892145C46304622 @default.
- W2488892145 hasConceptScore W2488892145C55439883 @default.
- W2488892145 hasIssue "2" @default.
- W2488892145 hasLocation W24888921451 @default.
- W2488892145 hasOpenAccess W2488892145 @default.
- W2488892145 hasPrimaryLocation W24888921451 @default.
- W2488892145 hasRelatedWork W1538072621 @default.
- W2488892145 hasRelatedWork W1550732278 @default.
- W2488892145 hasRelatedWork W1608659702 @default.
- W2488892145 hasRelatedWork W2000659103 @default.
- W2488892145 hasRelatedWork W2048706733 @default.
- W2488892145 hasRelatedWork W2091345373 @default.
- W2488892145 hasRelatedWork W2091813295 @default.
- W2488892145 hasRelatedWork W3119305140 @default.
- W2488892145 hasRelatedWork W2467097043 @default.
- W2488892145 hasRelatedWork W2526228776 @default.
- W2488892145 hasVolume "28" @default.
- W2488892145 isParatext "false" @default.
- W2488892145 isRetracted "false" @default.
- W2488892145 magId "2488892145" @default.
- W2488892145 workType "article" @default.