cafeobj_1.5.2-2_i386.deb


Advertisement

Description

cafeobj - new generation algebraic specification and programming language

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main i386
Package name cafeobj
Package version 1.5.2
Package release 2
Package architecture i386
Package type deb
Installed size 56.69 KB
Download size 11.79 MB
Official Mirror ftp.br.debian.org
CafeOBJ is a most advanced formal specification language which
inherits many advanced features (e.g. flexible mix-fix syntax,
powerful and clear typing system with ordered sorts, parameteric
modules and views for instantiating the parameters, and module
expressions, etc.) from OBJ (or more exactly OBJ3) algebraic
specification language.
CafeOBJ is a language for writing formal (i.e. mathematical)
specifications of models for wide varieties of software and systems,
and verifying properties of them. CafeOBJ implements equational logic
by rewriting and can be used as a powerful interactive theorem proving
system. Specifiers can write proof scores also in CafeOBJ and doing
proofs by executing the proof scores.
CafeOBJ has state-of-art rigorous logical semantics based on
institutions. The CafeOBJ cube shows the structure of the various
logics underlying the combination of the various paradigms implemented
by the language. Proof scores in CafeOBJ are also based on institution
based rigorous semantics, and can be constructed using a complete set
of proof rules.

Alternatives

Package Version Architecture Repository
cafeobj_1.5.2-2_amd64.deb 1.5.2 amd64 Debian Main
cafeobj - - -

Requires

Name Value
libc6 >= 2.3.6-6~
zlib1g >= 1:1.1.4

Download

Type URL
Binary Package cafeobj_1.5.2-2_i386.deb
Source Package cafeobj

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install cafeobj deb package:
    # sudo apt-get install cafeobj

Files

Path
/usr/bin/cafeobj
/usr/lib/cafeobj-1.5/sbcl/cafeobj.sbcl
/usr/share/cafeobj-1.5/lib/2tuple.cafe
/usr/share/cafeobj-1.5/lib/3tuple.cafe
/usr/share/cafeobj-1.5/lib/4tuple.cafe
/usr/share/cafeobj-1.5/lib/base_bool.cafe
/usr/share/cafeobj-1.5/lib/bool.cafe
/usr/share/cafeobj-1.5/lib/character.cafe
/usr/share/cafeobj-1.5/lib/eql.cafe
/usr/share/cafeobj-1.5/lib/float.cafe
/usr/share/cafeobj-1.5/lib/fopl.cafe
/usr/share/cafeobj-1.5/lib/help.desc
/usr/share/cafeobj-1.5/lib/identical.cafe
/usr/share/cafeobj-1.5/lib/int.cafe
/usr/share/cafeobj-1.5/lib/metalevel.cafe
/usr/share/cafeobj-1.5/lib/nat.cafe
/usr/share/cafeobj-1.5/lib/ntruth.cafe
/usr/share/cafeobj-1.5/lib/nznat.cafe
/usr/share/cafeobj-1.5/lib/qid.cafe
/usr/share/cafeobj-1.5/lib/rat.cafe
/usr/share/cafeobj-1.5/lib/reobject.bin
/usr/share/cafeobj-1.5/lib/rwl.cafe
/usr/share/cafeobj-1.5/lib/string.cafe
/usr/share/cafeobj-1.5/lib/sys_bool.cafe
/usr/share/cafeobj-1.5/lib/truth.cafe
/usr/share/cafeobj-1.5/prelude/std.bin
/usr/share/doc/cafeobj/README.md
/usr/share/doc/cafeobj/cafe-citp.txt.gz
/usr/share/doc/cafeobj/cafeobj-logo-small.png
/usr/share/doc/cafeobj/cafeobj-logo.png
/usr/share/doc/cafeobj/cafeobj-mode.el.gz
/usr/share/doc/cafeobj/changelog.Debian.gz
/usr/share/doc/cafeobj/copyright
/usr/share/doc/cafeobj/interp.pdf.gz
/usr/share/doc/cafeobj/manual.pdf.gz
/usr/share/doc/cafeobj/pnguide.pdf.gz
/usr/share/doc/cafeobj/reference-manual.pdf.gz
/usr/share/doc/cafeobj/syntax.pdf.gz
/usr/share/doc/cafeobj/examples/atm.mod.gz
/usr/share/doc/cafeobj/examples/bag.mod
/usr/share/doc/cafeobj/examples/bank-account.mod.gz
/usr/share/doc/cafeobj/examples/blist.mod
/usr/share/doc/cafeobj/examples/bset.mod.gz
/usr/share/doc/cafeobj/examples/counter.mod
/usr/share/doc/cafeobj/examples/cws.mod.gz
/usr/share/doc/cafeobj/examples/debt-red.mod.gz
/usr/share/doc/cafeobj/examples/flag.mod
/usr/share/doc/cafeobj/examples/hss.mod
/usr/share/doc/cafeobj/examples/integer.mod
/usr/share/doc/cafeobj/examples/list.mod
/usr/share/doc/cafeobj/examples/monoid.mod.gz
/usr/share/doc/cafeobj/examples/nat-omega.mod
/usr/share/doc/cafeobj/examples/nnat-hsa.mod
/usr/share/doc/cafeobj/examples/nnat-rwl.mod
/usr/share/doc/cafeobj/examples/path.mod
/usr/share/doc/cafeobj/examples/sieve.mod
/usr/share/doc/cafeobj/examples/simple-nat.mod
/usr/share/doc/cafeobj/examples/sorting.mod.gz
/usr/share/doc/cafeobj/examples/tel.mod
/usr/share/doc/cafeobj/examples/ubuffer.mod.gz
/usr/share/doc/cafeobj/examples/watch.mod.gz
/usr/share/man/man1/cafeobj.1.gz

