3 ms·

Someone from AWS posted this few days ago: https://news.ycombinator.com/item?id=19634915 https://news.ycombinator.com/item?id=19634915

• k__ 8y ago
  Is this somehow integrated with Java or does it work with a programming language of my choice?
  • strangecasts 8y ago
    Specifications aren't tied to any specific programming language - you're outlining how the algorithm should work, not the implementation. (You can write Java code and invoke it during model-checking if you really need to, but I haven't come across any situation where it's actually necessary.)
    • k__ 8y ago
      Ah, okay. I had the impression it was about somehow writing a program in a more strict language and then exporting it to Java. I don't do much algorithmic design.
  • hwayne 8y ago
    I've written specifications of Ruby and Python codebases before, and worked with people who wrote Java, C, and Haskell code. It's pretty versatile!