Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists

Publication Information

Title

Japanese:
English:	Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists

Author

Japanese:	森口草介, 瀧本哲史, 白井瑞貴, 渡部卓雄.
English:	Sosuke Moriguchi, Satoshi Takimoto, Mizuki Shirai, Takuo Watanabe.

Language

English

Journal/Book name

Japanese:
English:

Volume, Number, Page

Published date

Nov. 4, 2024

Publisher

Japanese:
English:

Conference name

Japanese:
English:	13th Workshop on Computation: Theory and Practice (WCTP 2024) (to appear)

Conference site

Japanese:
English:	Manila