معرفی شرکت ها
ats-lang-anairiats_0.2.11-1build1_i386.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Legacy ATS v1 language compiler, named Anairiats
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Bionic-18.04 |
| مخزن | Ubuntu universe i386 |
| نام بسته | ats-lang-anairiats |
| نام فایل بسته | ats-lang-anairiats_0.2.11-1build1_i386.deb |
| نسخه بسته | 0.2.11 |
| انتشار بسته | 1build1 |
| معماری بسته | i386 |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://www.ats-lang.org |
| مجوز | - |
| حجم دانلود | 1080532 |
| حجم نصب | 7518 |
ATS is a programming language with a highly expressive type system
rooted in the framework Applied Type System. In particular, both
dependent types and linear types are available in ATS. The current
implementation of ATS (ATS/Anairiats) is written in ATS itself. It
can be as efficient as C/C++ and supports a variety of programming
paradigms.
.
In addition, ATS contains a component ATS/LF that supports a form of
(interactive) theorem proving, where proofs are constructed as total
functions. With this component, ATS advocates a programming style
that combines programming with theorem proving. Furthermore, this
component may be used as a logical framework to encode various
deduction systems and their (meta-)properties.
.
This package contains the compiler atsopt, the frontend atscc, and
the lexer atslex.
.
This is the final release of ATS1. Please migrate your code to ATS2/Postiats,
the compiler frontend patscc (patsopt), in the package ats2-lang. This
package is for legacy code and bootstrapping purposes.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| ats-lang-anairiats-doc_0.2.11-1build1_all.deb | 0.2.11 | all | Ubuntu universe |
| ats-lang-anairiats-examples_0.2.11-1build1_all.deb | 0.2.11 | all | Ubuntu universe |
| ats-lang-anairiats_0.2.11-1build1_amd64.deb | 0.2.11 | amd64 | Ubuntu universe |
نیازمندی
| مقدار | نام |
|---|---|
| >= 2.11 | libc6 |
| - | libgmp10 |
نحوه نصب
نصب پکیج deb ats-lang-anairiats:
sudo apt-get install ats-lang-anairiats_0.2.11-1build1_i386.deb
فایل ها
| مسیرها |
|---|
| ./usr/bin/atscc |
| ./usr/bin/atslex |
| ./usr/bin/atsopt |
| ./usr/lib/ats-anairiats-0.2.11/bin/atscc |
| ./usr/lib/ats-anairiats-0.2.11/bin/atsdoc |
| ./usr/lib/ats-anairiats-0.2.11/bin/atslex |
| ./usr/lib/ats-anairiats-0.2.11/bin/atslib |
| ./usr/lib/ats-anairiats-0.2.11/bin/atsopt |
| ./usr/lib/ats-anairiats-0.2.11/bin/atspack |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/lib/libats.a |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/lib/libats_lex.a |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/lib/libats_mt.a |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/lib/libats_smlbas.a |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/lib/libatsdoc.a |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/Makefile |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/README |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gc.o |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gc_mt.o |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1.cats |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1.sats |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_all.cats |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_autops.dats |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_chunk.dats |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_collecting.dats |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_freeitmlst.dats |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_globalentry.dats |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_main.dats |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_manops.dats |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_marking.dats |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_master.hats |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_misc.dats |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_multithread.dats |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/GCATS/gcats1_top.dats |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_basics.h |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_bootstrap.c |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_config.h |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_exception.h |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_memory.h |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_prelude.c |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_prelude_gcats.c |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_prelude_gcbdw.c |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_prelude_ngc.c |
| ./usr/lib/ats-anairiats-0.2.11/ccomp/runtime/ats_types.h |
| ./usr/lib/ats-anairiats-0.2.11/config.h |
| ./usr/lib/ats-anairiats-0.2.11/contrib/GL/CATS/gl.cats |
| ./usr/lib/ats-anairiats-0.2.11/contrib/GL/CATS/glu.cats |
| ./usr/lib/ats-anairiats-0.2.11/contrib/GL/CATS/glut.cats |
| ./usr/lib/ats-anairiats-0.2.11/contrib/GL/DATS/glut.dats |
| ./usr/lib/ats-anairiats-0.2.11/contrib/GL/Makefile |
| ./usr/lib/ats-anairiats-0.2.11/contrib/GL/SATS/gl.sats |
| ... and 610 more |