grall.name - Index

1.1.1 internship

2.1.1 harvesting

2.1.2 harvesting

3.2.1 Caesar

3.2.2 Caesar

3.2.3 ROT13

3.2.4 Vigenère

3.2.5 Vigenère

3.2.6 Vigenère

3.6.1 correctness

3.7.1 coinduction

3.7.2 mechanized proofs

3.7.3 refutation of the limited principle of omniscience

3.8.1 loose

3.9.1 modular programming in Java

3.9.2 modular programming in Java (fr-2015)

1. modular programming in Java (fr-2015-0) - portal
   
2. modular programming in Java (fr-2015-1) - presentation
   
3. modular programming in Java (fr-2015-2) - interfaces and implementations
   
4. modular programming in Java (fr-2015-3) - interface hierarchy
   
5. modular programming in Java (fr-2015-A) - API
   
6. modular programming in Java (fr-2015-A) - exceptions
   
7. modular programming in Java (fr-2015-A) - implementation method
   
8. modular programming in Java (fr-2015-A) - inductive definitions
   
9. modular programming in Java (fr-2015-A) - multi-layered architecture
   
10. modular programming in Java (fr-2015-E1) - exam
    
11. modular programming in Java (fr-2015-E2) - exam
    
12. modular programming in Java (fr-2015-E3) - exam
    
13. modular programming in Java (fr-2015-E4) - exam
    
14. modular programming in Java (fr-2015-TD1) - exercises
    
15. modular programming in Java (fr-2015-TD2) - exercices
    
16. modular programming in Java (fr-2015-TD3) - exercices
    
17. modular programming in Java (fr-2015-TD4) - exercices
    
18. modular programming in Java (fr-2015-TP1) - lab
    
19. modular programming in Java (fr-2015-TP2) - lab
    
20. modular programming in Java (fr-2015-TP3.1) - lab
    
21. modular programming in Java (fr-2015-TP4) - lab
    

3.9.3 modularity and typing (fr-2016)

1. modularity (fr-2016-A1) - inductive definitions
   
2. modularity and typing (fr-2016-0) - portal
   
3. modularity and typing (fr-2016-1) - presentation
   
4. modularity and typing (fr-2016-2) - interfaces and implementations
   
5. modularity and typing (fr-2016-3) - interface hierarchy
   
6. modularity and typing (fr-2016-4) - interfaces and implementations
   
7. modularity and typing (fr-2016-6) - immutability
   
8. modularity and typing (fr-2016-7a) - factorization methods for multi-layered architectures
   
9. modularity and typing (fr-2016-7b) - factorization methods for multi-layered architectures
   
10. modularity and typing (fr-2016-8) - design patterns
    
11. modularity and typing (fr-2016-9) - logic correspondneces
    
12. modularity (fr-2016-E1) - exam
    
13. modularity and typing (fr-2016-TP1) - lab
    
14. modularity and typing (fr-2016-TP2) - lab
    
15. modularity and typing (fr-2016-TP3) - lab
    

3.9.4 modularity (fr-2017)

1. modularity and typing (fr-2017-0) - portal
   
2. modularity and typing (fr-2017-1) - presentation
   
3. modularity and typing (fr-2017-10) - abstract data types
   
4. modularity and typing (fr-2017-2) - interfaces and implementations
   
5. modularity and typing (fr-2017-3) - interface hierarchy
   
6. modularity and typing (fr-2017-4) - interfaces and implementations
   
7. modularity and typing (fr-2017-5) - implementation method
   
8. modularity and typing (fr-2017-5) - implementation method
   
9. modularity and typing (fr-2017-6) - immutability
   
10. modularity and typing (fr-2017-7) - factorization methods for multi-layered architectures
    
11. modularity and typing (fr-2017-8) - design patterns
    
12. modularity and typing (fr-2017-8a) - immutability, sharing
    
13. modularity and typing (fr-2017-8b) - interface design, iteration
    
14. modularity and typing (fr-2017-9) - logic correspondneces
    
15. modularity and typing (fr-2017-E1) - evaluation
    
16. modularity and typing (fr-2017-TD1) - Tutorial
    
17. modularity and typing (fr-2017-TD2) - factorization methods for multi-layered architectures
    
18. modularity and typing (fr-2017-TP1) - lab
    
19. modularity and typing (fr-2017-TP2) - lab
    
20. modularity and typing (fr-2017-TP3) - lab
    
21. modularity and typing(fr-2017-A1) - inductive definitions
    

3.9.5 services (fr-2016)

1. services (fr-2016-0) - portal
   
2. services (fr-2016-1) - introduction
   
3. services (fr-2016-2) - conceptual model
   
4. services (fr-2016-3) - concrete models for services
   
5. services (fr-2016-4) - data correspondence
   
6. services (fr-2016-???) - JAX-RS filters and interceptors
   
7. services (fr-2016-???) - WSDL, SOAP
   
8. services (fr-2016-a1) - installation
   
