Programming Systems Lab
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
- ↑ a b www.ps.uni-saarland.de. «Software developed by the Programming Systems Lab». Consultado em 15 de novembro de 2017
