YAS directory languages/ASL/samples/adts

GitHub

https://github.com/softlang/yas/tree/master/languages/ASL/samples/adts

---

Properties

None

---

Components

• languages/ASL/samples/adts/bag.asl (Algebraic specification)
• languages/ASL/samples/adts/bool.asl (Algebraic specification)
• languages/ASL/samples/adts/int.asl (Algebraic specification)
• languages/ASL/samples/adts/list.asl (Algebraic specification)
• languages/ASL/samples/adts/lqueue1.asl (Algebraic specification)
• languages/ASL/samples/adts/lqueue2.asl (Algebraic specification)
• languages/ASL/samples/adts/lstack.asl (Algebraic specification)
• languages/ASL/samples/adts/nat.asl (Algebraic specification)
• languages/ASL/samples/adts/nat1.asl (Algebraic specification)
• languages/ASL/samples/adts/pqueue.asl (Algebraic specification)
• languages/ASL/samples/adts/queue.asl (Algebraic specification)
• languages/ASL/samples/adts/set.asl (Algebraic specification)
• languages/ASL/samples/adts/stack.asl (Algebraic specification)

---