Changelog

2014-10-09 - Norbert Preining <preining@debian.org>
cafeobj (1.5.2-2) unstable; urgency=medium
* remove build-opts on armhf, something is broken there (FTBFS)
2014-10-08 - Norbert Preining <preining@debian.org>
cafeobj (1.5.2-1) unstable; urgency=medium
* new upstream releases
* fix building with unavailable $HOME (Closes: #764426)
* bump standards version, no changes necessary
2014-09-09 - Norbert Preining <preining@debian.org>
cafeobj (1.5.0-1) unstable; urgency=low
* first upload (Closes: #760915)

See Also

Package Description
cain-examples_1.9-8_all.deb simulations of chemical reactions
cain-solvers_1.9-8_i386.deb simulations of chemical reactions
cain_1.9-8_all.deb simulations of chemical reactions
cairo-clock_0.3.4-2_i386.deb Analog clock drawn with vector-graphics
cairo-dock-alsamixer-plug-in_3.4.0-1+b1_i386.deb Alsamixer plug-in for Cairo-dock
cairo-dock-animated-icons-plug-in_3.4.0-1+b1_i386.deb Animated icons plug-in Cairo-dock
cairo-dock-cairo-penguin-plug-in_3.4.0-1+b1_i386.deb Cairo-Penguin plug-in for Cairo-dock
cairo-dock-clipper-plug-in_3.4.0-1+b1_i386.deb Clipper plug-in for Cairo-dock
cairo-dock-clock-plug-in_3.4.0-1+b1_i386.deb Clock plug-in for Cairo-dock
cairo-dock-core_3.4.0-1_i386.deb Light eye-candy fully themable animated dock for Linux desktop
cairo-dock-dbus-plug-in-interface-mono_3.4.0-1+b1_i386.deb library of D-Bus interface for mono of Cairo-dock
cairo-dock-dbus-plug-in-interface-python_3.4.0-1_all.deb library of D-Bus interface for Python of Cairo-dock
cairo-dock-dbus-plug-in-interface-ruby_3.4.0-1_all.deb library of D-Bus interface for ruby of Cairo-dock
cairo-dock-dbus-plug-in-interface-vala_3.4.0-1+b1_i386.deb library of D-Bus interface for vala of Cairo-dock
cairo-dock-dbus-plug-in_3.4.0-1+b1_i386.deb Dbus plug-in for Cairo-dock
Advertisement
Advertisement