A. Bijlsma

According to our database1, A. Bijlsma
  • authored at least 10 papers between 1986 and 1998.
  • has a "Dijkstra number"2 of two.

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


  Loading...