Concepedia

Françoise Bellegarde

FB

8

Publications

239

Citations

8

H-Index

1984

Active since

Affiliations

Oregon Institute of Technology(Current)

Françoise Bellegarde is an author at Oregon Institute of Technology specializing in engineering, formal methods, and program analysis.

Top concepts

EngineeringFormal MethodsProgram AnalysisComputer ScienceFormal VerificationSoftware AnalysisAutomated ReasoningComputer EngineeringSoftware EngineeringReliability

Publications per year

1984–2004

8

Publications

8

Type-driven defunctionalization

Jeffrey Bell, Françoise Bellegarde, James Hook · 1997 · 50 citations

Functional Arguments, Engineering, Program Analysis +11

Substitution: A formal methods case study using monads and transformations

Françoise Bellegarde, James Hook · Science of Computer Programming · 1994 · 42 citations

Engineering, Program Analysis, Automated Reasoning +8

Termination by completion

Françoise Bellegarde, Pierre Lescanne · Applicable Algebra in Engineering Communication and Computing · 1990 · 41 citations

Discontinuity, Formal Methods, Incompleteness +1

Software design for reliability and reuse

Jeffrey Bell, Lisa Walton, Tong Zhou et al. · 1994 · 37 citations · Full text

Software Maintenance, Software Reliability Testing, Program Transformation Tools +24

Rewriting systems on FP expressions that reduce the number of sequences they yield

Françoise Bellegarde · 1984 · 23 citations · Full text

Mathematical Programming, Engineering, Software Engineering +18

Rows per page

1–5 of 8