Concepedia

Ana Bove

AB

6

Publications

178

Citations

6

H-Index

1992

Active since

Affiliations

Chalmers University of Technology(Current)

Ana Bove is an author at Chalmers University of Technology specializing in automated reasoning, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisProgramming LanguagesVerificationSoftware AnalysisSyntax

Publications per year

1992–2014

6

Publications

6

Modelling general recursion in type theory

Ana Bove, Venanzio Capretta · Mathematical Structures in Computer Science · 2005 · 84 citations

Expressive Programming Language, Engineering, Generic Programming +13

Verifying haskell programs using constructive type theory

Andreas Abel, Marcin Benke, Ana Bove et al. · 2005 · 34 citations

Engineering, Automated Reasoning, Program Analysis +15

Simple general recursion in type theory

Ana Bove · 2001 · 19 citations

Partiality and recursion in interactive theorem provers – an overview

Ana Bove, Matthieu Sozeau · Mathematical Structures in Computer Science · 2014 · 18 citations · Full text

Software Development, Engineering, Automated Reasoning +12

A confluent calculus of Macro expansion and evaluation

Ana Bove, Laura Arbilla · 1992 · 13 citations

Pade Approximant, Engineering, Functional Analysis +24

Rows per page

1–5 of 6