Open Access
| Issue |
EPJ Web of Conferences
Volume 68, 2014
ICASCE 2013 – International Conference on Advances Science and Contemporary Engineering
|
|
|---|---|---|
| Article Number | 00016 | |
| Number of page(s) | 5 | |
| DOI | https://doi.org/10.1051/epjconf/20146800016 | |
| Published online | 28 March 2014 | |
- L. C. Paulson, Logic and Computation: Interactive proof with Cambridge LCF, Cambridge University Press (1987) [CrossRef] [Google Scholar]
- Y. Bertot and P. Castéran, Interactive Theorem Proving and Program Development Coq’Art: The Calculus of Inductive Constructions, Springer, 2004. [CrossRef] [Google Scholar]
- M. J. C. Gordon and T. F. Melham (editors), Introduction to HOL: A theorem proving environment for higher order logic, Cambridge University Press (1993) [Google Scholar]
- L. C. Paulson, Isabelle: A Generic Theorem Prover, Lecture Notes in Computer Science, Vol. 828, Springer-Verlag (1994) [Google Scholar]
- M. Kaufmann, P. Manolios, J. S. Moore, Computer-Aided Reasoning: An Approach, Kluwer Academic (2000) [Google Scholar]
- D. M. Russinoff, A Mechanically Checked Proof of Correctness of the AMD K5 Floating Point Square Root Microcode, Formal Methods in System Design, Vol. 14, Issue 1, pp 75—125, Kluwer Academic (1999) [CrossRef] [Google Scholar]
- PC2 home page,http://www.ecs.csus.edu/pc2/ (2013) [Google Scholar]
- Google Code Jam Home Page, https://code.google.com/codejam (2013) [Google Scholar]
- S. Nishizaki, Programs with Continuations and Linear Logic, Science of Computer Programming, Vol. 21, No. 2, pp. 165—190, Elsevier (1994) [CrossRef] [Google Scholar]
- S. Nishizaki, A Polymorphic Environment Calculus and Its Type-Inference Algorithm, Higher-Order and Symbolic Computation, Vol. 13, No. 3, pp 239—278, Kluwer (2000). [CrossRef] [Google Scholar]
- T. Sasajima and S. Nishizaki, Blog-based Distributed Computation, Proceedings of ICICA2012, Lecture Notes in Computer Science, Vol. 7273, pp. 461–467, Springer (2012) [CrossRef] [Google Scholar]
- T. Mizuno and S. Nishizaki, Analyzing Systems Dependent on Execution Speed with Model Checker, Proceedings of ICASCE 2012, Procedia Engineering, Vol. 50, pp. 544—554, Elsevier (2012) [Google Scholar]
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.