François Bronsard

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
c8		Roberto Silveira Silva Filho, François Bronsard, William M. Hasling: Experiences documenting and preserving software constraints using aspects. AOSD (Companion) 2011: 7-18
	2009
c7		François Bronsard: Practical framework constraints. ESEC/SIGSOFT FSE 2009: 273-276
	1997
c6		François Bronsard, Douglas Bryan, Wojtek Kozaczynski, Edy S. Liongosari, Jim Q. Ning, Ásgeir Ólafsson, John W. Wetterstrand: Toward Software Plug-and-Play. SSR 1997: 19-29
	1996
j1		François Bronsard, Uday S. Reddy, Robert W. Hasker: Induction Using Term Orders. J. Autom. Reasoning 16(1-2): 3-37 (1996)
	1994
c5		François Bronsard, Uday S. Reddy, Robert W. Hasker: Induction using Term Orderings. CADE 1994: 102-117
	1992
c4		François Bronsard, Uday S. Reddy: Reduction Techniques for First-Order Reasoning. CTRS 1992: 242-256
c3		François Bronsard, T. K. Lakshman, Uday S. Reddy: A Framework of Directionality for Proving Termination of Logic Programs. JICSLP 1992: 321-335
	1990
c2		François Bronsard, Uday S. Reddy: Axiomatization of a Functional Logic Language. ALP 1990: 101-116
c1		François Bronsard, Uday S. Francois: Conditional Rewriting in Focus. CTRS 1990: 2-13

Coauthor Index

1	Douglas Bryan	[c6]
2	Roberto Silveira Silva Filho	[c8]
3	Uday S. Francois	[c1]
4	Robert W. Hasker	[j1] [c5]
5	William M. Hasling	[c8]
6	Wojtek Kozaczynski	[c6]
7	T. K. Lakshman	[c3]
8	Edy S. Liongosari	[c6]
9	Jim Q. Ning	[c6]
10	Uday S. Reddy	[j1] [c5] [c4] [c3] [c2]
11	John W. Wetterstrand	[c6]
12	Ásgeir Ólafsson	[c6]

Last update Sun May 19 18:26:47 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page