机译:一种面向对象语言的编译器设计的代数方法
Universidade Federal da Bahia, Centro de Processamento de Dados MEFES Research Group, Salvador, BA, CEP 40170-110, Brazil;
rnUniversity of York, Department of Computer Science, York YO10 5DD, UK;
rnUniversidade Federal de Pernambuco, Centro de Informatica, Caixa Postal 7851, Recife, PE, CEP 50732-970, Brazil;
algebraic transformation; refinement; compiler correctness;
机译:Vortex:面向对象语言的优化编译器
机译:使用部分评估来编译面向对象的并发反射语言中的元级别
机译:YAP编译器的设计:用于逻辑编程语言的优化编译器
机译:一种编译器,用于将面向对象的编程语言中表示的受控词汇和本体转换为文本标记语言
机译:域特定语言的快速原型制作:在面向对象的编译器编译器中应用空对象模式。
机译:SPC中呈现的药代动力学信息的结构表示形式的建立和评估:从与自然语言处理相关的现有药代动力学概念视图到面向对象设计
机译:面向对象语言编译器设计的代数方法
机译:sELF编译器的设计与实现,sELF编译器是面向对象编程语言的优化编译器