Matches in SemOpenAlex for { <https://semopenalex.org/work/W3102102033> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3102102033 abstract "In France, income tax is computed from taxpayers' individual returns, using an algorithm that is authored, designed and maintained by the French Public Finances Directorate (DGFiP). This algorithm relies on a legacy custom language and compiler originally designed in 1990, which unlike French wine, did not age well with time. Owing to the shortcomings of the input language and the technical limitations of the compiler, the algorithm is proving harder and harder to maintain, relying on ad-hoc behaviors and workarounds to implement the most recent changes in tax law. Competence loss and aging code also mean that the system does not benefit from any modern compiler techniques that would increase confidence in the implementation. We overhaul this infrastructure and present Mlang, an open-source compiler toolchain whose goal is to replace the existing infrastructure. Mlang is based on a reverse-engineered formalization of the DGFiP's system, and has been thoroughly validated against the private DGFiP test suite. As such, Mlang has a formal semantics; eliminates previous handwritten workarounds in C; compiles to modern languages (Python); and enables a variety of instrumentations, providing deep insights about the essence of French income tax computation. The DGFiP is now officially transitioning to Mlang for their production system." @default.
- W3102102033 created "2020-11-23" @default.
- W3102102033 creator A5001379432 @default.
- W3102102033 creator A5037387730 @default.
- W3102102033 creator A5055019834 @default.
- W3102102033 date "2020-11-16" @default.
- W3102102033 modified "2023-09-25" @default.
- W3102102033 title "A Modern Compiler for the French Tax Code" @default.
- W3102102033 cites W1531094952 @default.
- W3102102033 cites W1710734607 @default.
- W3102102033 cites W1868697350 @default.
- W3102102033 cites W1969213662 @default.
- W3102102033 cites W1988579293 @default.
- W3102102033 cites W2043100293 @default.
- W3102102033 cites W2048600620 @default.
- W3102102033 cites W2102048877 @default.
- W3102102033 cites W2130920933 @default.
- W3102102033 cites W2316184058 @default.
- W3102102033 cites W2624744662 @default.
- W3102102033 cites W2735447866 @default.
- W3102102033 cites W2756072676 @default.
- W3102102033 cites W2761790679 @default.
- W3102102033 cites W2808749305 @default.
- W3102102033 cites W2889183365 @default.
- W3102102033 cites W2901515670 @default.
- W3102102033 cites W3025458843 @default.
- W3102102033 cites W3092910379 @default.
- W3102102033 cites W3121655850 @default.
- W3102102033 hasPublicationYear "2020" @default.
- W3102102033 type Work @default.
- W3102102033 sameAs 3102102033 @default.
- W3102102033 citedByCount "0" @default.
- W3102102033 crossrefType "posted-content" @default.
- W3102102033 hasAuthorship W3102102033A5001379432 @default.
- W3102102033 hasAuthorship W3102102033A5037387730 @default.
- W3102102033 hasAuthorship W3102102033A5055019834 @default.
- W3102102033 hasConcept C115903868 @default.
- W3102102033 hasConcept C169590947 @default.
- W3102102033 hasConcept C17744445 @default.
- W3102102033 hasConcept C194541083 @default.
- W3102102033 hasConcept C199360897 @default.
- W3102102033 hasConcept C199539241 @default.
- W3102102033 hasConcept C2777062904 @default.
- W3102102033 hasConcept C2777904410 @default.
- W3102102033 hasConcept C2778514511 @default.
- W3102102033 hasConcept C41008148 @default.
- W3102102033 hasConcept C519991488 @default.
- W3102102033 hasConcept C79581498 @default.
- W3102102033 hasConceptScore W3102102033C115903868 @default.
- W3102102033 hasConceptScore W3102102033C169590947 @default.
- W3102102033 hasConceptScore W3102102033C17744445 @default.
- W3102102033 hasConceptScore W3102102033C194541083 @default.
- W3102102033 hasConceptScore W3102102033C199360897 @default.
- W3102102033 hasConceptScore W3102102033C199539241 @default.
- W3102102033 hasConceptScore W3102102033C2777062904 @default.
- W3102102033 hasConceptScore W3102102033C2777904410 @default.
- W3102102033 hasConceptScore W3102102033C2778514511 @default.
- W3102102033 hasConceptScore W3102102033C41008148 @default.
- W3102102033 hasConceptScore W3102102033C519991488 @default.
- W3102102033 hasConceptScore W3102102033C79581498 @default.
- W3102102033 hasLocation W31021020331 @default.
- W3102102033 hasOpenAccess W3102102033 @default.
- W3102102033 hasPrimaryLocation W31021020331 @default.
- W3102102033 hasRelatedWork W1550998482 @default.
- W3102102033 hasRelatedWork W1710176583 @default.
- W3102102033 hasRelatedWork W1980851131 @default.
- W3102102033 hasRelatedWork W2045983162 @default.
- W3102102033 hasRelatedWork W2076988379 @default.
- W3102102033 hasRelatedWork W2086733238 @default.
- W3102102033 hasRelatedWork W2096948099 @default.
- W3102102033 hasRelatedWork W2188771590 @default.
- W3102102033 hasRelatedWork W2289110480 @default.
- W3102102033 hasRelatedWork W2498366768 @default.
- W3102102033 hasRelatedWork W25230730 @default.
- W3102102033 hasRelatedWork W2625760763 @default.
- W3102102033 hasRelatedWork W2779308160 @default.
- W3102102033 hasRelatedWork W2791823252 @default.
- W3102102033 hasRelatedWork W2898426575 @default.
- W3102102033 hasRelatedWork W3000442391 @default.
- W3102102033 hasRelatedWork W3130881004 @default.
- W3102102033 hasRelatedWork W2182510070 @default.
- W3102102033 hasRelatedWork W219829166 @default.
- W3102102033 hasRelatedWork W2913971619 @default.
- W3102102033 isParatext "false" @default.
- W3102102033 isRetracted "false" @default.
- W3102102033 magId "3102102033" @default.
- W3102102033 workType "article" @default.