A. Bijlsma

Publication Activity (10 Years)

Years Active: 1986-2018
Publications (10 Years): 1

Top Topics

Template Matching

Top Venues

Inf. Process. Lett.

Publications

A. Bijlsma, Harrie J. M. Passier, Harold Pootjes, Sylvia Stuurman
Template Method test pattern. Inf. Process. Lett. 139 (2018)
A. J. M. van Gasteren, A. Bijlsma
An extension of the program derivation format. PROCOMET (1998)
A. Bijlsma
An Application of Program Derivation Techniques to 18th-Century Mathematics. MPC (1998)
A. Bijlsma, Carel S. Scholten
Point-free Substitution. Sci. Comput. Program. 27 (2) (1996)
A. Bijlsma
Calculating with Procedure Calls. Inf. Process. Lett. 46 (5) (1993)
A. Bijlsma
Quasi-Boolean Equivalence. Inf. Process. Lett. 45 (5) (1993)
A. Bijlsma
Derivation of Logic Programs by Functional Methods. Inf. Process. Lett. 39 (6) (1991)
A. Bijlsma, P. A. Matthews, J. G. Wiltink
A Sharp Proof Rule for Procedures in wp Semantics. Acta Informatica 26 (5) (1989)
A. Bijlsma
Calculating with Pointers. Sci. Comput. Program. 12 (3) (1989)
A. Bijlsma
Transformational Programming and Forests. MPC (1989)
A. Bijlsma, J. G. Wiltink, P. A. Matthews
Equivalence of the Gries and Martin Proof Rules for Procedure Calls. Acta Informatica 23 (4) (1986)