A formal approach to program inversion
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Efficient optimistic parallel simulations using reverse computation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Invited Talk: Pointwise Relational Programming
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Principles of inverse computation and the Universal resolving algorithm
The essence of computation
Theory and applications of inverting functions as folds
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Proceedings of the 35th conference on Winter simulation: driving innovation
Revisiting an automatic program inverter for Lisp
ACM SIGPLAN Notices
There and back again: arrows for invertible programming
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
Dynamic Reverse Code Generation for Backward Execution
Electronic Notes in Theoretical Computer Science (ENTCS)
Enabledness and termination in refinement algebra
Science of Computer Programming
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Refinement algebra with operators for enabledness and termination
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
| Hi-index | 0.00 |