פרופילים

Elvira Albert

Complutense University of Spain

כתובת אימייל מאומתת בדומיין sip.ucm.es

צוטט על ידי 5074

Programming Languages Static Analysis Program Transformation Optimization Concurrency

Germán Puebla

Associate Professor

כתובת אימייל מאומתת בדומיין fi.upm.es

צוטט על ידי 4859

Programming languages static analysis abstract interpretation optimization program transformation

Cristina Cifuentes

Vice President, Oracle

כתובת אימייל מאומתת בדומיין oracle.com

צוטט על ידי 4589

Software assurance program analysis program transformation binary translation decompilation

Graham Hutton

Professor of Computer Science, University of Nottingham

כתובת אימייל מאומתת בדומיין nottingham.ac.uk

צוטט על ידי 2984

Haskell Program Transformation Functional Programming Category Theory

Alberto Pettorossi

Professor of Computer Science, University of Roma Tor Vergata

כתובת אימייל מאומתת בדומיין iasi.cnr.it

צוטט על ידי 2772

Program Transformation Program Verification Software Model Cheking

Maurizio Proietti

Research Scientist, CNR-IASI, Italy

כתובת אימייל מאומתת בדומיין iasi.cnr.it

צוטט על ידי 2549

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

Martin Ward

Reader in Software Engineering, De Montfort University

כתובת אימייל מאומתת בדומיין gkc.org.uk

צוטט על ידי 2187

Program Transformation Program Slicing Software Evolution Formal Methods Reverse Engineering

Puri Arenas

Associate Professor

כתובת אימייל מאומתת בדומיין sip.ucm.es

צוטט על ידי 1909

Programming Languages Static Analysis Program Transformation Optimization Concurrency

Jose N. Oliveira

HASLab / INESC TEC and Universidade do Minho

כתובת אימייל מאומתת בדומיין di.uminho.pt

צוטט על ידי 1873

Formal methods program transformation software engineering mathematics of program construction

Akihiko Takano

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

כתובת אימייל מאומתת בדומיין nii.ac.jp

צוטט על ידי 1587

functional programming program transformation interactive information retrieval

1 - 10