msakai's profile

Recent Activity

• 07:25: posted Java's insecure parallelism

• 16:11: added a note to Soundness proof of Z semantics of OWL using institutions
• 16:10: posted Soundness proof of Z semantics of OWL using institutions

• 00:58: posted Higher-order Logic Reconsidered

• 05:14: added a note to Remarks on algebraically compact categories
• 04:55: added a note to Remarks on algebraically compact categories
• 00:29: added a note to Algebraically complete categories
• 00:21: added a note to Remarks on algebraically compact categories
• 00:19: added a note to Remarks on algebraically compact categories
• 00:19: posted Remarks on algebraically compact categories

• 17:13: added a note to Extended full computation-tree logics for paraconsistent model checking
• 17:13: added a note to Extended full computation-tree logics for paraconsistent model checking
• 17:13: posted Extended full computation-tree logics for paraconsistent model checking
• 15:56: posted Test-based pointcuts for robust and fine-grained join point specification
• 15:50: posted Checking race freedom via linear programming
• 04:05: posted The rational numbers as an abstract data type
• 01:09: posted From LCF to HOL: a short history
• 01:04: posted Multidigit Multiplication for Mathematicians

• 13:45: posted Ad–hoc Filesystem: A Novel Network Filesystem for Ad-hoc Wireless Networks

• 16:37: posted KAT-ML: An interactive theorem prover for Kleene Algebra with Tests
• 01:25: posted Inductively defined types

• 18:14: added a note to A study in the foundations of programming methodology: Specifications, institutions, charters and parchments

• 09:43: added a note to ⊤⊤-closed relations and admissibility
• 09:42: added a note to ⊤⊤-closed relations and admissibility
• 09:39: added a note to ⊤⊤-closed relations and admissibility
• 09:38: posted ⊤⊤-closed relations and admissibility
• 09:30: posted Random Access to Abstract Data Types

• 03:20: added a note to What really happened on Mars Rover Pathfinder

• 03:22: posted Priority inheritance protocols: an approach to real-time synchronization
• 00:54: posted 講座　最適化技法の物理学的解釈 ー古典力学から最大値原理へー

• 14:18: added a note to Sets in types, types in sets
• 14:17: posted Sets in types, types in sets
• 08:15: posted 手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み (Approach to Software Verification Based on Transformation from Procedural Programs to Rewrite Systems)