9. services (fr-2016-a2) - chemical model
   
10. services (fr-2016-ex1) - exercices
    
11. services (fr-2016-lab1) - automata
    
12. services (fr-2016-lab2) - register
    
13. services (fr-2016-lab3) - hypermedia
    
14. services (fr-2016-lab4) - distributed automata
    
15. services (fr-2016-S0) - HTTP
    
16. services (fr-2016-S1) - JAXB adapters
    

3.9.6 services (fr-2017)

1. services (fr-2017-0) - portal
   
2. services (fr-2017-1) - introduction
   
3. services (fr-2017-2) - conceptual model
   
4. services (fr-2017-3) - chemical model
   
5. services (fr-2017-4) - concrete models for services
   
6. services (fr-2017-4) - data correspondence
   
7. services (fr-2017-a1) - installation
   
8. services (fr-2017-ex1) - exercices
   
9. services (fr-2017-lab1) - automata
   
10. services (fr-2017-lab2) - register
    
11. services (fr-2017-lab3) - hyper-library
    
12. services (fr-2017-S0) - HTTP
    
13. services (fr-2017-S1) - JAXB adapters
    
14. services (fr-2017-S2) - JAX-RS filters and interceptors
    
15. services(fr-2016-3) - data models
    
16. services(fr-2016-3a) - data - XML
    
17. services(fr-2016-3b) - data - JSON
    
18. services(fr-2017-5) - data models
    
19. services(fr-2017-6a) - data - JSON
    
20. services(fr-2017-6b) - data - XML
    

3.9.7 software architecture (fr-2016)

1. software architecture (fr-2016-0) - portal
   
2. software architecture (fr-2016-1) - modularity
   
3. software architecture (fr-2016-2) - interface design
   
4. software architecture (fr-2016-2) - interface design
   
5. software architecture (fr-2016-2a) - implementation method
   
6. software architecture (fr-2016-2b) - factorization methods for multi-layered architectures
   
7. software architecture (fr-2016-3) - design patterns
   
8. software architecture (fr-2016-3a) - immutability, sharing
   
9. software architecture (fr-2016-3b) - interface design, iteration
   
10. software architecture (fr-2016-4) - abstract data types
    
11. software architecture (fr-2016-E1) - evaluation
    
12. software architecture (fr-2016-P1) - development project
    

3.9.8 software architecture (fr-2017)

1. software architecture (fr-2017-0) - portal
   
2. software architecture (fr-2017-1) - modularity
   
3. software architecture (fr-2017-2a) - implementation method
   
4. software architecture (fr-2017-2b) - factorization methods for multi-layered architectures
   
5. software architecture (fr-2017-3) - design patterns
   
6. software architecture (fr-2017-3a) - immutability, sharing
   
7. software architecture (fr-2017-3b) - interface design, iteration
   
8. software architecture (fr-2017-4) - abstract data types
   
9. software architecture (fr-2017-5) - logic correspondneces
   
10. software architecture (fr-2017-E1) - evaluation
    
11. software architecture (fr-2017-P1) - development project
    

3.10.1 website

4.8.1 Lyness

4.8.2 Mühlemann

4.9.1 doctoral

5.1.1 address protection

5.1.2 address protection

5.2.1 recursive

7.1.1 contact

7.1.2 education

7.1.3 email

7.1.4 internship

7.1.5 professional experience

7.2.1 presentation

7.2.2 presentation

7.2.3 presentation

7.2.4 program (detailed)

7.2.5 program (detailed)

7.2.6 programme (détaillé)

7.2.7 programme (détaillé)

7.2.8 project

7.2.9 project

8.1.1 obfuscation form

8.1.2 website

8.2.1 local storage

10.1.1 email obfuscation

10.1.2 online tools

10.1.3 website

11.1.1 labeled

11.3.1 classical

11.3.2 excluded middle

11.3.3 intuitionistic

11.3.4 limited principle of omniscience

12.1.1 principle

12.2.1 constructive

14.3.1 captcha

14.3.2 cipher

14.3.3 cipher

14.3.4 comparison

14.3.5 HTML and CSS

14.3.6 Javascript

14.3.7 method

14.3.8 method

14.3.9 new method

14.3.10 statistics

14.3.11 string encoding

14.4.1 programming

15.3.1 types

15.4.1 Coq

16.1.1 project

16.2.1 Bishop

16.2.2 Ciucu

16.2.3 Graf

16.2.4 Hohlfeld

17.2.1 access control

17.2.2 access control

17.2.3 confidentiality

17.2.4 confinement

17.2.5 confinement

17.2.6 information flow

17.2.7 language-based

17.3.1 big-step

17.3.2 denotational

17.3.3 natural

17.3.4 operational

17.3.5 operational

17.3.6 reduction

17.3.7 small-step

17.4.1 computing

17.6.1 encoding

17.6.2 mirror

18.1.1 Bourbaki-Witt

18.1.2 Tarski

18.4.1 soundness

18.4.2 subtyping