Package: confluence (0.10.6-7)
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:
sprog til synkroniseret reaktivt design af hardwaresystemer
Fra hjemmesiden for opstrøm:
Et Confluence-program kan oprette digital logik for en FPGA- eller ASIC-platform, eller C-kode for hårdt realtidsprogrammel.
Confluence kombinerer de komponentbaserede metodologier fra Verilog og VHDL med udtryksevnen fra funktionel programmering af højere orden.
I sammenligning med Verilog, VHDL og C, så kan systemer designet i Confluence resultere i 2-10 gange reduktion af kode, hvilket gør koden nemmere at håndtere og genbruge. Og fordi Confluence afhænger af en »korrekt-gennem-konstruktion« kompiler, så reduceres fejl - en del forebygges i det hele taget - hvilket reducerer den generelle verifikationsindsats.
Other Packages Related to confluence
|
|
|
-
- dep: libc0.1 (>= 2.7)
- Indlejret GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc0.1-udeb
-
- rec: vim-addon-manager
- Håndtering af udvidelser for redigeringsprogrammet Vim
Download confluence
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| kfreebsd-i386 | 465.3 kB | 3,114.0 kB | [list of files] |
