Package: cafeobj (1.6.0-2)
Links for cafeobj
Debian Resources:
Download Source Package cafeobj:
Maintainer:
External Resources:
- Homepage [cafeobj.org]
Similar packages:
linguaggio di nuova generazione per programmazione e per specificazione algebrica
CafeOBJ è un linguaggio di specificazione formale molto avanzato che eredita molte funzionalità avanzate (es. sintassi flessibile mix-fix, sistema di tipi potente e chiaro con ordinamenti prestabiliti, moduli parametrici e viste per istanziare i parametri, espressioni di modulo, ecc.) dal linguaggio di specificazione algebrica OBJ (o più esattamente da OBJ3).
CafeOBJ è un linguaggio per scrivere specifiche formali (cioè matematiche) di modelli per un'ampia varietà di software e sistemi e verificarne le proprietà. CafeOBJ implementa la logica equazionale tramite la riscrittura e può essere usato come un potente sistema interattivo per dimostrare teoremi. Gli specificatori possono scrivere gli score delle dimostrazioni anche in CafeOBJ e fare le dimostrazioni eseguendo gli score delle dimostrazioni.
CafeOBJ ha una rigorosa semantica logica all'avanguardia basata su istituzioni. Il cubo di CafeOBJ mostra la struttura delle varie logiche che sottostanno alla combinazione dei vari paradigmi implementati dal linguaggio. Anche gli score delle dimostrazioni sono basati su una rigorosa semantica logica basata su istituzioni e possono essere costruiti usando un insieme completo di regole di dimostrazione.
Other Packages Related to cafeobj
|
|
|
|
-
- dep: libc6 (>= 2.29)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: zlib1g (>= 1:1.1.4)
- libreria di compressione - runtime
Download cafeobj
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
ppc64el | 12,140.6 kB | 231,504.0 kB | [list of files] |