Static program analysis tools

Hermes (programming language)

Hermesis a language for distributed programmingthat was developed at IBM's Thomas J. Watson Research Center from 1986 through 1992,with an open-source compiler and run-time system.Hermes' primary features included: * Language support of processes and interprocess communication. * Compile-time verification that operations use initialized data. * Representation-independent data aggregates called tables. * Lack of pointers. It used typestate analysis to check variables transitions errors, to rule out some semantically non meaningful transitions from one state to another (i.e. starting from a value, some sequences of operations on a variable are nonsensical), of which reading an uninitialized variable is a special case. In this role of compile-time checking of data initialization is similar to definite assignment analysis performed by Java, Cyclone and C#. Hermes and its predecessor, NIL (Network Implementation Language), were the earliest programming languages supporting this form of initialization checking.Typestate was actually used more extensively, to generate compiler-inserted "delete" operations. (Wikipedia).

Video thumbnail

the C language (part 2 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

the C language (part 5 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

What is Scala Programming? An Introduction to Methods, Classes, Functions and Collections

Scala is a multi-paradigm language that merges object-oriented programming and functional programming. For more free lessons, visit http://oreil.ly/2aZFvln. Scala was first released in 2003. The language is supported by a large and growing community, and is now one of the most well-known

From playlist Scala

Video thumbnail

Programming Languages - (part 6 of 7)

How source code becomes a running program, how languages are categorized, and a survey of important languages. Part of a larger series teaching programming. Visit http://codeschool.org

From playlist Programming Languages

Video thumbnail

The Go Language (1 of 4)

An introduction to the Go programming language. Assumes knowledge of Javascript. Part of a larger series at http://codeschool.org

From playlist The Go Language

Video thumbnail

Chain React 2019: Hermes Engine Announcement

Note: there's a problem with the audio until 2:13 into the video, after which it is fixed. We apologize for the inconvenience! Facebook drops a huge announcement at Chain React 2019! Marc Horowitz from Facebook gave us a look at Hermes Engine, a small and lightweight JavaScript engine opt

From playlist Chain React 2019

Video thumbnail

Clojure - creating macros

Part of a series teaching the Clojure language. For other programming topics, visit http://codeschool.org

From playlist the Clojure language

Video thumbnail

Project 1 Section 2 Part 1

Setting up Julia (using Juliabox.org) to import our dataset and start our data analysis.

From playlist The Julia Computer Language

Video thumbnail

The Essence of Functional Programming

This talk dives into the origins of functional programming, going all the way back to where the term was first introduced, to see how it evolved over time into our modern understanding of what FP essentially involves. PUBLICATION PERMISSIONS: Original video was published with the Creative

From playlist Functional Programming

Video thumbnail

The Computer Chronicles - Speech Technologies (1999)

Special thanks to archive.org for hosting these episodes. Downloads of all these episodes and more can be found at: http://archive.org/details/computerchronicles

From playlist Computer Chronicles Episodes on Software

Video thumbnail

Missiles over Mexico: A Cold War Story

In the decades following the Second World War, missiles of all kinds would come to dominate military technology, and that would produce an unexpected threat… to Mexico. The US missiles that blundered across the southern border during the cold war are history that deserves to be remembered

From playlist The Cold War

Video thumbnail

Is JavaScriptCore (JSC) really the reason bun.js is so fast? Is V8 that slow? Is JSC the fastest?

In this video we deep dive a little bit further on why Bun js is so fast? We have a look at some of the other JavaScript Engines in the browser and backend web frameworks and explore the performance of other V8 engines such as just-js. In the bun.sh website, the bun author claims that Ja

From playlist Javascript

Video thumbnail

SPOILERCAST: The Martian, by Andy Weir - Still Untitled: The Adam Savage Project - 10/7/2014

Adam, Norm, and Will discuss Andy Weir's debut novel, The Martian. This podcast is full of spoilers, so if you don't want key plot elements of the novel spoiled, skip the episode! Enjoy!

From playlist The Adam Savage Project

Video thumbnail

Chain React 2019 - Ram Narasimhan - Performance in React Native

While React Native leverages the platforms native API and user interface elements to build mobile applications, transfer of control between the various layers could sometimes come at the cost of performance. In this talk, we will look at the various tips and tricks for taking full advanta

From playlist Chain React 2019

Video thumbnail

What Is Assembly Language?

Assembly language (ASM) is not a mythical dark art, in fact it's fundamental to computers operating at all. I take a quick look at a very simple assembly language and show where it fits in.

From playlist Interesting Programming

Video thumbnail

What Missions Have Been Cancelled? The Alternative History of Space Exploration

Over the past decades, many missions have been canceled. What alternative history could we have had if these projects had gone through? Don't forget to check out Alternate History Hub: https://www.youtube.com/user/AlternateHistoryHub And Astronomy Cast: https://www.youtube.com/channel/UCU

From playlist Space Exploration

Video thumbnail

Fluent 2013: Bill Scott, "Clash of the Titans: Releasing the Kraken | NodeJS @paypal"

http://fluentconf.com How do you take a large titan like PayPal and move it from a culture of a long shelf life to a culture of rapid experimentation? You set the UI free by adding liberal doses of NodeJS, JavaScript templating & libraries, JSON, Github and Lean Startup/UX. Bill will expla

From playlist Fluent Conference 2013

Video thumbnail

Virtual Global Health: Computational Modeling and Simulation

Recorded April 29, 2013. Bruce Y. Lee, MD, MBA is Associate Professor of Medicine and Biomedical Informatics at the University of Pittsburgh and Core Faculty for the RAND-University of Pittsburgh Health Institute. At the University of Pittsburgh, he founded and directs the Public Health

From playlist Graduate Seminar in Public Health 2012-2013

Video thumbnail

The Extraordinary King of Luxury Fashion

To outsiders, luxury fashion is a curious industry where consumers seem to irrationally shell out hundreds and thousands of dollars for sneakers, handbags, wallets, or T-shirts. But take a step inside, and you’ll find the world of high fashion is more like Game of Thrones with Italian, E

From playlist Season 1

Video thumbnail

Numeric Types in Python - Socratica #Shorts

Find our programming playlists here: Python: http://bit.ly/PythonSocratica SQL: http://bit.ly/SQL_Socratica Python instructor: Ulka Simone Mohanty (@ulkam on Twitter) Written & Produced by Michael Harrison #Python #Coding #Shorts

From playlist Python Programming Tutorials (Computer Science)

Related pages

Definite assignment analysis | Pointer (computer programming) | Typestate analysis