constraint programming; timed systems; expressiveness;
机译:更多表达性时态逻辑编程语言的逻辑基础
机译:时间关系查询语言的表达能力
机译:一种称为C的编程语言:C编程语言被认为是紧凑,高效和可表达的,以取代Unix上的汇编语言。
机译:时间并发约束编程语言的表达能力
机译:基于约束的时间推理的有效和表达性扩展。
机译:具有时间约束的声明式编程使用CG语言
机译:时间并发约束编程语言的表现力(特邀演讲)
机译:具有表达时间约束的计划的混合主动发展