( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Taxonomy for Triggered Interactions Using Fair Object Semantics.

, , и . FIW, стр. 193-209. IOS Press, (2000)

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.

Geoff Cutts

Geoff Cox

Yoann Geoffroy

Stéphanie Geoffroy

Frank Hamilton

 

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

Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem., и . VPT@CAV, том 28 из EPiC Series in Computing, стр. 36-51. EasyChair, (2014)Specifying and Verifying IP with Linear Logic., , , , и . ICDCS Workshop on Distributed System Validation and Verification, стр. E104-E110. (2000)Sharing Analysis of Lazy First-Order Functional Programs.. WSA, том 81-82 из Series Bigre, стр. 68-78. Atelier Irisa, IRISA, Campus de Beaulieu, (1992)Distillation: extracting the essence of programs.. PEPM, стр. 61-70. ACM, (2007)Asymptotic Speedups, Bisimulation and Distillation (Work in Progress)., и . Ershov Memorial Conference, том 8974 из Lecture Notes in Computer Science, стр. 177-185. Springer, (2014)Extracting the Essence of Distillation.. Ershov Memorial Conference, том 5947 из Lecture Notes in Computer Science, стр. 151-164. Springer, (2009)Tight Polynomial Worst-Case Bounds for Loop Programs., и . Log. Methods Comput. Sci., (2020)Declassification: Transforming Java Programs to Remove Intermediate Classes., и . SCAM, стр. 183-192. IEEE Computer Society, (2005)A Taxonomy for Triggered Interactions Using Fair Object Semantics., , и . FIW, стр. 193-209. IOS Press, (2000)Generating Loop Invariants for Program Verification by Transformation.. VPT@ETAPS, том 253 из EPTCS, стр. 36-53. (2017)