Constructing functional programs for grammar analysis problems
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Making abstract interpretations complete
Journal of the ACM (JACM)
An algebraic hardware/software partitioning algorithm
Journal of Computer Science and Technology
Polytypic Compact Printing and Parsing
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
A Functional Semantics of Attribute Grammars
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Polynomial Constants Are Decidable
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Precise interprocedural dependence analysis of parallel programs
Theoretical Computer Science
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Least Reflexive Points of Relations
Higher-Order and Symbolic Computation
Acta Cybernetica
Science of Computer Programming
An Algebraic Approach to Refinement with Fair Choice
Electronic Notes in Theoretical Computer Science (ENTCS)
Calculating tree navigation with symmetric relational zipper
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
From operational to denotational demonic semantics of nondeterministic while loops
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
A functional, successor list based version of warshall's algorithm with applications
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Calculating graph algorithms for dominance and shortest path
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
| Hi-index | 0.00 |