Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings | 29 | 2.57 | 1999 |
Representability and Program Construction within Fork Algebras | 2 | 0.53 | 1998 |
The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm | 10 | 1.59 | 1998 |
A calculus for program construction based on fork algebras, generic algorithms and design strategies | 0 | 0.34 | 1998 |
A Finite Axiomatization for Fork Algebras | 13 | 1.11 | 1997 |
Representability and Program Construction within Fork Algebras (Part II) | 0 | 0.34 | 1997 |
Adding Design Strategies to Fork Algebras | 0 | 0.34 | 1996 |
From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap | 5 | 1.02 | 1996 |
PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving | 2 | 0.76 | 1995 |
Comparing Two Different Approaches to Products in Abstract Relation Algebra | 10 | 1.17 | 1993 |
On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers | 10 | 1.29 | 1993 |