A high-performance low risc machine for logic programming

Trace Scheduling: A Technique for Global Microcode Compaction

Fisher · IEEE Transactions on Computers · 1981 · 1.3K citations

Computing, Computer Engineering, Computer Science +13

Reduced instruction set computers

David A. Patterson · Communications of the ACM · 1985 · 451 citations · Full text

Engineering, Computer Engineering, Computer Science +13

A VLSI RISC

Patterson, Sequin · Computer · 1982 · 330 citations

Reduced Instruction Set Computer Architectures for VLSI

Emmanuel Katevenis · 1983 · 148 citations

Engineering, Computer Engineering, Computer Science +16

Relating logic programs and attribute grammars

Pierre Deransart, Jan Małuszyński · The Journal of Logic Programming · 1985 · 106 citations · Full text

Computing, Computer Science, Formal Methods +10