BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Germany
1 × Portugal
1 × Sweden
2 × France
2 × Italy
2 × USA
Collaborated with:
R.Echahed D.Duval L.Ribeiro W.Serwe A.Corradini N.Brauner G.Finke H.Gregor
Talks about:
graph (5) transform (4) static (3) rewrit (3) system (2) heterogen (1) structur (1) functori (1) calculus (1) attribut (1)

Person: Frédéric Prost

DBLP DBLP: Prost:Fr=eacute=d=eacute=ric

Contributed to:

ICGT 20152015
FASE 20142014
ICGT 20122012
GT-VMT 20112011
RTA 20092009
RTA 20072007
PADL 20052005
PPDP 20052005
PPDP 20032003
LICS 20002000
CADE 19991999

Wrote 11 papers:

ICGT-2015-CorradiniDEPR #algebra #graph grammar #named
AGREE — Algebraic Graph Rewriting with Controlled Embedding (AC, DD, RE, FP, LR), pp. 35–51.
Transformation of Attributed Structures with Cloning (DD, RE, FP, LR), pp. 310–324.
ICGT-2012-DuvalEP #graph transformation
Graph Transformation with Focus on Incident Edges (DD, RE, FP), pp. 156–171.
GT-VMT-2011-DuvalEP #category theory #graph transformation #term rewriting
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation (DD, RE, FP).
RTA-2009-DuvalEP #approach #category theory #graph transformation
A Heterogeneous Pushout Approach to Term-Graph Transformation (DD, RE, FP), pp. 194–208.
RTA-2007-DuvalEP #garbage collection #graph grammar
Adjunction for Garbage Collection with Application to Graph Rewriting (DD, RE, FP), pp. 122–136.
PADL-2005-BraunerEFGP #case study #generative
Specializing Narrowing for Timetable Generation: A Case Study (NB, RE, GF, HG, FP), pp. 22–36.
PPDP-2005-EchahedP #declarative #policy #security
Security policy in a declarative style (RE, FP), pp. 153–163.
PPDP-2003-EchahedPS #concurrent #process
Statically assuring secrecy for dynamic concurrent processes (RE, FP, WS), pp. 91–101.
LICS-2000-Prost #calculus #dependence
A Static Calculus of Dependencies for the λ-Cube (FP), pp. 267–276.
CADE-1999-Prost #analysis #formal method #system f
A formalization of Static Analyses in System F (FP), pp. 252–266.

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.