Programming Systems Lab é um programa de pesquisas sobre todos os aspectos de linguagens de programação de alto nível e sistemas de fornecimento de concorrentes e computação simbólica, tais como, pesquisa em lógica funcional e programação restrita, bem como na dedução automática.[1]
Um esforço anterior foi o desenvolvimento de Oz Mozart e sua implementação, que combinam com a programação concorrente e distribuída com base na inferência lógica de restrição, e suas aplicações para variados domínios, tais como horários e tempo de entrega, colocação e configuração, linguagem natural e representação de conhecimentos, Pluri - Agente de sistemas sofisticados e ferramentas colaborativas.[2]
Atualmente, esta instituição desenvolve projetos em uma nova linguagem de programação Alice, sobre a programação restrita biblioteca Gecode, e na base de tratamento de restrições em linguagem natural.[2]
Referências
- ↑ www.researchgate.net. «Open Programming Services for Virtual Machines: The Design of Mozart and SEAM». Consultado em 1 de junho de 2006
- ↑ 2,0 2,1 www.ps.uni-saarland.de. «Software developed by the Programming Systems Lab». Consultado em 15 de novembro de 2017
" class="attachment-atbs-s-4_3 size-atbs-s-4_3 wp-post-image" alt="O que estudar para o enem 2023">
" class="attachment-atbs-s-4_3 size-atbs-s-4_3 wp-post-image" alt="Qual melhor curso para fazer em 2023">
" class="attachment-atbs-s-4_3 size-atbs-s-4_3 wp-post-image" alt="Enem: Conteúdos E Aulas On-Line São Opção Para Os Estudantes">
" class="attachment-atbs-s-4_3 size-atbs-s-4_3 wp-post-image" alt="Como Fazer Uma Carta De Apresentação">
" class="attachment-atbs-s-4_3 size-atbs-s-4_3 wp-post-image" alt="Como Escrever Uma Boa Redação">
" class="attachment-atbs-s-4_3 size-atbs-s-4_3 wp-post-image" alt="Concurso INSS edital 2022 publicado">
