 | 2009 |
|---|
| 16 |       | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
A Heterogeneous Pushout Approach to Term-Graph Transformation.
RTA 2009: 194-208 |
| 15 | | Frédéric Prost,
Chaouki Zerrari:
Reasoning about Entanglement and Separability in Quantum Higher-Order Functions.
UC 2009: 219-235 |
| 2008 |
|---|
| 14 | | Frédéric Prost,
Chaouki Zerrari:
A logical analysis of entanglement and separability in quantum higher-order functions
CoRR abs/0801.0649: (2008) |
| 13 | | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
A Cloning Pushout Approach to Term-Graph Transformation
CoRR abs/0811.3400: (2008) |
| 2007 |
|---|
| 12 | | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
Adjunction for Garbage Collection with Application to Graph Rewriting.
RTA 2007: 122-136 |
| 11 | | Frédéric Prost:
Taming Non-compositionality Using New Binders.
UC 2007: 150-162 |
| 10 | | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
Modeling Pointer Redirection as Cyclic Term-graph Rewriting.
Electr. Notes Theor. Comput. Sci. 176(1): 65-84 (2007) |
| 2005 |
|---|
| 9 | | Nadia Brauner,
Rachid Echahed,
Gerd Finke,
Hanns Gregor,
Frédéric Prost:
Specializing Narrowing for Timetable Generation: A Case Study.
PADL 2005: 22-36 |
| 8 | | Rachid Echahed,
Frédéric Prost:
Security policy in a declarative style.
PPDP 2005: 153-163 |
| 7 | | Rachid Echahed,
Frédéric Prost:
Handling declared information leakage: extended abstract.
WITS 2005: 1-4 |
| 6 | | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
Data-Structure Rewriting
CoRR abs/cs/0503065: (2005) |
| 2003 |
|---|
| 5 | | Rachid Echahed,
Frédéric Prost,
Wendelin Serwe:
Statically assuring secrecy for dynamic concurrent processes.
PPDP 2003: 91-101 |
| 2001 |
|---|
| 4 |  | Frédéric Prost:
On the semantics of non-interference type-based analysis.
JFLA 2001: 97-112 |
| 2000 |
|---|
| 3 | | Frédéric Prost:
A Static Calculus of Dependencies for the lambda-Cube.
LICS 2000: 267-276 |
| 1999 |
|---|
| 2 | | Frédéric Prost:
A formalization of Static Analyses in System F.
CADE 1999: 252-266 |
| 1996 |
|---|
| 1 | | Ferruccio Damiani,
Frédéric Prost:
Detecting and Removing Dead-Code using Rank 2 Intersection.
TYPES 1996: 66-87 |
