Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. eXtensible Abstract State Machines

eXtensible Abstract State Machines 5.2-8

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 3.0/5 - ‎1 ‎Votos
Download

O objetivo do projeto é desenvolver uma linguagem de programação cuja semântica é baseada em um matemático mínimo e imperativo Máquina.

história da versão

  • Versão 5.2-8-i86pc-linux postado em 2003-12-10
    Várias correções e atualizações
  • Versão 5.2-8-i86pc-linux postado em 2003-12-10

Detalhes do programa

Programas Relacionados

  • Exuberant Ctags Livre

    Ctags exuberante é uma reimplementação multi-língua do utilitário Unix ctags. Ctags gera um índice de definições de código-fonte que é usado por inúmeros editores e utilitários para localizar instantaneamente as definições.

  • TechEd 2010 Schedule Tool Avaliação gratuita

    Baixe o aplicativo north america teched 2010 e twitter para construir sua agenda e monitorar o que está acontecendo através de hash tags personalizadas do Twitter. Veja todas as sessões agendadas e construa sua agenda. Siga

  • Laview HD Livre

    Laview HD é um software de monitoramento especialmente desenvolvido para o iPad pela Laview Security Inc.Os clientes podem ver operações de streaming de vídeo em tempo real, controle no tablet Android. Descrição da função:1.

  • SystemV Transport tO Remote Kernel Livre

    Stork é uma extensão de camada de comunicação interprocesso linux 2.6V. O processo cegonha pode compartilhar objetos IPC, como semáforos ou mensagens que passam buffer, em um cluster de multiarmeste distribuído.

  • ChillEdit Livre

    Um editor de texto, que esperançosamente evoluirá para um editor de código-fonte completo, poderoso, que não compilará código, mas suportará os riscos de sintaxe e sintaxe para as linguagens mais comuns (C++, C, HTML, Java, C

  • PyAALib-JyAALib: Asynchronous Actions Livre

    O projeto PyAALib-JyAALib é uma implementação Python-Java/Jython da Estrutura de Ação Assíncrono baseada em Conceitos Orientados a Objetos Puros. A estrutura paralela maciça em linguagem python - totalmente compatível com Jyt

  • Magnify Keyboard Input Avaliação gratuita

    Ampliar os campos de entrada de texto, mover o cursor e selecionar texto ao copiar, tudo isso simplesmente deslizando o dedo no teclado. Também amplie para mover rapidamente o cursor, até mesmo para as bordas da tela. Use lup

  • Pexpect - Pure Python Expect-like module Livre

    Pexpect é um módulo Python para desova de aplicações infantis; controlá-los; e respondendo aos padrões esperados em sua produção. Pexpect pode ser usado para automatizar aplicativos interativos como ssh, ftp, passwd, telnet,

  • The Shadow Linux Kernel Patchset Livre

    Shadow-sources é um Patchset do Kernel Linux que foi projetado para ser estável, inclui correções e patches de melhoria performace, e foi projetado para ser modular permitindo que outros incluam ou subtratem facilmente patche

  • ep128emu Livre

    ep128emu é um emulador portátil dos computadores Enterprise 64/128, ZX Spectrum 48/128 e Amstrad CPC 464/664/6128