Tag: program logic

• Publications 2026.08.04

  Publications 2026.08.04

  Compositional Concurrent Program Logic for Timestamp Semantics Compositional Concurrent Program Logic for Timestamp Semantics

  Tatsuya Abe. Compositional Concurrent Program Logic for Timestamp Semantics. JSSST Computer Software, 43(3):24...

  program logicmemory consistency models

• Publications 2017.02.15

  Publications 2017.02.15

  Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations

  Tatsuya Abe and Toshiyuki Maeda. Concurrent program logic for relaxed memory consistency models with dependenc...

  logicprogram logicmemory consistency models

• Publications 2016.10.09

  Publications 2016.10.09

  Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models

  Tatsuya Abe and Toshiyuki Maeda. Observation-based concurrent program logic for relaxed memory consistency mod...

  logicprogram logicmemory consistency models