Abstract interpretation of declarative languages /

Bibliographic Details
Other Authors: Abramsky, Samson, 1953-, Hankin, Chris
Format: Book
Language:English
Published: Chichester, West Sussex, England : New York : E. Horwood ; Halsted Press, 1987.
Series:Computers and their applications.
Subjects:

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a22000008a 4500
001 in00000012567
005 20151007051845.0
008 870709s1987 enk b 00100 eng
010 |a  87020899  
020 |a 0745801099 :  |c £38.50 
035 |a (OCoLC)16467479 
035 |9 AAA5140AM 
040 |a DLC  |c DLC  |d TXA  |d UtOrBLW 
049 |a TXAM  |c [A12638141] 
050 0 0 |a QA76.7  |b .A2 1987 
082 0 |a 005.1/3  |2 19 
245 0 0 |a Abstract interpretation of declarative languages /  |c editors, Samson Abramsky and Chris Hankin. 
264 1 |a Chichester, West Sussex, England :  |b E. Horwood ;  |a New York :  |b Halsted Press,  |c 1987. 
300 |a 284 pages 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a Ellis Horwood series in computers and their applications 
504 |a Bibliography: pages [276]-282. 
500 |a Includes index. 
650 0 |a Programming languages (Electronic computers)  |x Semantics. 
650 0 |a Compiling (Electronic computers) 
700 1 |a Abramsky, Samson,  |d 1953- 
700 1 |a Hankin, Chris. 
830 0 |a Computers and their applications. 
999 |a MARS 
999 f f |s aec6d24c-d047-377f-9ac0-03c5927ef731  |i dd796aea-b0ab-3cc5-b296-87ed422d0a57  |t 0 
952 f f |p ric  |a Texas A&M University  |b Rellis Campus  |c Joint Library Facility  |d Remote Storage  |t 0  |e QA76.7 .A2 1987  |h Library of Congress classification  |i unmediated -- volume  |m A14812638141 
998 f f |a QA76.7 .A2 1987  |t 0  |l Remote Storage