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
  Tov, Jesse A. Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 1 of 1 reviews    
  A calculus for Esterel: If can, can. If no can, no can.
Florence S., You S., Tov J., Findler R. Proceedings of the ACM on Programming Languages 3(POPL): 1-29, 2019.  Type: Article

Esterel is a synchronous language for reactive programming. Developed in the mid 1980s, it has been used in several safety-critical applications for aviation and nuclear power plant control....
...
Oct 27 2020  

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