Skip to main content navigation
parent site logoSite logo

Projects archive / Heapsort Extensions

Code:heapsortextendRun-bol2001
Title:Heapsort Extensions
Author:Jaratsri Rungrattanaubol
Date:Jan-2001
Type:model
Funding:PhD - PhD thesis
Short description:Extensions to the basic heapsort model
EM Technologies:tkeden, %eden, %scout, %donald
Keywords:simulation, education
empublic references:heapsortBeynon1998
EMpress references:122, pap-051
Web site references:
Previous locations:~wmb/public/projects/misc/HEAPSORT/HEAPSORT/HeapDemo/NEWHEAP15
Tour:README

This model builds on the basic heapsort model (heapsortBeynon1998) by Meurig Beynon. This model has 15 nodes, instead of the basic 7 nodes used in the original model. The heapsort algorithm can be animated automatically, semi-automatically, or manually through making redefinitions through the input window. There is also the option of including a formal specfication for the heapsort algorithm. [Chris R]

heapsortextendRun-bol2001 is available locally within DCS at /dcs/emp/empublic/projects/heapsortextendRun-bol2001
Download heapsortextendRun-bol2001.tar.gz
Uncompressed, heapsortextendRun-bol2001 is 102.6 Kbytes (in 21 files).
Your download will be smaller as it will be compressed.
Help on extracting the files from the download.
IsHeap1.e 4855 12:53 PM Jan 17 2001 04:05 PM Dec 15 2014
README 1523 03:46 PM Jan 05 2004 04:05 PM Dec 15 2014
README.xml 1151 05:08 PM Jan 07 2004 04:05 PM Dec 15 2014
Run.e 165 12:29 PM Jan 18 2001 04:05 PM Dec 15 2014
add.e 258 12:53 PM Jan 17 2001 04:05 PM Dec 15 2014
animate.e 446 12:53 PM Jan 17 2001 04:05 PM Dec 15 2014
buttons.s 1429 12:53 PM Jan 17 2001 04:05 PM Dec 15 2014
change13.2 915 12:53 PM Jan 17 2001 04:05 PM Dec 15 2014
change23 2539 12:53 PM Jan 17 2001 04:05 PM Dec 15 2014
exc.e 149 12:53 PM Jan 17 2001 04:05 PM Dec 15 2014
index.d 2914 12:53 PM Jan 17 2001 04:05 PM Dec 15 2014
line_in_arr.d 2318 12:53 PM Jan 17 2001 04:05 PM Dec 15 2014
myformal.e 19346 12:53 PM Jan 17 2001 04:05 PM Dec 15 2014
myformal1.e 9392 12:53 PM Jan 17 2001 04:05 PM Dec 15 2014
newformal.e 7214 12:53 PM Jan 17 2001 04:05 PM Dec 15 2014
newformal1.e 6294 12:53 PM Jan 17 2001 04:05 PM Dec 15 2014
screenshot.gif 28351 03:17 PM Jan 05 2004 04:05 PM Dec 15 2014
stage2.d 3928 12:53 PM Jan 17 2001 04:05 PM Dec 15 2014
stage2.s 573 12:53 PM Jan 17 2001 04:05 PM Dec 15 2014
stage21.e 10673 12:53 PM Jan 17 2001 04:05 PM Dec 15 2014
wmbadd.e 615 05:07 PM Jan 17 2001 04:05 PM Dec 15 2014

empublic system initially created by Ashley Ward with assistance from Chris Roe and Meurig Beynon.