Collation

284 P.: Table, Figs

Addition

,

Title

Abstract interpretation of declarative languages

LC Class

005

LC Number

.14

LC CutterNumber

A 164

Publication Year

1987

Publication

Ellis Horwood

Subject

Computer programs- Validation,Structured programming

Editor

Samson Abramsky, Chris Hankin

DocumentNumber

1650

ISBNN

, 1 , 5537 , 2-1

Pre LC

R

RecordNumber

693