( en | de | ru )

 

Disambiguation of "Nakata, Keiko"

Author of the publication

copydeleteadd this publication to your clipboard
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor.

, , , , , , , , , and . FM, volume 9995 of Lecture Notes in Computer Science, page 69-84. (2016)

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. You can also use the button next to the name to display some publications already assigned to the person.

Keiko Sakahara

Keiko Suzuki

Keiko Nimura

Keiko Hirano

Keiko Yamane

 

Other publications of authors with the same name

Lazy mixin modules and disciplined effects. CoRR, (2009)Path resolution for nested recursive modules., and . High. Order Symb. Comput., 24 (3): 207-237 (2011)Denotational Semantics for Lazy Initialization of letrec.. FICS, page 61-67. Laboratoire d'Informatique Fondamentale de Marseille, (2010)Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction, and . SOS, volume 32 of EPTCS, page 57-75. (2010)Trace-Based Coinductive Operational Semantics for While., and . TPHOLs, volume 5674 of Lecture Notes in Computer Science, page 375-390. Springer, (2009)A Hoare logic for the coinductive trace-based big-step semantics of While., and . Logical Methods in Computer Science, (2015)A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction., , and . APLAS, volume 7078 of Lecture Notes in Computer Science, page 353-368. Springer, (2011)Compiling Cooperative Task Management to Continuations., and . FSEN, volume 8161 of Lecture Notes in Computer Science, page 95-110. Springer, (2013)Securing Class Initialization., and . IFIPTM, volume 321 of IFIP Advances in Information and Communication Technology, page 48-62. Springer, (2010)Recursive modules for programming., and . ICFP, page 74-86. ACM, (2006)