Stories by nickpsecurity

TreeRegex: Extension to Regex's for Working on Tree-Structured Text [pdf]

Elementary Algebra by K. E. Iverson (1971) (pdf)

Design by Contract: A Missing Link in Quest for Quality Software (1998)

Social Processes and Proofs of Theorems and Programs (1979) [pdf]

Spry Language

Security of Software, Distribution Models: It's Not Just Open vs. Closed (2014)

Comparing Development Costs of Ada and C (1995) [pdf]

IELE: A Formally-Specified VM for the Blockchain (2017)

Oberon – The Overlooked Jewel [pdf]

FaCT: Flexible, Constant-Time, Programming Language [pdf]

Programming in the 1960s

Om Programming Language

Prolog-Based Reasoning Layer for Counter-Strike Agents (2012) [pdf]

Veggies – Haskell Code Generation from Scratch

Assertions Are Strongly Correlated with Test Suit Effectiveness [pdf]

Empirical Study of Correctness of Formally-Verified, Distributed Systems [pdf]

The Mercury Programming Language (slides) [pdf]

RTFM-core – Reactive, real-time, concurrency-safe IoT language [pdf]

Superoptimizer – A look at smallest program (1987) [pdf]

Rust and SPARK – Software Reliability for Everyone

1
2
3