Volume 10; Issue 2

Information Processing Letters

Volume 10; Issue 2
1

An improvement in the iterative data flow analysis algorithm

Year:
1980
Language:
english
File:
PDF, 288 KB
english, 1980
2

Encoded pointers — an interesting data-structure for modern sil's

Year:
1980
Language:
english
File:
PDF, 413 KB
english, 1980
3

Dynamization of decomposable searching problems

Year:
1980
Language:
english
File:
PDF, 730 KB
english, 1980
4

The logic-termal equivalence is polynomial-time decidable

Year:
1980
Language:
english
File:
PDF, 572 KB
english, 1980
5

Structured programs for turing machines

Year:
1980
Language:
english
File:
PDF, 559 KB
english, 1980
6

An O(log n) algorithm for computing general order-k Fibonacci numbers

Year:
1980
Language:
english
File:
PDF, 636 KB
english, 1980
7

A lower bound for on-line bin packing

Year:
1980
Language:
english
File:
PDF, 328 KB
english, 1980
9

Achievable high scores of ε-moves and running times in DPDA computations

Year:
1980
Language:
english
File:
PDF, 426 KB
english, 1980
10

Extending the four Russians' bound to general matrix multiplication

Year:
1980
Language:
english
File:
PDF, 149 KB
english, 1980
11

Purging in an equality data base

Year:
1980
Language:
english
File:
PDF, 873 KB
english, 1980
12

A simplified proof that regular resolution is exponential

Year:
1980
Language:
english
File:
PDF, 290 KB
english, 1980
13

A scheme for a fault-tolerant virtual memory

Year:
1980
Language:
english
File:
PDF, 563 KB
english, 1980
14

On the generation of compilers from language definitions

Year:
1980
Language:
english
File:
PDF, 426 KB
english, 1980