Techly NewsGet the app

Get the latest tech news

The Symbolics Ivory Design and Verification Strategy (1987)


Originally scanned by Jörg Preisendörfer.This paper describes the design and verification strategies used to created a third generation symbolic processor...

Get the Android app

Or read this on Hacker News

Read more on:

Photo of Design

Design

Photo of Verification

Verification

Photo of strategy

strategy

Related news:

News photo

There’s a Stranger Things Polly Pocket set, and its design is really clever

News photo

Sony accidentally confirms the PS5 Pro's design in new image

News photo

The new "Oak" Apple Logo design at soon to open Apple Store in Stockholm, Sweden is beautiful! Design: Henrietta Nyvang

OpenAI previews its new Strawberry model »