copilot 3 - NASA Technical Reports Server (NTRS) - discu.eu

Reddit

NASA TM "Copilot 3": Technical Report on the New Version of the Haskell-powered Runtime Verification Framework Copilot https://ntrs.nasa.gov/citations/20200003164 20 comments 26/8/2020 haskell

Linking pages

GitHub - Copilot-Language/copilot: A stream-based runtime-verification framework for generating hard real-time C code. https://github.com/Copilot-Language/copilot 77 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:ntrs.nasa.gov

Search title: copilot 3 - NASA Technical Reports Server (NTRS)

See how to search.

Submit link to: