Martens, Bern

Conjunctive partial deduction: foundations, control, algorithms, and experiments

De Schreye, D., Glück, R., Jørgensen, J., Leuschel, M., Martens, B., & Sørensen, M. H. (1999) · The Journal of Logic Programming

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 96

Controlling generalization and polyvariance in partial deduction of normal logic programs

Leuschel, M., Martens, B., & De Schreye, D. (1998) · ACM Transactions on Programming Languages and Systems

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 88

Ensuring Global Termination of Partial Deduction While Allowing Flexible Polyvariance

Martens, B., & Gallagher, J. (1995) · Logic Programming

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 69

A general criterion for avoiding infinite unfolding during partial deduction

Bruynooghe, M., De Schreye, D., & Martens, B. (1992) · New Generation Computing

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 67

Automatic finite unfolding using well-founded measures

Martens, B., & De Schreye, D. (1996) · The Journal of Logic Programming

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 37

Sound and complete partial deduction with unfolding based on well-founded measures

Martens, B., De Schreye, D., & Horváth, T. (1994) · Theoretical Computer Science

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 32

Why untyped nonground metaprogramming is not (much of) a problem

Martens, B., & de Schreye, D. (1995) · The Journal of Logic Programming

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 23

A sensible least Herbrand semantics for untyped vanilla meta-programming and its extension to a limited form of amalgamation

Schreye, D., & Martens, B. (1992) · Lecture Notes in Computer Science

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 10

Starting from scratch: experimenting with computer science in Flemish secondary education

wyffels, F., Martens, B., & Lemmens, S. (2014) · Proceedings of the 9th Workshop in Primary and Secondary Computing Education

Teaching and Learning ProgrammingGender and Technology in Education

Cited by 7