My name is Rolando. I’ve used Eiffel Studio since its early beginning. I’m proficient in Eiffel and design by contract, I know the language and its outstanding characteristics including feature visibility (any, none, export to specific classes, etc), the distinction between commands and queries (no need for redundant getters), and so on.
I can implement array based heaps as required, and respecting the expected worst case complexity of heap operations. My implementation will have pre and post conditions with require and ensure clauses, and will use only EiffelBase basic data structures. The classes will be appropriately commented to ease its usage.
Let me know if you want me to help you with this task.