Zobrazeno 1 - 7
of 7
pro vyhledávání: '"ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.4: Control structures"'
Autor:
Bilel Aichi
Publikováno v:
Systèmes et contrôle [cs.SY]. Université des Sciences et de la Technologie d'Oran Mohamed-Boudiaf (USTO-MB), 2021. Français
HAL
HAL
This work aims at contributing to the literature on the nonlinear control of three-phase induction motors with and without mechanical sensors. Several techniques were developed and verified either by simulation or by experimental validation using a t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1663259560c35eb3e59e863958e6bd27
https://hal.archives-ouvertes.fr/tel-03498285
https://hal.archives-ouvertes.fr/tel-03498285
Publikováno v:
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation, Springer Verlag, 2007
Higher-Order and Symbolic Computation, 2007
Higher-Order and Symbolic Computation, Springer Verlag, 2007
Higher-Order and Symbolic Computation, 2007
International audience; There is a correspondence between classical logic and programming language calculi with first-class continuations. With the addition of control delimiters, the continuations become composable and the calculi become more expres
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a7b749f4f5c0e5400181ca87ac5c763e
https://doi.org/10.1007/s10990-007-9006-0
https://doi.org/10.1007/s10990-007-9006-0
Autor:
Li, Chong, Hains, Gaétan, Khmelevsky, Youry, Potter, Brandon, Gaston, Jesse, Jankovic, Andrew, Boateng, Sam, Lee, William
Publikováno v:
[Technical Report] TR-LACL-2012-09, 2012, pp.14
Real-time algorithmic trading systems are widely used by pension funds, mutual funds, some hedge funds, market makers and other institutional traders, to manage market impact and risk, to provide liquidity to the market. The technologies of real-time
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a0aa281ed430e374820fcf0372b826e1
https://inria.hal.science/hal-00926418
https://inria.hal.science/hal-00926418
Autor:
Liquori, Luigi
Publikováno v:
Computation and Language [cs.CL]. INPL-INP de LORRAINE, 2007
“Inside every large language is a small language struggling to get out ...” [Igarashi et al. 2001]“... and inside every small language is a sharp extension looking for better expressivity ...” [Liquori & Spiwack 2008]; It is my privilege and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::8e81856e3b5fd687881485100efafa6b
https://hal.inria.fr/tel-01148503/file/2007-hdr-liquori-07.pdf
https://hal.inria.fr/tel-01148503/file/2007-hdr-liquori-07.pdf
Autor:
Liquori, Luigi
Publikováno v:
Computation and Language [cs.CL]. INPL-INP de LORRAINE, 2007
“Inside every large language is a small language struggling to get out ...” [Igarashi et al. 2001]“... and inside every small language is a sharp extension looking for better expressivity ...” [Liquori & Spiwack 2008]; It is my privilege and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8e81856e3b5fd687881485100efafa6b
https://inria.hal.science/tel-01148503/file/2007-hdr-liquori-07.pdf
https://inria.hal.science/tel-01148503/file/2007-hdr-liquori-07.pdf
Autor:
Ariola, Zena, Herbelin, Hugo
Publikováno v:
Journal of Functional Programming
Journal of Functional Programming, Cambridge University Press (CUP), 2007
Journal of Functional Programming, 2007
Journal of Functional Programming, Cambridge University Press (CUP), 2007
Journal of Functional Programming, 2007
L'article contient une annexe historique par Matthias Felleisen sur la génèse des opérateurs de contrôle à l'université d'Indiana à la fin des années 80.; International audience; The historical design of the call-by-value theory of control re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3afebf86167d5f1728628f148c519fd4
https://hal.inria.fr/inria-00177320/document
https://hal.inria.fr/inria-00177320/document
Autor:
CurienPierre-Louis, HerbelinHugo
Publikováno v:
Fifth ACM SIGPLAN International Conference on Functional Programming : ICFP '00
Fifth ACM SIGPLAN International Conference on Functional Programming : ICFP '00, Sep 2000, Montréal, Canada. pp.233-243
ICFP
Fifth ACM SIGPLAN International Conference on Functional Programming : ICFP '00, Sep 2000, Montréal, Canada. pp.233-243
ICFP
We present the μ -calculus, a syntax for λ-calculus + control operators exhibiting symmetries such as program/context and call-by-name/call-by-value. This calculus is derived from implicational Gentzen's sequent calculus LK , a key classical logica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1896f35f22e1eefb0a8c22ad1d1af846
https://hal.inria.fr/inria-00156377/file/icfp-CuHer00-duality_errata.pdf
https://hal.inria.fr/inria-00156377/file/icfp-CuHer00-duality_errata.pdf