机译:借助抽象状态机的分布式Prolog实现的正确性证明
机译:从抽象的SystemC规范走向自适应系统的自动化实现:从SystemC自适应过程到嵌入式软件,再到可综合的硬件描述
机译:CISL:一种基于类的机器描述语言,用于联合生成编译器和模拟器
机译:系统描述:Teyjus-A编译器和抽象的机器基于#lambda#prolog的实现
机译:将Prolog编译为逻辑推理虚拟机。
机译:系统架构的详尽描述和独立生活中长老的IOT的电子医疗生物识别系统的原型实施
机译:基于CDL描述的CDL编译器/模拟器系统的实现和数字系统的仿真
机译:prolog技术定理证明:由扩展的prolog编译器实现。