UEDA Lab.

Software

Hybrid Systems

[portal] HydLa: constraint-based hybrid systems modeling language

Graph Rewriting Model Checking

[portal] LMNtal: a hierarchical graph rewriting language and system with model checking and visualization
CSLMNtal: Extension of LMNtal with user-defineable contexts (types) (Kota Nara)

Concurrent Logic Programming

[revived!] KLIC: Portable implementation of KL1 (version 3.014) (Kazunori Ueda)
- A parallel implementation of KL1 (and GHC = Guarded Horn Clauses) running on PCs (Linux including Ubuntu 22.04LTS, Raspberry Pi OS and CentOS 7.6; macOS up to Mojave (needs Xcode 9 or below); 32-bit Cygwin) and SMP (symmetric multiprocessing) servers. For more information, please refer to README-FIRST.
- Previous versions:
  - KLIC-3.005 (Yusuke Kaneki, Ryo Matsumura, Motomu Nakajima)
  - Socket and shared-library extension of KLIC-3.003 (Hiroshi Igarashi and Yusuke Takagi)
  - Original homepage of KLIC, a KL1 implemetation for general-purpose computersKLIC
- Emacs major mode for KL1 programming (Yusuke Kaneki)
[revived!] GHC system running on top of SWI-Prolog (Kazunori Ueda)
klint - Static analizer for KL1 programs (version 2.2) (Kazunori Ueda)
kima - Automated debugger for KL1 programs (version 2.2) (Yasuhiro Ajiro)

Lambda Calculus

Lambda * Magica: An Untyped Lambda Calculus Interpreter for Education (Yuuki Shinobu)
Lambda Friends: An Interpreter for Lambda Calculus on Web page (Naoki Yamamoto)

Last update: August 3, 2023

vvvvvv-admin@ueda.info.waseda.ac.jp