A. Bijlsma

11 papers B 2Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2018 J jnl
Template Method test pattern.
Inf. Process. Lett.
A. Bijlsma, Harrie J. M. Passier, Harold Pootjes, Sylvia Stuurman
1998 B conf
An Application of Program Derivation Techniques to 18th-Century Mathematics.
MPC
A. Bijlsma
1998 — conf
An extension of the program derivation format.
PROCOMET
A. J. M. van Gasteren, A. Bijlsma
1996 J jnl
Point-free Substitution.
Sci. Comput. Program.
A. Bijlsma, Carel S. Scholten
1993 J jnl
Calculating with Procedure Calls.
Inf. Process. Lett.
A. Bijlsma
1993 J jnl
Quasi-Boolean Equivalence.
Inf. Process. Lett.
A. Bijlsma
1991 J jnl
Derivation of Logic Programs by Functional Methods.
Inf. Process. Lett.
A. Bijlsma
1989 J jnl
A Sharp Proof Rule for Procedures in wp Semantics.
Acta Informatica
A. Bijlsma, P. A. Matthews, J. G. Wiltink
1989 J jnl
Calculating with Pointers.
Sci. Comput. Program.
A. Bijlsma
1989 B conf
Transformational Programming and Forests.
MPC
A. Bijlsma
1986 J jnl
Equivalence of the Gries and Martin Proof Rules for Procedure Calls.
Acta Informatica
A. Bijlsma, J. G. Wiltink, P. A. Matthews