Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Axiomatic Language

Strange Loop Conference via YouTube

Overview

Explore a thought-provoking conference talk that delves into the concept of an "Axiomatic Language," presented by Walter Wilson at the Strange Loop Conference in 2013. Discover how this innovative approach to programming languages challenges conventional constraints by prioritizing pure specification, minimalism with extensibility, and metalanguage capabilities. Learn about the fundamental principle of defining a program's external behavior through an infinite set of symbolic expressions, mapping inputs to corresponding outputs. Gain insights into how this language aims to tell computers what to do without specifying how, and how it can potentially imitate and subsume other languages. Presented by Walter Wilson, a software developer of CAD/CAM applications at Lockheed Martin, this 22-minute talk offers a fascinating glimpse into a programming paradigm that reimagines language design by setting aside efficiency concerns.

Syllabus

"Axiomatic Language" by Walter Wilson (2013)

Taught by

Strange Loop Conference

Reviews

Start your review of Axiomatic Language

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.