Package: confluence (0.10.6-7 and others)
Links for confluence
Debian Resources:
Download Source Package confluence:
Maintainers:
- Debian OCaml Maintainers (QA Page, Mail Archive)
- Ralf Treinen (QA Page)
- Remi Vanicat (QA Page)
- Stefano Zacchiroli (QA Page)
- Samuel Mimram (QA Page)
- Sylvain Le Gall (QA Page)
- Mike Furr (QA Page)
External Resources:
- Homepage [www.confluent.org]
Similar packages:
Sprache für synchrone, reaktive Entwicklung von Hardware-Systemen
Von der Webseite des Projekts:
Ein »Confluence«-Programm kann sowohl digitale Logik für eine FPGA- oder ASIC-Plattform als auch C-Code für Software mit harten Echtzeitanforderungen erzeugen.
Confluence kombiniert die komponentenbasierte Methodenlehre von Verilog und VHDL mit der Ausdruckskraft funktionaler Programmierung höherer Ordnung.
Die Codegröße von mit Confluence entwickelten Systemen liegt bei 10 bis 50 Prozent der Codegröße, die eine Entwicklung mit Verilog, VHDL oder C beansprucht. Daraus resultiert wiederum eine einfachere Wartung und Wiederverwendung des Quellcodes. Da Confluence auf einen Correct-by-Construction-Compiler vertraut, werden Fehler reduziert -- einige davon können gar nicht entstehen -- sodass der Gesamtaufwand für die Verifizierung verringert wird.
Other Packages Related to confluence
|
|
|
-
- dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]
- Die »Embedded GNU C Library«: Laufzeitbibliotheken
also a virtual package provided by libc0.1-udeb
-
- dep: libc6 (>= 2.7) [amd64, i386, powerpc, sparc]
- Die »Embedded GNU C Library«: Laufzeitbibliotheken
also a virtual package provided by libc6-udeb
-
- dep: ocaml-base-nox-3.11.2 [armel, ia64, mips, mipsel, s390]
- virtual package provided by ocaml-base-nox
-
- rec: vim-addon-manager
- Addon-Verwaltung für den Editor Vim
Download confluence
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 0.10.6-7 | 550.9 kB | 3,604.0 kB | [list of files] |
| armel | 0.10.6-7+b1 | 239.1 kB | 2,892.0 kB | [list of files] |
| i386 | 0.10.6-7 | 470.0 kB | 3,248.0 kB | [list of files] |
| ia64 | 0.10.6-7+b1 | 234.9 kB | 2,892.0 kB | [list of files] |
| kfreebsd-amd64 | 0.10.6-7 | 546.0 kB | 3,466.0 kB | [list of files] |
| kfreebsd-i386 | 0.10.6-7 | 465.3 kB | 3,114.0 kB | [list of files] |
| mips | 0.10.6-7 | 234.8 kB | 2,892.0 kB | [list of files] |
| mipsel | 0.10.6-7 | 234.8 kB | 2,892.0 kB | [list of files] |
| powerpc | 0.10.6-7 | 521.7 kB | 3,368.0 kB | [list of files] |
| s390 | 0.10.6-7+b1 | 234.9 kB | 2,892.0 kB | [list of files] |
| sparc | 0.10.6-7 | 515.0 kB | 3,360.0 kB | [list of files] |