Travelled to:1 × Belgium
1 × Estonia
1 × Norway
1 × Singapore
1 × South Africa
1 × Sweden
1 × Uruguay
2 × Italy
2 × United Kingdom
3 × France
3 × USA
Collaborated with:C.Hankin P.Fradet ∅ D.Butin G.L.Burn J.Giorgi S.B.Jones E.Mazza M.Potet M.Périn V.Nicolas O.Ridoux R.Caugne D.Sands J.Bringer H.Chabanne R.Lescuyer M.Maarek V.V.T.Tong N.Craipeau S.Frénot R.Hardouin
Talks about:analysi (7) program (6) type (5) architectur (4) softwar (4) strict (3) infer (3) base (3) algorithm (2) properti (2)
Person: Daniel Le Métayer
DBLP: M=eacute=tayer:Daniel_Le
Facilitated 1 volumes:
EdContributed to:
20152014
2011
20102010
1999
1999
19971996
1996
1995199419951994
1994
19931992
1990
1989
1989Wrote 20 papers:
- FM-2015-BringerCML #architecture #design #privacy #reasoning
- Privacy by Design in Practice: Reasoning about Privacy Properties of Biometric System Architectures (JB, HC, DLM, RL), pp. 90–107.
- FM-2014-ButinM #analysis
- Log Analysis for Data Protection Accountability (DB, DLM), pp. 163–178.
- SEFM-2011-Metayer #formal method
- Formal Methods as a Link between Software Code and Legal Rules (DLM), pp. 3–18.
- ICSE-2010-MetayerMTMPCFH #approach #case study #overview #re-engineering
- Liability in software engineering: overview of the LISE approach and illustration on a case study (DLM, MM, VVTT, EM, MLP, NC, SF, RH), pp. 135–144.
- SEFM-2010-MetayerMP #architecture #design
- Designing Log Architectures for Legal Evidence (DLM, EM, MLP), pp. 156–165.
- ESEC-FSE-1999-FradetMP #architecture #consistency #multi
- Consistency Checking for Multiple View Software Architectures (PF, DLM, MP), pp. 410–428.
- LOPSTR-1999-MetayerNR #recursion #testing #verification
- Verification by Testing for Recursive Program Schemes (DLM, VAN, OR), pp. 255–272.
- POPL-1997-FradetM
- Shape Types (PF, DLM), pp. 27–39.
- ESOP-1996-FradetCM #algorithm #axiom #detection #fault #pointer #static analysis
- Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm (PF, RC, DLM), pp. 125–140.
- FSE-1996-Metayer #architecture #graph grammar
- Software Architecture Styles as Graph Grammars (DLM), pp. 15–23.
- PEPM-1995-Metayer #data type #proving #recursion #source code
- Proving Properties of Programs Defined over Recursive Data Structures (DLM), pp. 88–99.
- ESOP-1994-HankinM #analysis #lazy evaluation #strict #type inference
- Lazy Type Inference for the Strictness Analysis of Lists (CH, DLM), pp. 257–271.
- ESOP-J-1994-HankinM95 #lazy evaluation #program analysis #type inference
- Lazy Type Inference and Program Analysis (CH, DLM), pp. 219–249.
- POPL-1994-HankinM #algorithm #analysis #strict #type inference
- Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis (CH, DLM), pp. 202–212.
- SAS-1994-HankinM #framework #program analysis #type system
- A Type-based Framework for Program Analysis (CH, DLM), pp. 380–394.
- PLILP-1993-BurnM #analysis #compilation #correctness #optimisation #proving #strict
- Proving the Correctness of Compiler Optimizations Based on Strictness Analysis (GLB, DLM), pp. 346–364.
- WSA-1992-HankinMS #source code
- Transformation of Gamma Programs (CH, DLM, DS), pp. 12–19.
- LFP-1990-GiorgiM #functional #implementation #parallel #programming language
- Continuation-Based Parallel Implementation of Functional Programming Languages (JFG, DLM), pp. 209–217.
- FPCA-1989-JonesM #analysis #garbage collection
- Computer-Time Garbage Collection by Sharing Analysis (SBJ, DLM), pp. 54–74.
- CCIPL-1989-FradetM #compilation #functional #λ-calculus
- Compilation of Lambda-Calculus into Functional Machine Code (PF, DLM), pp. 155–166.