News flash: Barbara Liskov Wins Turing Award .
The full citation:
Barbara Liskov has led important developments in computing by creating and implementing programming languages, operating systems, and innovative systems designs that have advanced the state of the art of data abstraction, modularity, fault tolerance, persistence, and distributed computing systems.
The Venus operating system was an early example of principled operating system design. The CLU programming language was one of the earliest and most complete programming languages based...
On Understanding Data Abstractions, Revisited
One of the themes of Barbara Liskov's Turing Award lectue ("CS History 101") was that nobody has invented a better programming concept than abstract data types. William Cook wrote a paper for...
Data Representation Synthesis
I was just lucky enough to see Peter Hawkins present a particularly compelling synthesis language: data structure synthesis: We consider the problem of specifying combinations of data...
Traceable Data Types for Self-Adjusting Computation
This post is triggered by Jules asking, essentially, how could FRP support imperative structures? Part of the answer is about interface -- a command becomes an input stream of commands, which...
Post new comment