EasyChair Smart SlideDocs/Log in
Author: Misaki Kojima

This page shows all presentations of this author published in EasyChair Smart Slide.

On Solving All-Path Reachability Problems for Starvation Freedom of Concurrent Rewrite Systems Under Process Fairness

On Solving All-Path Reachability Problems for Starvation Freedom of Concurrent Rewrite Systems Under Process Fairness

Misaki Kojima and Naoki Nishida

On Transforming Imperative Programs into Logically Constrained Term Rewrite Systems via Injective Functions from Configurations to Terms

On Transforming Imperative Programs into Logically Constrained Term Rewrite Systems via Injective Functions from Configurations to Terms

Naoki Nishida, Misaki Kojima and Takumi Kato

On Reducing Non-Occurrence of Specified Runtime Errors to All-Path Reachability Problems of Constrained Rewriting

On Reducing Non-Occurrence of Specified Runtime Errors to All-Path Reachability Problems of Constrained Rewriting

Misaki Kojima and Naoki Nishida

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair