Gabriela Moreira, CEO of Quint at Informal Systems, is a research engineer specializing in programming languages and formal methods, with a strong focus on building tools that make complex system ...

The game's designer discusses the challenges of incorporating all the highlights of Matt Dinniman's book series.

A programming language is a set of symbols whose strings are governed by rules apt to communicate instructions to a particular machine. Such strings may be concatenated into longer code and implement ...