Concepedia

Giuseppe Castagna

GC

42

Publications

2.7K

Citations

28

H-Index

1992

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Université Paris Cité

Délégation Paris 7

Université Paris-Sud

École Normale Supérieure - PSL

Giuseppe Castagna is an author at Centre National de la Recherche Scientifique specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningProgram AnalysisSoftware AnalysisSemanticsSoftware EngineeringSemantic Web

Publications per year

1992–2022

42

Publications

42

CDuce

Véronique Benzaken, Giuseppe Castagna, Alain Frisch · 2003 · 296 citations

Rich Type System, Engineering, Functional Language Cduce +13

A theory of contracts for Web services

Giuseppe Castagna, Nils Gesbert, Luca Padovani · ACM Transactions on Programming Languages and Systems · 2009 · 201 citations · Full text

Web Service Specification, Engineering, Deduction System +20

On Binary Methods

Kim B. Bruce, Luca Cardelli, Giuseppe Castagna · Theory and Practice of Object Systems · 1995 · 197 citations

Computational Complexity Theory, Engineering, Software Systems +20

Covariance and contravariance

Giuseppe Castagna · ACM Transactions on Programming Languages and Systems · 1995 · 169 citations · Full text

Engineering, Independent Mechanisms, Automated Reasoning +14

Semantic subtyping

Alain Frisch, Giuseppe Castagna, Véronique Benzaken · Journal of the ACM · 2008 · 138 citations

Syntax, Engineering, Computational Semantics +14

Rows per page

1–5 of 42