Language Design Laboratory

Language Design Laboratory
Introduction	Members	Activities	Seminars	Lectures	Internal Use Only (jaist)	Internal Use Only (ldl)

Welcome to LDL!

CafeOBJ Cube: (CafeOBJ official page)

Specification, Algebra, and Software A Festschrift Symposium in Honor of Kokichi Futatsugi (SAS 2014)

Research Center for Software Verification

Language Design Lablatory

Information Science

Japan Advanced Institute Science and Technology