| 2008 |
|---|
| 14 | EE | Frédéric Prost,
C. Zerrari:
A logical analysis of entanglement and separability in quantum higher-order functions
CoRR abs/0801.0649: (2008) |
| 13 | EE | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
A Cloning Pushout Approach to Term-Graph Transformation
CoRR abs/0811.3400: (2008) |
| 2007 |
|---|
| 12 | EE | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
Adjunction for Garbage Collection with Application to Graph Rewriting.
RTA 2007: 122-136 |
| 11 | EE | Frédéric Prost:
Taming Non-compositionality Using New Binders.
UC 2007: 150-162 |
| 10 | EE | 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 | EE | 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 | EE | Rachid Echahed,
Frédéric Prost:
Security policy in a declarative style.
PPDP 2005: 153-163 |
| 7 | EE | Rachid Echahed,
Frédéric Prost:
Handling declared information leakage: extended abstract.
WITS 2005: 1-4 |
| 6 | EE | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
Data-Structure Rewriting
CoRR abs/cs/0503065: (2005) |
| 2003 |
|---|
| 5 | EE | 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 | EE | Frédéric Prost:
A Static Calculus of Dependencies for the lambda-Cube.
LICS 2000: 267-276 |
| 1999 |
|---|
| 2 | EE | 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 |
