François Bronsard

According to our database, François Bronsard authored at least 10 papers between 1990 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Experiences documenting and preserving software constraints using aspects.

Roberto Silveira Silva Filho, François Bronsard, William M. Hasling

Proceedings of the Companion Volume of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010

Improving Global Development Using Agile.

Alberto Avritzer, François Bronsard, Gilberto Matos

Proceedings of the Agility Across Time and Space, 2010

2009

Practical framework constraints.

François Bronsard

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

1997

Toward Software Plug-and-Play.

François Bronsard, Douglas Bryan, Wojtek Kozaczynski, Edy S. Liongosari, Jim Q. Ning, Ásgeir Ólafsson, John W. Wetterstrand

Proceedings of the 1997 ACM SIGSOFT Symposium on Symposium on Software Reusability, 1997

1996

Induction Using Term Orders.

François Bronsard, Uday S. Reddy, Robert W. Hasker

J. Autom. Reason., 1996

1994

Induction using Term Orderings.

François Bronsard, Uday S. Reddy, Robert W. Hasker

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1992

A Framework of Directionality for Proving Termination of Logic Programs.

François Bronsard, T. K. Lakshman, Uday S. Reddy

Proceedings of the Logic Programming, 1992

Reduction Techniques for First-Order Reasoning.

François Bronsard, Uday S. Reddy

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1990

Conditional Rewriting in Focus.

François Bronsard, Uday S. Francois

Proceedings of the Conditional and Typed Rewriting Systems, 1990

Axiomatization of a Functional Logic Language.

François Bronsard, Uday S. Reddy

Proceedings of the Algebraic and Logic Programming, 1990