Pervasive parallelism in highly-trustable interactive theorem proving systems

Authors:
Bruno Barras;Lourdes Del Carmen González Huesca;Hugo Herbelin;Yann Régis-Gianas;Enrico Tassi;Makarius Wenzel;Burkhart Wolff
Affiliations:
INRIA, Laboratoire d'Informatique de l'Ecole Polytechnique;INRIA, Univ. Paris Diderot, Paris, France;INRIA, Univ. Paris Diderot, Paris, France;INRIA, Univ. Paris Diderot, Paris, France;INRIA, Laboratoire d'Informatique de l'Ecole Polytechnique;Univ. Paris-Sud, Laboratoire LRI, Orsay, France and CNRS, Orsay, France;Univ. Paris-Sud, Laboratoire LRI, Orsay, France and CNRS, Orsay, France
Venue:
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Year:
2013

A concurrent, generational garbage collector for a multithreaded implementation of ML

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Adaptive functional programming

ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient parallel programming in Poly/ML and Isabelle/ML

Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
The Seventeen Provers of the World

The Seventeen Provers of the World
Isabelle/jEdit: a prover IDE within the PIDE framework

CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics

Hi-index	0.00