fbpx
Chinese (Simplified)DutchEnglishFrenchGermanItalianPortugueseSpanish
sa.expert.consult@gmail.com

Silq, un langage de haut niveau pour le quantique

Juin 17, 2020 | Web | 0 commentaires


Une quipe de l’Ecole polytechnique fdrale de Zrich dveloppe un langage baptis Silq pour simplifier la programmation quantique.

Pour faciliter la programmation des ordinateurs quantiques, l’Ecole polytechnique fédérale de Zürich (ETHZ) conçoit, sous le nom de Silq, un langage de haut niveau qui utilise un système de typage statique fort. L’objectif est de pouvoir programmer ces ordinateurs aussi simplement et de façon aussi fiable qu’avec les langages de développement de l’informatique classique. Selon Martin Vechev, professeur de science informatique du Laboratoire Secure, Reliable and Intelligent Systems de l’ETH, Silq permet aux programmeurs d’exploiter le potentiel des ordinateurs quantiques bien mieux qu’avec les langages existants parce que son code est plus compact, plus rapide, plus intuitif et plus facile à comprendre par les programmeurs. « Les langages quantiques existants forcent le programmeur à travailler à un bas niveau d’abstraction débouchant sur un code fouilli et peu intuitif », rappelle l’équipe de l’ETHZ travaillant sur Silq en invite d’une session qui doit se tenir ce jeudi 18 juin 2020 à 14h20 dans le cadre du forum PLDI 2020.

Silq permet d’utiliser une sémantique intuitive qui supprime implicitement les valeurs temporaires, comme dans l’informatique classique. « Notre évaluation expérimentale démontre que les programmes Silq ne sont pas seulement plus simples à lire et à écrire, mais aussi significativement plus courts que les programmes équivalents dans les autres langages quantiques (en moyenne -46% pour Q#, -38% pour Quipper) tout en n’utilisant seulement la moitié de primitives quantiques », expose ainsi l’équipe de Silq composée – outre de Martin Vechev – de Benjamin Bichsel, Maximilian Baader et Timon Gehr. Les principaux avantages du langage – dont ses bénéfices appliqués notamment à l’algorithme de Grover – sont présentés sur le site que l’ETHZ lui consacre.



Source link

Besoins de renseignements.

Vous désirez lancer un nouveau projet ou remettre votre site au goût du jour !

Notre équipe vous recontactera dans les plus brefs délais à près la réception de votre message, nous pourrons au mieux répondre à votre demande si vous nous décrivez votre projet le plus précisément possible.

0