|
|
|
cduce
programming language adapted to the manipulation of XML data
/Main/Debian/powerpc/interpreters/CDuce is a modern programming language adapted to the manipulation of XML documents.Some of CDuce peculiar features: - XML objects can be manipulated as first-class citizen values: elements, sequences, tags, characters and strings, attribute sets; sequences of XML elements can be specified by regular expressions, which also apply to characters strings; - functions themselves are first-class values, they can be manipulated, stored in data structure, returned by a function,...; - a powerful pattern matching operation can perform complex extractions from sequences of XML elements; - a rich type algebra, with recursive types and arbitrary boolean combinations (union, intersection, complement) allows precise definitions of data structures and XML types; general purpose types and types constructors are taken seriously (products, extensible records, arbitrary precision integers with interval constraints, Unicode characters); - polymorphism through a natural notion of subtyping, and overloaded functions with dynamic dispatch; - an highly-effective type-driven compilation schema
CDuce is fast, functional, type-safe, and conforms to basic standards: Unicode, XML, DTD, Namespaces are fully supported, partial support of XML Schema validation is in alpha testing (and undocumented) while queries are being implemented.
Info:
Homepage: - Package version: 0.4.1-1 Architecture: powerpc Distribution: Debian Filename: cduce_0.4.1-1_powerpc.deb Browse inside cduce_0.4.1-1_powerpc.deb:
Download cduce_0.4.1-1_powerpc.deb:
2005-10-04 ftp://ftp.linux.it/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.uni-frankfurt.de/pub/Mirrors3/debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://debian.lcs.mit.edu/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.kfki.hu/pub/linux/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.skynet.be/mirror1/debian.org/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.nz.debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2006-10-03 ftp://ftp.uni-stuttgart.de/pub/mirror/ftp.de.debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.port80.se/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.uni-koeln.de/mirrors/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.uni-kassel.de/Mirrors1/ftp.de.debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://24.215.0.24/Debian/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.rfc822.org/pub/mirror/ftp.debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.fr.debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.cl.debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://64.15.134.18/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.free.fr/.mirrors1/ftp.debian.org/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp13.freebsd.org/pub/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.ankara.edu.tr/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.fi.debian.org/pub/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://161.53.160.16/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.carnet.hr/misc/.ftp.hr.debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://193.219.61.67/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.med.univ-tours.fr/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.sac.sk/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://64.50.238.52/.1/debian/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.crihan.fr/mirrors/ftp.debian.org/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://64.50.236.52/.1/debian/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.tiscali.nl/pub/mirror/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.demon.nl/disk3/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://147.52.159.12/mirrors/linux/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.wsisiz.edu.pl/pub/Linux/Debian/ftp.debian.org/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.fh-giessen.de/pub/linux/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://77.88.19.68/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2006-10-02 ftp://ftp.uni-wuppertal.de/pub/linux/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://200.17.202.1/debian-dists/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp2.sk.freebsd.org/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.uni-augsburg.de/mirrors/debian/ftp.de.debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.lug.udel.edu/pub/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://200.17.202.16/debian-dists/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.tuke.sk/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2005-10-04 ftp://ftp.udc.es/mirror/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2006-10-03 ftp://sunsite.mff.cuni.cz/MIRRORS/ftp.debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2006-10-03 ftp://217.75.96.164/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2006-10-03 ftp://mir1.ovh.net/lv0/ftp.debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2006-10-03 ftp://ftp.nfsi.pt/pub/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2006-10-03 ftp://ftp.tudelft.nl/pub/Linux/ftp.debian.org/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2006-10-03 ftp://ftp.rhrz.uni-bonn.de/pub-koeln/mirrors/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2006-10-03 ftp://ftp.bononia.it/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2006-10-03 ftp://ftp.rz.uni-kiel.de/pub2/linux/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
2006-10-03 ftp://ftp.li.kernel.org/pub/.3/ftp.debian.org/pub/debian/pool/main/c/cduce/cduce_0.4.1-1_powerpc.deb
| Results 1 - 1 |