Este é o aplicativo para Windows chamado PLT (Teoria das Linguagens de Programação), cuja versão mais recente pode ser baixada como pltsourcecode.tar.gz. Ele pode ser executado online no provedor de hospedagem gratuita OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado PLT (Teoria de Linguagens de Programação) com o OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie qualquer emulador on-line OS OnWorks a partir deste site, mas um emulador on-line melhor do Windows.
- 5. No sistema operacional OnWorks Windows que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo e instale-o.
- 7. Baixe o Wine de seus repositórios de software de distribuição Linux. Depois de instalado, você pode clicar duas vezes no aplicativo para executá-lo com o Wine. Você também pode experimentar o PlayOnLinux, uma interface sofisticada do Wine que o ajudará a instalar programas e jogos populares do Windows.
Wine é uma forma de executar software Windows no Linux, mas sem a necessidade de Windows. Wine é uma camada de compatibilidade do Windows de código aberto que pode executar programas do Windows diretamente em qualquer desktop Linux. Essencialmente, o Wine está tentando reimplementar o suficiente do Windows do zero para que possa executar todos os aplicativos do Windows sem realmente precisar do Windows.
SCREENSHOTS
Ad
PLT (Teoria das Linguagens de Programação)
DESCRIÇÃO
Roteiro selecionado para a Teoria da Linguagem de Programação, reunindo artigos, livros e recursos seminais em uma estrutura navegável para autoestudo. Abrange tópicos fundamentais como cálculo lambda, sistemas de tipos, interpretadores, compiladores e semântica formal, além de apontar para áreas contemporâneas como sistemas de efeitos, tipos dependentes e verificação. Cada seção agrupa os materiais por tema para que os alunos possam construir sua compreensão passo a passo, em vez de se aprofundarem aleatoriamente. A lista enfatiza fontes primárias e aulas de alta qualidade, incentivando os leitores a se envolverem com abordagens rigorosas em vez de resumos superficiais. Foi projetado para servir tanto como um guia inicial para iniciantes quanto como um índice de referência para profissionais experientes, preenchendo lacunas. Ao tratar a teoria da Linguagem de Programação como um currículo acessível e progressivo, o repositório reduz a barreira para o estudo sério sem diluir o assunto.
Recursos
- Material organizado em torno de tópicos básicos de PL/teoria de tipos (módulos, parâmetros implícitos, efeitos, etc.)
- Trechos de código incorporados (por exemplo, SML / OCaml / estilo ML) vinculados a conceitos teóricos
- Indicadores bibliográficos e referências a artigos publicados (por exemplo, bibliografia de efeitos de Yallop)
- Estrutura com hiperlinks para navegação por tópicos, referências cruzadas de temas relacionados
- Site auto-hospedado / visualização da documentação
- Incentiva contribuições e expansões de tópicos por outros
Linguagem de Programação
JavaScript
Categorias
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/plt-prog-languages.mirror/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil em um de nossos sistemas operacionais gratuitos.
