# A. Bijlsma

According to our database

^{1}, A. Bijlsma## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1998

An extension of the program derivation format.

Proceedings of the Programming Concepts and Methods, 1998

An Application of Program Derivation Techniques to 18th-Century Mathematics.

Proceedings of the Mathematics of Program Construction, 1998

1996

Point-free Substitution.

Sci. Comput. Program., 1996

1993

Calculating with Procedure Calls.

Inf. Process. Lett., 1993

Quasi-Boolean Equivalence.

Inf. Process. Lett., 1993

1991

Derivation of Logic Programs by Functional Methods.

Inf. Process. Lett., 1991

1989

Calculating with Pointers.

Sci. Comput. Program., 1989

A Sharp Proof Rule for Procedures in wp Semantics.

Acta Inf., 1989

Transformational Programming and Forests.

Proceedings of the Mathematics of Program Construction, 1989

1986

Equivalence of the Gries and Martin Proof Rules for Procedure Calls.

Acta Inf., 1986