Commit 3cfe88ef authored by Leo Valais's avatar Leo Valais

add entry valais.19.seminar in csi.bib

parent 245c7c95
Pipeline #10397 passed with stages
in 5 minutes and 4 seconds
......@@ -7818,6 +7818,63 @@ recherche et d'analyse d'information (lexicale, s\'emantique etc.).
algorithme et pr\'esentons ses avantages et ses inconv\'enients.}
}
@TechReport{ valais.19.seminar,
author = {Leo Valais},
title = {Implementing Baker's SUBTYPEP decision procedure},
titre = {Impl\'ementation de l'algorithme de SUBTYPEP de Baker},
institution = {EPITA Research and Development Laboratory (LRDE)},
year = 2019,
number = 1914,
abstract = {The Common Lisp language provides a predicate function,
SUBTYPEP, for instrospecting sub-type relationship. In some
situations, and given the type system of this language,
knowing whether a type is a sub-type of another would
require enumerating all the element of that type, possibly
an infinite number of them. Because of that, SUBTYPEP is
allowed to return the two values (NIL NIL), indicating that
it couldn't answer the question. Common Lisp
implementations have a tendency to frequently not answer,
even in situations where they could. Such an abusive
behavior prevents potential optimizations to occur, or even
leads to violating the standard. In his paper entitled ``A
Decision Procedure for Common Lisp's SUBTYPEP Predicate'',
Henry Baker proposes an algorithm that he claims to be both
more accurate and more efficient than the average SUBTYPEP
implementation. We present here the current state the current
state of our implementation and discuss one potential improvement
based on R-trees of Baker's algorithm.},
resume = {Le langage Common Lisp fournit un pr\'edicat, SUBTYPEP,
qui permet d'introspecter la relation de sous-typage. Dans
certaines situations, \'etant donn\'e le syst\`eme de
typage du langage, il est impossible de d\'eterminer si un
type est un sous-type d'un autre sans en \'enum\'erer tous
les \'el\'ements, possiblement en nombre infini. \`A cause
de cela, SUBTYPEP est autoris\'e \`a retourner deux valeurs
(NIL, NIL), indiquant qu'il n'a pas pu trouver de
r\'eponse. Les impl\'ementations de cette fonction ont trop
souvent tendance \`a ne pas r\'epondre, m\^eme dans des
situations o\`u c'est th\'eoriquement possible. Ce
comportement abusif peut alors emp\^echer certaines
optimisations potentielles du compilateur, voire m\^eme
rendre l'impl\'ementation non conforme au standard. Dans
son article \og A Decision Procedure for Common Lisp's
SUBTYPEP Predicate \fg, Henry Baker propose un algorithme
qu'il pr\'etend plus pr\'ecis et plus performant que
l'impl\'ementation moyenne de SUBTYPEP. Nous pr\'esentons
ici l'\'etat de notre impl\'ementation de l'algorithme de
Baker ainsi qu'une potentielle am\'elioration de celui-ci
faisant usage des R-trees.},
resumecourt = {SUBTYPEP est un pr\'edicat du langage Common Lisp qui
indique si un type est un sous-type d'un autre. \'Etant
donn\'e le syst\`eme de typage du langage, il n'est pas
toujours possible de donner de r\'eponse. Les
impl\'ementations de cette fonction ayant souvent tendance
\`a ne pas r\'epondre, m\^eme lorsque c'est possible, Baker
a publi\'e un algorithme qu'il pr\'etend plus efficace.
Nous proposons ici une impl\'ementation partielle de son
algorithme et pr\'esentons ses avantages et ses inconv\'enients.}
}
@TechReport{ van-noppen.07.seminar,
oldkeys = {van-noppen.07.seminar.scool},
author = {Maxime van Noppen},
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment