Voltar
Capítulo de livro Acesso aberto Revisado por pares
BIBTEX RIS

Isabelle/jEdit – A Prover IDE within the PIDE Framework

2012; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-642-31374-5_38

ISSN

1611-3349

Autores

Makarius Wenzel,

Tópico(s)

Library Science and Information Systems

Resumo

PIDE is a general framework for document-oriented prover interaction and integration, based on a bilingual architecture that combines ML and Scala [2]. The overall aim is to connect LCF-style provers like Isabelle [5, §6] (or Coq [5, §4] or HOL [5, §1]) with sophisticated front-end technology on the JVM platform, overcoming command-line interaction at last.

Referência(s)