Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. eXtensible Abstract State Machines

eXtensible Abstract State Machines 5.2-8

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 3.0/5 - ‎1 ‎Suara
Download

Tujuan proyek ini adalah untuk mengembangkan bahasa pemrograman yang semantiknya didasarkan pada matematika minimal dan penting Mesin.

Riwayat versi

  • Versi 5.2-8-i86pc-linux diposting di 2003-12-10
    Beberapa perbaikan dan pembaruan
  • Versi 5.2-8-i86pc-linux diposting di 2003-12-10

Detil Program

Program Terkait

  • Exuberant Ctags Gratis

    Exuberant Ctags adalah penggantian multilanguage dari utilitas ctags Unix. Ctags menghasilkan indeks definisi kode sumber yang digunakan oleh banyak editor dan utilitas untuk secara instan menemukan definisi.

  • TechEd 2010 Schedule Tool Uji Coba Gratis

    Unduh North America TechEd 2010 Schedule dan aplikasi Twitter untuk membangun jadwal Anda dan memantau apa yang terjadi melalui tag hash Twitter yang dapat disesuaikan. Lihat semua sesi terjadwal, dan buat jadwal Anda. Ikuti

  • Laview HD Gratis

    Laview HD adalah perangkat lunak pemantauan yang dikembangkan khusus untuk iPad oleh Laview Security Inc.Pelanggan dapat melihat streaming video real time, mengontrol operasi di tablet Android. Deskripsi fungsi:1. Alamat Buku

  • SystemV Transport tO Remote Kernel Gratis

    Stork adalah linux 2.6 systemV inter proses comunication layer ekstensi. Proses bangau dapat berbagi objek IPC, seperti semaphores atau pesan yang melewati buffer, dalam klaster multi-arsitektur terdistribusi.

  • ChillEdit Gratis

    Editor teks, yang mudah-mudahan akan berkembang menjadi editor kode sumber yang lengkap, kuat, yang tidak akan mengkompilasi kode, tetapi akan mendukung penyorotan sintaks dan kesalahan sintaks untuk bahasa yang lebih umum (C

  • PyAALib-JyAALib: Asynchronous Actions Gratis

    Proyek PyAALib-JyAALib adalah implementasi Python-Java/Jython dari Asynchronous Action Framework berdasarkan Pure Object Oriented Concepts. Kerangka Kerja Paralel Besar dalam Bahasa Python - Kompatibel Penuh dengan Jython-JAV

  • Magnify Keyboard Input Uji Coba Gratis

    Perbesar bidang input teks, pindahkan kursor dan pilih teks saat menyalin, semua hanya dengan menggeser jari pada keyboard. Perbesar juga untuk memindahkan kursor dengan cepat, bahkan ke tepi layar. Gunakan kaca pembesar untu

  • Pexpect - Pure Python Expect-like module Gratis

    Pexpect adalah modul Python untuk menelurkan aplikasi anak; mengendalikan mereka; dan menanggapi pola yang diharapkan dalam output mereka. Pexpect dapat digunakan untuk mengotomatiskan aplikasi interaktif seperti ssh, ftp, pa

  • The Shadow Linux Kernel Patchset Gratis

    Shadow-sources adalah Linux Kernel Patchset yang dirancang agar stabil, termasuk perbaikan dan peningkatan performa, dan dirancang agar modular memungkinkan orang lain untuk dengan mudah menyertakan atau mengurangi patch, sam

  • ep128emu Gratis

    ep128emu adalah emulator portabel dari komputer Enterprise 64/128, ZX Spectrum 48/128, dan Amstrad CPC 464/664/6128