Skip to main content

Home/ Coders/ Contents contributed and discussions participated by Rajan Datta

Contents contributed and discussions participated by Rajan Datta

Simple Middle Filter: All | Bookmarks | Topics
1More

IDEOne - Online Compiler and Debugging tool - 8 views

ideone.com cloudcomputing programming languages
shared by Rajan Datta on 08 Jan 10 - Cached
  • Rajan Datta on 22 Sep 13
     
    Ideone is an online compiler and debugging tool which allows you to compile source code and execute it online in more than 60 programming languages.
1More

AdaCore - Home > GNAT Pro > The Tokeneer Project - 0 views

www.adacore.com/...tokeneer programming programming languages formalmethods security
shared by Rajan Datta on 06 Dec 08 - Cached
Avinash K. liked it
  • Rajan Datta on 06 Dec 08
     
    NSA Led Project for approach to highly secure systems. Keywords: ADA, Praxis, Correctness by Construction
1 - 3 of 3
Showing 20▼ items per page