المؤلفون: Xin, J., Zheng, L., Rahmani, K., Wei, J., Holtz, J., Dillig, I., Biswas, J.

المصدر: IEEE Robotics and Automation Letters IEEE Robot. Autom. Lett. Robotics and Automation Letters, IEEE. 9(6):4894-4901 Jun, 2024

المؤلفون: Dillig, I.

المصدر: 2015 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2015. :4-4 Sep, 2015

Relation: 2015 Formal Methods in Computer-Aided Design (FMCAD)

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Doenges, R., Kappé, T., Sarracino, J., Foster, N., Morrisett, G., Jhala, R., Dillig, I.

المساهمون: ILLC (FNWI)

المصدر: Proceedings of PLDI 2022
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
PLDI '22: proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation : June 13-17, 2022, San DIego, CA, USA, 950-965
STARTPAGE=950;ENDPAGE=965;TITLE=PLDI '22

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Programming Languages, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Programming Languages (cs.PL)

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::28b072646ffc60561157b1c3dc91c42e
https://dare.uva.nl/personal/pure/en/publications/leapfrog-certified-equivalence-for-protocol-parsers(0d629888-42c9-4ca1-80ad-cdb7e499268c).html

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.