An algebraic data type specification language and its rapid prototyping environment
ICSE '89 Proceedings of the 11th international conference on Software engineering
Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
Journal of Symbolic Computation
Software process a` la algebra: OBJ for OBJ
ICSE '90 Proceedings of the 12th international conference on Software engineering
System support for modular order-sorted horn clause specifications
ICSE '90 Proceedings of the 12th international conference on Software engineering
A logical semantics for object-oriented databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
A theory of probabilistic functional testing
ICSE '97 Proceedings of the 19th international conference on Software engineering
Optimizing term rewriting using discrimination nets with specialization
Proceedings of the 1999 ACM symposium on Applied computing
Term Rewriting in a Logic of Special Relations
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Operational Termination of Membership Equational Programs: the Order-Sorted Way
Electronic Notes in Theoretical Computer Science (ENTCS)
Termination modulo combinations of equational theories
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Order-sorted parameterization and induction
Semantics and algebraic specification
A Church-Rosser checker tool for conditional order-sorted equational Maude specifications
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Incremental checking of well-founded recursive specifications modulo axioms
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Hi-index | 0.00 |