معرفی شرکت ها
ats2-lang_0.2.9-1_i386.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ATS version 2 programming language compiler
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Bionic-18.04 |
| مخزن | Ubuntu universe i386 |
| نام بسته | ats2-lang |
| نام فایل بسته | ats2-lang_0.2.9-1_i386.deb |
| نسخه بسته | 0.2.9 |
| انتشار بسته | 1 |
| معماری بسته | i386 |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://www.ats-lang.org/ |
| مجوز | - |
| حجم دانلود | 780938 |
| حجم نصب | 4653 |
ATS2 a.k.a. ATS/Postiats 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/Postiats) is written in ATS (ATS/Anairiats) 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 patsopt and the frontend patscc, as well as
the emacs mode for the language.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| ats2-lang_0.2.9-1_amd64.deb | 0.2.9 | amd64 | Ubuntu universe |
نیازمندی
| مقدار | نام |
|---|---|
| >= 2.11 | libc6 |
| - | libgmp10 |
| - | libgc-dev |
| >= 2.0.8 | emacsen-common |
نحوه نصب
نصب پکیج deb ats2-lang:
sudo apt-get install ats2-lang_0.2.9-1_i386.deb
فایل ها
| مسیرها |
|---|
| ./etc/emacs/site-start.d/50ats2-lang.el |
| ./usr/bin/patscc |
| ./usr/bin/patsopt |
| ./usr/lib/ats2-postiats-0.2.9/bin/patscc |
| ./usr/lib/ats2-postiats-0.2.9/bin/patsopt |
| ./usr/lib/ats2-postiats-0.2.9/ccomp/atslib/lib/libatslib.a |
| ./usr/lib/ats2-postiats-0.2.9/ccomp/runtime/pats_ccomp_basics.h |
| ./usr/lib/ats2-postiats-0.2.9/ccomp/runtime/pats_ccomp_config.h |
| ./usr/lib/ats2-postiats-0.2.9/ccomp/runtime/pats_ccomp_exception.h |
| ./usr/lib/ats2-postiats-0.2.9/ccomp/runtime/pats_ccomp_instrset.h |
| ./usr/lib/ats2-postiats-0.2.9/ccomp/runtime/pats_ccomp_memalloc.h |
| ./usr/lib/ats2-postiats-0.2.9/ccomp/runtime/pats_ccomp_memalloc_gcbdw.h |
| ./usr/lib/ats2-postiats-0.2.9/ccomp/runtime/pats_ccomp_memalloc_libc.h |
| ./usr/lib/ats2-postiats-0.2.9/ccomp/runtime/pats_ccomp_memalloc_user.h |
| ./usr/lib/ats2-postiats-0.2.9/ccomp/runtime/pats_ccomp_memalloc_user2.h |
| ./usr/lib/ats2-postiats-0.2.9/ccomp/runtime/pats_ccomp_memalloca.h |
| ./usr/lib/ats2-postiats-0.2.9/ccomp/runtime/pats_ccomp_runtime.c |
| ./usr/lib/ats2-postiats-0.2.9/ccomp/runtime/pats_ccomp_runtime2_dats.c |
| ./usr/lib/ats2-postiats-0.2.9/ccomp/runtime/pats_ccomp_runtime_memalloc.c |
| ./usr/lib/ats2-postiats-0.2.9/ccomp/runtime/pats_ccomp_runtime_trywith.c |
| ./usr/lib/ats2-postiats-0.2.9/ccomp/runtime/pats_ccomp_typedefs.h |
| ./usr/lib/ats2-postiats-0.2.9/libats/ATS1/DATS/funheap_binomial.dats |
| ./usr/lib/ats2-postiats-0.2.9/libats/ATS1/DATS/funheap_braun.dats |
| ./usr/lib/ats2-postiats-0.2.9/libats/ATS1/DATS/funmset_listord.dats |
| ./usr/lib/ats2-postiats-0.2.9/libats/ATS1/DATS/funset_listord.dats |
| ./usr/lib/ats2-postiats-0.2.9/libats/ATS1/DATS/linset_listord.dats |
| ./usr/lib/ats2-postiats-0.2.9/libats/ATS1/SATS/funheap_binomial.sats |
| ./usr/lib/ats2-postiats-0.2.9/libats/ATS1/SATS/funheap_braun.sats |
| ./usr/lib/ats2-postiats-0.2.9/libats/ATS1/SATS/funmset_listord.sats |
| ./usr/lib/ats2-postiats-0.2.9/libats/ATS1/SATS/funset_listord.sats |
| ./usr/lib/ats2-postiats-0.2.9/libats/ATS1/SATS/linset_listord.sats |
| ./usr/lib/ats2-postiats-0.2.9/libats/CATS/deqarray.cats |
| ./usr/lib/ats2-postiats-0.2.9/libats/CATS/dynarray.cats |
| ./usr/lib/ats2-postiats-0.2.9/libats/CATS/hashfun.cats |
| ./usr/lib/ats2-postiats-0.2.9/libats/CATS/qlist.cats |
| ./usr/lib/ats2-postiats-0.2.9/libats/CATS/stkarray.cats |
| ./usr/lib/ats2-postiats-0.2.9/libats/CATS/stringbuf.cats |
| ./usr/lib/ats2-postiats-0.2.9/libats/DATS/Number/SHARE/float.dats |
| ./usr/lib/ats2-postiats-0.2.9/libats/DATS/Number/SHARE/real.dats |
| ./usr/lib/ats2-postiats-0.2.9/libats/DATS/Number/float_double.dats |
| ./usr/lib/ats2-postiats-0.2.9/libats/DATS/Number/real_double.dats |
| ./usr/lib/ats2-postiats-0.2.9/libats/DATS/SHARE/fundeque.hats |
| ./usr/lib/ats2-postiats-0.2.9/libats/DATS/SHARE/funmap.hats |
| ./usr/lib/ats2-postiats-0.2.9/libats/DATS/SHARE/funmset.hats |
| ./usr/lib/ats2-postiats-0.2.9/libats/DATS/SHARE/funralist.hats |
| ./usr/lib/ats2-postiats-0.2.9/libats/DATS/SHARE/funset.hats |
| ./usr/lib/ats2-postiats-0.2.9/libats/DATS/SHARE/hashtbl.hats |
| ./usr/lib/ats2-postiats-0.2.9/libats/DATS/SHARE/linheap.hats |
| ./usr/lib/ats2-postiats-0.2.9/libats/DATS/SHARE/linmap.hats |
| ./usr/lib/ats2-postiats-0.2.9/libats/DATS/SHARE/linmap_node.hats |
| ... and 361 more |