Reasoning about static and dynamic properties in alloy: A purely relational approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generic programming and high-performance libraries
International Journal of Parallel Programming - Special issue: The next generation software program
Computers, Justification, and Mathematical Knowledge
Minds and Machines
Proceedings of the 2008 ACM symposium on Applied computing
An integrated proof language for imperative programs
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Toward Aligning Computer Programming with Clear Thinking via the Reason Programming Language
Proceedings of the 2008 conference on Current Issues in Computing and Philosophy
Termination checking without using an ordering relation
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses
Electronic Notes in Theoretical Computer Science (ENTCS)
Deductive Runtime Certification
Electronic Notes in Theoretical Computer Science (ENTCS)
A fold/unfold transformation framework for rewrite theories extended to CCT
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Metareasoning for multi-agent epistemic logics
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Hi-index | 0.00 |