Profiles

Germán Puebla

Associate Professor

Verified email at fi.upm.es

Cited by 4874

Programming languages static analysis abstract interpretation optimization program transformation

Cristina Cifuentes

Vice President, Oracle

Verified email at oracle.com

Cited by 4650

Software assurance program analysis program transformation binary translation decompilation

Elvira Albert

Complutense University of Spain

Verified email at sip.ucm.es

Cited by 4559

Programming Languages Static Analysis Program Transformation Optimization Concurrency

Graham Hutton

Professor of Computer Science, University of Nottingham

Verified email at nottingham.ac.uk

Cited by 3000

Haskell Program Transformation Functional Programming Category Theory

Alberto Pettorossi

Professor of Computer Science, University of Roma Tor Vergata

Verified email at iasi.cnr.it

Cited by 2781

Program Transformation Program Verification Software Model Cheking

Maurizio Proietti

Research Scientist, CNR-IASI, Italy

Verified email at iasi.cnr.it

Cited by 2552

Constrained Horn Clauses Program Verification Logic Programming Program Transformation Business Process Modeling

Martin Ward

Reader in Software Engineering, De Montfort University

Verified email at gkc.org.uk

Cited by 2188

Program Transformation Program Slicing Software Evolution Formal Methods Reverse Engineering

Jose N. Oliveira

HASLab / INESC TEC and Universidade do Minho

Verified email at di.uminho.pt

Cited by 2065

Formal methods program transformation software engineering mathematics of program construction

Puri Arenas

Associate Professor

Verified email at sip.ucm.es

Cited by 1909

Programming Languages Static Analysis Program Transformation Optimization Concurrency

Akihiko Takano

Professor, National Institute of Informatics/ Professor, University of Tokyo

Verified email at nii.ac.jp

Cited by 1564

functional programming program transformation interactive information retrieval

1 - 10