摘要： Based on the idea of domain-specific languages,a little language--ALL ts proposed as a response to some problems in teaching “Algorithms and Data Structures” . We expect that ALL will help decouple the learning of algorithms and data structures from the l

关键词: 领域语言 描述方式 ALL语言程序 数据结构 程序正确性检查 函数