机译:一类线性,自由,近自由程序方案的子方案的强等价性的判定
Department of Computing, Goldsmiths College, University of London, London SE14 6NW, UK;
Department of Information Systems and Computing, Brunei University, Uxbridge, Middlesex UBS 3PH, UK;
Department of Computer Science, Regent Court, 211 Portobello. Sheffield SI 4DP, UK;
free and liberal program schemas; herbrand domain; program slicing; linear schemas; weiser's algorithm;
机译:线性,自由,自由,结构化的程序模式的等效性可以在多项式时间内确定
机译:保守,自由,线性程序模式的等效性是可以确定的
机译:表征谓词线性,自由,自由的程序模式的最小保留语义的片
机译:亚递归程序模式I和II(I。不可确定的等价问题,II。可确定的等价问题)
机译:正有理强移位等价性与有限型移位的映射类组
机译:基于等值程序教学的可移植性:大学教室中的效率和效率
机译:一类线性,自由,近自由程序模式的子方案的强等效性的判定性