or: Why Alg lgebraic May Be Better Than Pre/Post Intro Focus on - - PowerPoint PPT Presentation

▶

Oct 21, 2023 576 likes •655 views

Specification of of Generic APIs Is, or: Why Alg lgebraic May Be Better Than Pre/Post Intro Focus on abstract APIs, rather than dealing directly with concrete data structures. Semantics are more easily specied by relating the

SLIDE 1

Specification of

f Generic APIs

Is,

r: Why Alg

lgebraic May Be Better Than Pre/Post

SLIDE 2

Intro

Focus on abstract APIs, rather than dealing directly with concrete data

structures.

Semantics are more easily specied by relating the operations to each
ther.
The behavior of hashCode is specied entirely by its relationship to

equals

Signature
Models
Axioms

SLIDE 3

API specifications

SLIDE 4

General requirement API

SLIDE 5

API enrichment

SLIDE 6

Pre/post specification

SLIDE 7