Introducing 

Prezi AI.

Your new presentation assistant.

Refine, enhance, and tailor your content, source relevant images, and edit visuals quicker than ever before.

Loading…
Transcript

Questions

?

The Hanoi Language

Iterator

InputStream

Easy to read

Easy to learn

Static analysis

positive / negative

focus

explicit / implicit

states

Future Work

Language ideals

Typestate language

"Traits"

Hanoi

User trial

A Typestate DSL for Java

Easy to modify

Easy to write

integrated / separated

wrt. host language

Categorisation

Hanoi

Plural

  • Explicit states
  • Positive focus
  • Method oriented
  • Semi-integrated
  • Explicit states
  • Positive focus
  • State oriented
  • Separated

Tracematches

  • Implicit states
  • Negative focus
  • Separated
Learn more about creating dynamic, engaging presentations with Prezi