( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Sound and Complete Concolic Testing for Higher-order Functions.

, , и . ESOP, том 12648 из Lecture Notes in Computer Science, стр. 635-663. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Robert Bruce Trumbull

Wallace Kwesi Bruce-Tamakloe

Cecil Bruce-Boye

Robert Orlan Bruce Niles

Annette Bruce

 

Другие публикации лиц с тем же именем

Herbarium Racketensis: a stroll through the woods (functional pearl)., , , , и . Proc. ACM Program. Lang., 1 (ICFP): 1:1-1:15 (2017)Distributed Places., , , , и . Trends in Functional Programming, том 8322 из Lecture Notes in Computer Science, стр. 34-57. Springer, (2013)Operational semantics for multi-language programs., и . POPL, стр. 3-10. ACM, (2007)Run your research: on the effectiveness of lightweight mechanization., , , , , , , , , и . POPL, стр. 285-296. ACM, (2012)Sound and Complete Concolic Testing for Higher-order Functions., , и . ESOP, том 12648 из Lecture Notes in Computer Science, стр. 635-663. Springer, (2021)Blame for all., , , и . STOP@ECOOP, стр. 1-13. ACM, (2009)Cycles without pollution: a gradual typing poem., и . STOP@ECOOP, стр. 47-57. ACM, (2009)Relationally-parametric polymorphic contracts., , , и . DLS, стр. 29-40. ACM, (2007)DrScheme: a programming environment for Scheme., , , , , , и . J. Funct. Program., 12 (2): 159-182 (2002)Extensible access control with authorization contracts., , , , и . OOPSLA, стр. 214-233. ACM, (2016)