E-LIB Suche - Ergebnisse für: Montagu, Benoît

1

An input–output relational domain for algebraic data types ..:

Bautista, Santiago ; Jensen, Thomas ; Montagu, Benoît
Formal Methods in System Design. , 2024

Link: https://doi.org/10.1007/..

2

Detection of Uncaught Exceptions in Functional Programs by ..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Lermusiaux, Pierre ; Montagu, Benoît - p. 391-420 , 2024

Link: https://doi.org/10.1007/..

3

Lifting Numeric Relational Domains to Algebraic Data Types:

, In: Static Analysis; Lecture Notes in Computer Science,

Bautista, Santiago ; Jensen, Thomas ; Montagu, Benoît - p. 104-134 , 2022

Link: https://doi.org/10.1007/..

4

Trace-based control-flow analysis:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Montagu, Benoît ; Jensen, Thomas - p. 482-496 , 2021

Link: https://dl.acm.org/doi/1..

5

Stable relations and abstract interpretation of higher-orde..:

Montagu, Benoît ; Jensen, Thomas
Proceedings of the ACM on Programming Languages. 4 (2020) ICFP - p. 1-30 , 2020

Link: https://doi.org/10.1145/..

6

Numeric domains meet algebraic data types:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains,

Bautista, Santiago ; Jensen, Thomas ; Montagu, Benoît - p. 12-16 , 2020

Link: https://dl.acm.org/doi/1..

7

Stable relations and abstract interpretation of higher-orde..:

Montagu, Benoît ; Jensen, Thomas
Proceedings of the ACM on Programming Languages. 4 (2020) ICFP - p. 1-30 , 2020

Link: https://dl.acm.org/doi/1..

8

Inferring frame conditions with static correlation analysis:

Andreescu, Oana F. ; Jensen, Thomas ; Lescuyer, Stéphane.
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-29 , 2019

Link: https://doi.org/10.1145/..

9

Inferring frame conditions with static correlation analysis:

Andreescu, Oana F. ; Jensen, Thomas ; Lescuyer, Stéphane.
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-29 , 2019

Link: https://dl.acm.org/doi/1..

10

Preliminary design of the SAFE platform:

, In: Proceedings of the 6th Workshop on Programming Languages and Operating Systems,

DeHon, André ; Karel, Ben ; Knight Jr., Thomas F.... - p. 1-5 , 2011

Link: https://dl.acm.org/doi/1..

11

Modeling abstract types in modules with open existential ty..:

Montagu, Benoît ; Rémy, Didier
ACM SIGPLAN Notices. 44 (2009) 1 - p. 354-365 , 2009

Link: https://doi.org/10.1145/..

12

Modeling abstract types in modules with open existential ty..:

, In: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Montagu, Benoît ; Rémy, Didier - p. 354-365 , 2009

Link: https://dl.acm.org/doi/1..

13

The Design and Implementation of an Abstract Interpreter fo..:

Montagu, Benoît
hal-04259875. , 2023

Link: https://inria.hal.scienc..

14

Lifting Numeric Relational Domains to Algebraic Data Types ..:

Bautista, Santiago ; Jensen, Thomas ; Montagu, Benoît
hal-03765357. , 2023

Link: https://inria.hal.scienc..

15

Lifting Numeric Relational Domains to Algebraic Data Types ..:

Bautista, Santiago ; Jensen, Thomas ; Montagu, Benoît
hal-03765357. , 2023

Link: https://inria.hal.scienc..