FULA Basics
primitives: snum, str, bool
sets: { <e1>, ..., <en> } {}
lattice elements top bot
lists: [ <e1>, ..., <en> ] [] <e>:list
tuples: ( <e1>, ..., <en> )
functions: static/dynamic f(<e>) [ -> <e>] f\[<e1>-><e2>]
Vorherige Folie
Nächste Folie
Zurück zur ersten Folie
Graphik-Version anzeigen