Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Gordon, Andrew Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 3 of 3 reviews    
  Higher order operational techniques in semantics
Gordon A. (ed), Pitts A., Cambridge University Press, New York, NY, 1998.  Type: Book (9780521631686)

According to the preface, this book “is a collection of articles about recent developments in operational semantics for higher order programming languages, by some of the leading researchers in the field. The idea for the boo...
...
Aug 1 2000  
  Functional programming and input/output
Gordon A. (ed), Cambridge University Press, New York, NY, 1994.  Type: Book (9780521471039)

One of the advantages of a functional language is the relative simplicity of giving correctness proofs of properties of programs written in such languages. Useful I/O mechanisms have not been adequately explained by current theories of...
...
Jul 1 1996  
  Mapping crime in its community setting: event geography analysis
Maltz M., Gordon A. (ed), Friedman W., Springer-Verlag New York, Inc., New York, NY, 1991.  Type: Book (9780387973814)

The report to the National Institute of Justice on which this book is based details a three-year research project involving participants from four organizations: the Chicago Police Department, the Center for Research in Law and Justice...
...
Jul 1 1991  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy