机译:使用大小类型的抽象解释通过逻辑程序进行资源使用分析
Dept. of Information and Computing Sciences, Utrecht University;
IMDEA Software Institute,Spanish Council for Scientific Research (CSIC);
Spanish Council for Scientific Research (CSIC),Technical University of Madrid (UPM);
机译:通过抽象解释在逻辑程序中进行多态类型分析
机译:静态型分析通过抽象解释Python计划
机译:逻辑程序部分评估和抽象解释集成的框架
机译:基于集合的逻辑程序分析的非确定有限树自动机的抽象解释
机译:使用归纳逻辑编程将英语句子与抽象含义表示图对齐
机译:MIGOU:具有可编程逻辑资源和软件定义的无线电功能的低功耗实验平台
机译:利用大小类型抽象解释逻辑程序的资源利用分析
机译:逻辑程序的自下而上的抽象解释