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
  Oliveira, Jos Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 1 of 1 reviews    
   Towards a linear algebra of programming
Oliveira J. Formal Aspects of Computing 24(4-6): 433-458, 2012.  Type: Article

We are, by now, quite used to relational interpretations of program semantics. Such interpretations live in a rich algebraic world. What if we wanted to use a probabilistic interpretation instead? Well, it turns out that this is a cons...
...
Jul 29 2014  

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