Smaller sizes of executable files

Lesser overall page fault rate in the system

Faster program startup

Existing programs need not be re-linked to take advantage of newer versions of libraries

In statically typed languages, each variable in a program has a fixed type

In un-typed languages, values do not have any types

In dynamically typed languages, variables have no types

In all statically typed languages, each variable in a program is associated with values of only a single type during the execution of the program

LL(1)

SLR(1) but not LL(1)

LALR(1) but not SLR(1)

LR(1) but not LALR(1)

Recovery from packet losses

Detection of duplicate packets

Packet delivery in the correct order

End to end connectivity