I agree that this site is using cookies. You can find further informations here.
X
Moura, Leonardo de
1804  results:
Search for persons X
?
1

A Web GIS Platform to Modeling, Simulate and Analyze Flood ..:

Rodrigues da Silva, Alberto ; Estima, Jacinto ; Marques, Jorge...
ISPRS International Journal of Geo-Information.  12 (2023)  7 - p. 268 , 2023
Link: https://doi.org/10.3390/..
 
?
2

Beyond Notations: Hygienic Macro Expansion for Theorem Prov..:

Ullrich, Sebastian ; de Moura, Leonardo
Logical Methods in Computer Science.  18, Issue 2 (2022)  - p. , 2022
Link: https://doi.org/10.46298..
 
?
3

'do' unchained: embracing local imperativity in a purely fu..:

Ullrich, Sebastian ; de Moura, Leonardo
Proceedings of the ACM on Programming Languages.  6 (2022)  ICFP - p. 512-539 , 2022
Link: https://doi.org/10.1145/..
 
?
4

Removal of antimicrobial resistance determinants from waste..:

, In: Emerging Contaminants in the Environment,
Moura, Leonardo ; Picão, Renata C. - p. 603-642 , 2022
Link: https://doi.org/10.1016/..
 
?
5

List of contributors:

, In: Emerging Contaminants in the Environment,
Adassooriya, Nadeesh M. ; Azcune, Germán ; Banerjee, Priyabrata... - p. xvii-xxii , 2022
Link: https://doi.org/10.1016/..
 
?
6

Perceus: garbage free reference counting with reuse:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Reinking, Alex ; Xie, Ningning ; de Moura, Leonardo. - p. 96-111 , 2021
Link: https://dl.acm.org/doi/1..
 
?
7

The Lean 4 Theorem Prover and Programming Language:

, In: Automated Deduction – CADE 28; Lecture Notes in Computer Science,
Moura, Leonardo de ; Ullrich, Sebastian - p. 625-635 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Sealing pointer-based optimizations behind pure functions:

Selsam, Daniel ; Hudon, Simon ; de Moura, Leonardo
Proceedings of the ACM on Programming Languages.  4 (2020)  ICFP - p. 1-20 , 2020
Link: https://doi.org/10.1145/..
 
?
9

Preface: Selected Extended Papers of CADE 2017:

de Moura, Leonardo
Journal of Automated Reasoning.  64 (2020)  3 - p. 511-511 , 2020
Link: https://doi.org/10.1007/..
 
?
10

Beyond Notations: Hygienic Macro Expansion for Theorem Prov..:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Ullrich, Sebastian ; de Moura, Leonardo - p. 167-182 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Sealing pointer-based optimizations behind pure functions:

Selsam, Daniel ; Hudon, Simon ; de Moura, Leonardo
Proceedings of the ACM on Programming Languages.  4 (2020)  ICFP - p. 1-20 , 2020
Link: https://dl.acm.org/doi/1..
 
?
12

Mimalloc: Free List Sharding in Action:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Leijen, Daan ; Zorn, Benjamin ; de Moura, Leonardo - p. 244-265 , 2019
Link: https://doi.org/10.1007/..
 
?
13

Programming Z3:

, In: Engineering Trustworthy Software Systems; Lecture Notes in Computer Science,
Bjørner, Nikolaj ; de Moura, Leonardo ; Nachmanson, Lev. - p. 148-201 , 2019
Link: https://doi.org/10.1007/..
 
?
14

Counting immutable beans : reference counting optimized ..:

, In: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages,
Ullrich, Sebastian ; de Moura, Leonardo - p. 1-12 , 2019
Link: https://dl.acm.org/doi/1..
 
?
15

Automated Deduction – CADE 26 

26th International Conference on Automated Deduction, Gothe...  Lecture Notes in Computer Science ; 10395;SpringerLink, Bücher;Springer eBook Collection, Computer Science
de Moura, Leonardo , 2017
Link: https://doi.org/10.1007/..
 
1-15