atomize Gotham tank

Blog Post by: Kaitlyn Khan, Hamza Rashid, Tom Reingold, Tong Chen                      I personally have never heard of Frama-C before, but I am impressed by all of the applications and abilities this program has to offer. Many coding platforms such as Visual Studio Code already implement debuggers that will notify the user of a missing element or undeclared variable. These are some examples of how programs adapted to become smarter and self-replicating. I wanted to write about how Frama-C is outlining the potential in artificial intelligence based applications. The article already describes the benefits of Frama-C as a tool to parse code and verify software for reputable organizations such as Mitsubishi and NASA. Since even tests with over 80,000 lines of code can successfully be covered within 8 hours and output 86% of function, the numbers prove its validation. (KK)           Frama-C paves ...

Blog Post by: Kaitlyn Khan, Hamza Rashid, Tom Reingold, Tong Chen In “Why Functional Programming Matters” by John Hughes, the author offers several arguments in favor of functional programming. He claims that functional programs are less error prone than procedural programs and therefore easier to write. He draws an analogy between modular programming and functional programming. Essentially, he suggests that functional programming offers the same advantages and more. (TR)   The base of functional programming is the use of functions as arguments. The program receives addition, multiplication, other mathematical/programming functions with some elements, lists, and/or even another functional program as part of their argument. Then computes and returns the value. In this case, the function can be viewed as a constant value for the computation. Since it is possible to factor/modify a function without computing all of its value first. Thus allowing the program to compute the value only w...