Specs

Specs Index

• Abstract Algebra
• ATL Specs
• Arrays
• Binary Operation
• Binary-Trees
• Bits and BitVectors
• Bounded (Data Structure) Specs
• Chars
• Containers (Bag, Seq, Set...)
• Higher-Order
• Literals
• Lists
• Maps
• Nat Extensions
• Number Systems
• Orders (incl BIN-REL, EQUIVALENCE, LINEAR, etc)
• Partial
• Primevals
• Sequences
• Sets
• Strings
• Templates

SpecWeb Index