FTP Search

Directory

Content Search

cmix

A program specializer for C

/Main/Debian/armel/devel/

A program specializer or, as it is also called, a "partial evaluator" takes the source code for a program or a routine and (commonly) some of its input, and tries to produce faster but equivalent code, utilizing the fact that some of the variables will have known values so that some of the program's actions can be precomputed.

This allows one to combine the maintainability of a generic parameterized source code with the speed of programs optimized for specific problem instances.

C-Mix is a program specializer that works on portable C code. You will need a C compiler for compiling intermediate programs. For advanced use you may also want a WWW browser for browsing the analysis results.

Info:

Homepage:	-
Package version:	2.0.12-6.1
Architecture:	armel
Distribution:	Debian
Filename:	cmix_2.0.12-6.1_armel.deb

Browse inside cmix_2.0.12-6.1_armel.deb:

Download cmix_2.0.12-6.1_armel.deb:

2007-03-09  ftp://ftp.wustl.edu/pub/linux/distributions/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://ftp.cs.iastate.edu/pub/linux/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2007-03-09  ftp://ftp.et-inf.fho-emden.de/pub/Mirrors/ftp.debian.org/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2007-03-09  ftp://sapi.vlsm.org/.1/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2007-03-09  ftp://64.15.134.18/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2007-03-09  ftp://161.53.160.16/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2007-03-09  ftp://ftp.int-evry.fr/mirror1/ubuntu.com/ubuntu-cd/.debian-mirror/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2007-03-09  ftp://ftp.carnet.hr/misc/.ftp.hr.debian.org/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2007-03-09  ftp://ftp.linux.pt/pub/mirrors/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2007-03-09  ftp://200.17.202.1/debian-dists/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2007-03-09  ftp://200.17.202.16/debian-dists/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2007-03-09  ftp://ftp.tuke.sk/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://mir1.ovh.net/lv0/ftp.debian.org/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://ftp.efrei.fr/pub/mirrors/linux/distributions/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://cudlug.cudenver.edu/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://ftp.cstone.net/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://zoffy.asahi-net.or.jp/pub/linux/debian/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://ftp.uk.debian.org/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://200.17.202.17/debian-dists/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-08  ftp://ftp.funet.fi/.m/mirrors3/ftp.debian.org/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-08  ftp://ftp.gnome.org/cdimage/.debian-mirror/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://128.118.2.96/pub/.mirrors/1/ftp.debian.org/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://ftp.gva.es/mirror/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-08  ftp://ftp.jp.xemacs.org/pub/linux/debian/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://ftp.cerias.purdue.edu/pub/os/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://ftp.informatik.rwth-aachen.de/pub/comp/Linux/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://ftp.filearena.net/mnt5/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-08  ftp://ftp.itb.ac.id/pub/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://ftp.ussg.iu.edu/linux/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-08  ftp://core.ring.gr.jp/pub/linux/debian/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-08  ftp://202.18.64.24/pub/linux/debian/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://194.65.100.43/pub/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://194.65.100.42/ftp2/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://204.152.191.7/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://ftp.fh-niederrhein.de/pub/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-08  ftp://ftp.aist-nara.ac.jp/0/Linux/debian/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://192.87.102.42/vol/4/linux-debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://192.87.102.43/vol/4/linux-debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-08  ftp://133.37.44.6/pub/linux/debian/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://206.167.141.10/data/pub/distro/debian/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://ftp.twaren.net/pub/Linux/Debian/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://ftp.uvigo.es/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://ftp9.freebsd.org/pub/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://ftp.task.gda.pl/vol/zfs/ftp.debian.org/pub/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://200.236.31.1/debian-dists/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://packages.ndir.dscr.i18n.2008.11.29-21.31.00.gz/debian-dists/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://wt t0_Series004_z005_ch01.tif/pub/mirrors/debian2/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://194.65.100.42/pub/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-08  ftp://ftp.lip6.fr/pub/linux/distributions/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb
2008-03-07  ftp://194.65.100.43/ftp2/debian/pool/main/c/cmix/cmix_2.0.12-6.1_armel.deb