Abstract interpretation of declarative languages

フォーマット:
図書
責任表示:
editors, Samson Abramsky and Chris Hankin
言語:
英語
出版情報:
Chichester, West Sussex, England : E. Horwood
New York : Halsted Press, 1987
形態:
284 p. ; 25 cm
著者名:
シリーズ名:
Ellis Horwood books in computing science ; . Series in computers and their applications <BA00409346>
書誌ID:
BA01364006
ISBN:
9780745801094 [0745801099] (: Horwood)  CiNii Books  Google Books
9780470209714 [0470209712] (: Halsted)  CiNii Books  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Compiling functional languages

Diller, Antoni

Wiley
7 図書 Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings

International Conference on Typed Lambda Calculi and Applications, Abramsky, Samson, 1953-

Springer-Verlag
2 図書 A theory of programming language semantics

Milne, Robert, 1948-, Strachey, Christopher

Chapman and Hall, Wiley : Distributed in the U.S.A. by Halsted Press
8 図書 Lazy functional languages : abstract interpretation and compilation

Burn, Geoffrey

Pitman, MIT Press
3 図書 Programming language syntax and semantics

Watt, David A., 1946-, Thomas, Muffy

Prentice Hall
9 図書 Background : computational structures

Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-

Clarendon Press
4 図書 Semantic structures : advances in natural language processing

Waltz, David L.

L. Erlbaum Associates
10 図書 Background : mathematical structures

Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-

Clarendon Press
5 図書 Formal specification of programming languages : a panoramic primer

Pagan, Frank G.

Prentice-Hall
11 図書 Semantic structures

Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-

Clarendon Press
6 図書 Denotational semantics : the Scott-Strachey approach to programming language theory

Stoy, Joseph

MIT Press
12 図書 Semantic modelling

Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-

Clarendon Press