اس‌آی‌ال‌کیو

اس‌آی‌ال‌کیو
	نشان‌واره اس‌آی‌ال‌کیو
پارادایم برنامه‌نویسی	دستوری،; تابعی،; Circuit design language
طراحی شده توسط	بنجامین بیچسل،; ماکسیمیلیان بادر،; تیمون گهر،; مارتین وچف
توسعه‌دهنده	SRI-مؤسسه فناوری فدرال زوریخ
ظهوریافته در	۲۰۲۰
شیوه نوع‌دهی	Strong Static Type System
زبان پیاده‌سازی	دی (زبان برنامه‌نویسی)
سیستم‌عامل	مک‌اواس، لینوکس،; مایکروسافت ویندوز،; فری‌بی‌اس‌دی
پروانه	BSL 1.0
وبگاه	silq.ethz.ch

اس‌آی‌ال‌کیو (به انگلیسی: Silq)^[۴] یک زبان برنامه‌نویسی سطح بالا جدید برای رایانش کوانتومی با سیستم نوع ایستایی قوی و پشتیبانی از عدم محاسبه امن است که در مؤسسه فناوری فدرال زوریخ توسعه یافته‌است.^[۵]^[۶]

جستارهای وابسته

برنامه‌نویسی کوانتوم

منابع

↑ Bichsel, Benjamin; Baader, Maximilian; Gehr, Timon; Vechev, Martin (2020). "Silq: a high-level quantum language with safe uncomputation and intuitive semantics". Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 286–300. doi:10.1145/3385412.3386007. ISBN 978-1-4503-7613-6. S2CID 219397029.
↑ "Silq". GitHub.
↑ "BSL 1.O Licensed".
↑ "Silq (ETH Zürich)".
↑ "Silq: a high-level quantum language with safe uncomputation and intuitive semantics".
↑ "Silq is a new high-level programming language for quantum computers".

[publication-1] Bichsel, Benjamin; Baader, Maximilian; Gehr, Timon; Vechev, Martin (2020). "Silq: a high-level quantum language with safe uncomputation and intuitive semantics". Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 286–300. doi:10.1145/3385412.3386007. ISBN 978-1-4503-7613-6. S2CID 219397029.

[supportedOS-2] "Silq". GitHub.

[3] "BSL 1.O Licensed".

[4] "Silq (ETH Zürich)".

[5] "Silq: a high-level quantum language with safe uncomputation and intuitive semantics".

[6] "Silq is a new high-level programming language for quantum computers".

[۱]

[۲]

[۳]

[۴]

[۵]

[۶]