Package: cafeobj (1.5.9-1)

[ Source: cafeobj  ]

Ny generation af algebraisk specifikation og programmeringssprog

CafeOBJ er et meget avanceret formelt specifikationssprog, som indeholder mange avancerede funktioner (f.eks. fleksibel mix-fix-syntaks, et funktionsrigt og tydeligt indtastningssystem med ordnet sortering, parameteric-moduler og visninger for instantiating af parametrene og moduludtryk etc.) fra det OBJ (eller mere præcis OBJ3) algebraiske specifikationssprog.

CafeOBJ er et sprog til formelle (d.v.s. matematiske) specifikationer af modeller for en bred vifte af programmer og systemer samt verificering af egenskaber for dem. CafeOBJ implementerer equational-logik ved at omskrive og kan bruges som et funktionsrigt og interaktive bevisføringssystem. Specfikatører kan også skrive bevisbedømmelser i CafeOBJ og udføre beviser ved at køre bevisbedømmelser.

CafeOBJ har moderne, strenge og logiske semantiker baseret på institutioner. CafeOBJ-terningen viser strukturen af ​​de forskellige logikker, der ligger under kombinationen af de forskellige paradigmer implementeret af sproget. Bevisbedømmelser i CafeOBJ er også baseret på institutionbaseret streng semantik, og kan konstrueres ved hjælp af et komplet sæt af bevisregler.

Other Packages Related to cafeobj

• dep: libc6 (>= 2.17) [arm64]

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.28) [not arm64]

• dep: zlib1g (>= 1:1.1.4)

  Komprimeringsbibliotek - kørselstid

Download cafeobj

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	12,459.6 kB	59,730.0 kB	[list of files]
arm64	12,244.9 kB	65,778.0 kB	[list of files]
armhf	11,482.8 kB	48,197.0 kB	[list of files]
i386	11,929.5 kB	40,958.0 kB	[list of files]