Search

Your search keyword '"Nishida, Naoki"' showing total 25 results
Start Over Author "Nishida, Naoki" Publisher springer international publishing

Refine your results

more »

more »

25 results on '"Nishida, Naoki"'

2. ReverCSP: Time-Travelling in CSP Computations

Author

Galindo, Carlos, Nishida, Naoki, Silva, Josep, Tamarit, Salvador, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Lanese, Ivan, editor, and Rawski, Mariusz, editor

Published
2020
Full Text
View/download PDF

3. A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs

Author

Hoey, James, Lanese, Ivan, Nishida, Naoki, Ulidowski, Irek, Vidal, Germán, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Ulidowski, Irek, editor, Lanese, Ivan, editor, Schultz, Ulrik Pagh, editor, and Ferreira, Carla, editor

Published
2020
Full Text
View/download PDF

5. Characterizing Compatible View Updates in Syntactic Bidirectionalization

Author

Nishida, Naoki, Vidal, Germán, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Thomsen, Michael Kirkedal, editor, and Soeken, Mathias, editor

Published
2019
Full Text
View/download PDF

6. CauDEr: A Causal-Consistent Reversible Debugger for Erlang

Author

Lanese, Ivan, Nishida, Naoki, Palacios, Adrián, Vidal, Germán, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Gallagher, John P., editor, and Sulzmann, Martin, editor

Published
2018
Full Text
View/download PDF

7. Loop Detection by Logically Constrained Term Rewriting

Author

Nishida, Naoki, Winkler, Sarah, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Piskac, Ruzica, editor, and Rümmer, Philipp, editor

Published
2018
Full Text
View/download PDF

10. A Reversible Semantics for Erlang

Author

Nishida, Naoki, Palacios, Adrián, Vidal, Germán, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Hermenegildo, Manuel V, editor, and Lopez-Garcia, Pedro, editor

Published
2017
Full Text
View/download PDF

13. Confluence Competition 2015

Author

Aoto, Takahito, Hirokawa, Nao, Nagele, Julian, Nishida, Naoki, Zankl, Harald, Goebel, Randy, Series editor, Tanaka, Yuzuru, Series editor, Wahlster, Wolfgang, Series editor, Felty, Amy P., editor, and Middeldorp, Aart, editor

Published
2015
Full Text
View/download PDF

14. A Finite Representation of the Narrowing Space

Author

Nishida, Naoki, Vidal, Germán, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gupta, Gopal, editor, and Peña, Ricardo, editor

Published
2014
Full Text
View/download PDF

15. Automatic Constrained Rewriting Induction towards Verifying Procedural Programs

Author

Kop, Cynthia, Nishida, Naoki, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Garrigue, Jacques, editor

Published
2014
Full Text
View/download PDF

22. Confluence Competition 2015

Author

Aoto, Takahito, primary, Hirokawa, Nao, additional, Nagele, Julian, additional, Nishida, Naoki, additional, and Zankl, Harald, additional

Published
2015
Full Text
View/download PDF

25. CauDEr: A Causal-Consistent Reversible Debugger for Erlang

Author

Naoki Nishida, Germán Vidal, Adrián Palacios, Ivan Lanese, J. P. Gallagher, M. Sulzmann, Lanese, Ivan, Nishida, Naoki, Palacios, Adrián, Vidal, Germán, Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Nagoya University, Departamento de Sistemas Informáticos y Computación [Valencia], and Universitat Politècnica de València (UPV)

Subjects
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Traverse, Computer science, Programming language, Concurrency, media_common.quotation_subject, Erlang (programming language), Causal consistency, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Concurrency theory, Debugging, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Debugging, Software_SOFTWAREENGINEERING, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Actor model, computer, computer.programming_language, Debugger, media_common
Abstract

International audience; Programming languages based on the actor model, such as Erlang, avoid some concurrency bugs by design. However, other concurrency bugs, such as message order violations and livelocks, can still show up in programs. These hard-to-find bugs can be more easily detected by using causal-consistent reversible debugging, a debugging technique that allows one to traverse a computation both forward and backward. Most notably, causal consistency implies that, when going backward, an action can only be undone provided that its consequences, if any, have been undone beforehand. To the best of our knowledge, we present the first causal-consistent reversible debugger for Erlang, which may help programmers to detect and fix various kinds of bugs, including message order violations and livelocks.

Published
2018
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results