BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: M=eacute=tayer:Daniel_Le

Facilitated 1 volumes:

ESOP 2002Ed

Contributed to:

FM 20152015
FM 20142014
SEFM 20112011
ICSE 20102010
SEFM 20102010
ESEC/FSE 19991999
LOPSTR 19991999
POPL 19971997
ESOP 19961996
FSE 19961996
PEPM 19951995
ESOP 19941994
ESOP 19941995
POPL 19941994
SAS 19941994
PLILP 19931993
WSA 19921992
LFP 19901990
FPCA 19891989
TAPSOFT, Vol.2: CCIPL 19891989

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.