Scriptie
- 19 resultaten
Zoekresultaten
-
A Declarative Foundation for Querying the History of Software Projects
Auteur: Stevens, R., 5 mei 2017Begeleider: De Roover, C. (Promotor) & Jonckers, V. (Promotor)
Scriptie/masterproef: Doctoral Thesis
Bestand -
A Distributed Logic Reactive Programming Model: and its Application to Monitoring Security
Auteur: Renaux, T., 28 mrt 2019Begeleider: De Meuter, W. (Promotor), De Koster, J. (Promotor), Jonckers, V. (Jury), Beuls, K. (Jury), Guns, T. (Jury), De Roover, C. (Jury), Erdweg, S. (Externe persoon) (Jury) & Hirschfeld, R. (Externe persoon) (Jury)
Scriptie/masterproef: Doctoral Thesis
Bestand -
A Logic Meta Programming Foundation for Example-Driven Pattern Detection in Object-Oriented Programs
Auteur: De Roover, C., De Meuter, W., Brichau, J., Lämmel, R., Godfrey, M., Vermeir, D., Jonckers, V. & D'Hondt, T., 28 aug 2009Begeleider: De Meuter, W. (Promotor), Vermeir, D. (Jury), Jonckers, V. (Jury), D'Hondt, T. (Jury), Lämmel, R. (Externe persoon) (Jury), Godfrey, M. (Externe persoon) (Jury) & Brichau, J. (Externe persoon) (Co-promotor)
Scriptie/masterproef: Doctoral Thesis
-
Automatic Parallelization of Scheme Programs using Static Analysis
Auteur: Nicolay, J., D'Hondt, T. & De Roover, C., 2010Begeleider: D'Hondt, T. (Promotor) & De Roover, C. (Advisor)
Scriptie/masterproef: Master's Thesis
-
Blame Prediction: Early detection of type errors in dynamically typed programming languages
Auteur: Harnie, D., 11 sep 2015Begeleider: De Meuter, W. (Promotor), Scholliers, C. (Co-promotor), De Roover, C. (Jury), Nowe, A. (Jury), Dooms, A. (Jury), Jonckers, V. (Jury), Schrijvers, T. (Externe persoon) (Jury) & Noye, J. (Externe persoon) (Jury)
Scriptie/masterproef: Doctoral Thesis
Bestand -
Een Declaratief Metaprogrammeer Platform voor Domein-specifieke Run-time Verificatie van Imperatieve Programma's
Auteur: Gybels, K., D'Hondt, T., De Roover, C. & Michiels, I., 2005Begeleider: D'Hondt, T. (Promotor), De Roover, C. (Advisor) & Michiels, I. (Advisor)
Scriptie/masterproef: Master's Thesis
-
Exploring Static Inter-Procedural API Misuse Detection Using Graph Inlining
Auteur: Opdebeeck, R. D., De Roover, C. & Velazquez Rodriguez, C. E., 9 sep 2019Begeleider: De Roover, C. (Promotor) & Velazquez Rodriguez, C. E. (Advisor)
Scriptie/masterproef: Master's Thesis
-
Fuzzy Intensional Views
Auteur: Mollemans, K., D'Hondt, T., Kellens, A. & De Roover, C., 2007Begeleider: D'Hondt, T. (Promotor), Kellens, A. (Advisor) & De Roover, C. (Advisor)
Scriptie/masterproef: Master's Thesis
-
Implementing Concurrency Abstractions for Programming Multi-Core Embedded Systems in Scheme
Auteur: Vandamme, R., De Meuter, W., De Roover, C. & Scholliers, C., 2010Begeleider: De Meuter, W. (Promotor), De Roover, C. (Advisor) & Scholliers, C. (Advisor)
Scriptie/masterproef: Master's Thesis
-
Incorporating Dynamic Analysis and Approximate Reasoning in Declarative Meta-Programming to Support Software Re-engineering
Auteur: De Roover, C., D'Hondt, T., Jonckers, V., Tourwe, T. & Wuyts, R., 2004Begeleider: D'Hondt, T. (Promotor), Jonckers, V. (Jury), Tourwe, T. (Jury) & Wuyts, R. (Jury)
Scriptie/masterproef: Master's Thesis
-
Incremental Thread-Modular Static Analysis for Concurrent Programs with Futures and Atoms
Auteur: Van Der Plas, J., 2019Begeleider: De Roover, C. (Promotor) & Stiévenart, Q. (Advisor)
Scriptie/masterproef: Master's Thesis
-
Language Support for Programming Interactions among Wireless Sensor Network Nodes
Auteur: Amerijckx, W., De Meuter, W., Van Cutsem, T., Nowe, A., Steenhaut, K., Scholliers, C. & De Roover, C., 8 jul 2011Begeleider: De Meuter, W. (Promotor), Van Cutsem, T. (Jury), Nowe, A. (Jury), Steenhaut, K. (Jury), Scholliers, C. (Advisor) & De Roover, C. (Advisor)
Scriptie/masterproef: Master's Thesis
-
Language Support for Programming Interactions among Wireless Sensor Network Nodes
Auteur: Amerijckx, W., De Meuter, W., De Roover, C. & Scholliers, C., 2011Begeleider: De Meuter, W. (Promotor), De Roover, C. (Advisor) & Scholliers, C. (Advisor)
Scriptie/masterproef: Master's Thesis
-
Object-Oriented Reactive Programming: A Reflective Approach
Auteur: Van De Water, S., De Meuter, W., De Roover, C., D'Hondt, E., De Boer, B. & Pinte, K., 1 jul 2013Begeleider: De Meuter, W. (Promotor), De Roover, C. (Jury), D'Hondt, E. (Jury), De Boer, B. (Jury) & Pinte, K. (Advisor)
Scriptie/masterproef: Master's Thesis
-
Purity Analysis for Higher-Order Imperative Languages: An Abstract Machine Approach
Auteur: Nicolay, J., 30 jun 2016Begeleider: De Meuter, W. (Promotor) & De Roover, C. (Promotor)
Scriptie/masterproef: Doctoral Thesis
-
Scalable Designs for Abstract Interpretation of Concurrent Programs: Application to Actors and Shared-Memory Multi-Threading
Auteur: Stiévenart, Q., 25 mei 2018Begeleider: De Roover, C. (Promotor) & De Meuter, W. (Promotor)
Scriptie/masterproef: Doctoral Thesis
Bestand -
Source Code Archeology using Logic Program Queries across Version Repositories
Auteur: Stevens, R., De Meuter, W., De Roover, C. & Kellens, A., 2011Begeleider: De Meuter, W. (Promotor), De Roover, C. (Advisor) & Kellens, A. (Advisor)
Scriptie/masterproef: Master's Thesis
-
STATIC VERIFICATION OF DYNAMIC SECURITY POLICIES
Auteur: Horemans, D. & Scull Pupo, A. L., 30 jun 2017Begeleider: De Roover, C. (Promotor), Gonzalez Boix, E. (Promotor), Nicolay, J. (Advisor) & Scull Pupo, A. L. (Advisor)
Scriptie/masterproef: Master's Thesis
-
The Essence of Meta-Tracing JIT Compilers
Auteur: Vandercammen, M., 29 jun 2015Begeleider: Nicolay, J. (Advisor), Marr, S. (Advisor), De Koster, J. (Advisor), De Roover, C. (Promotor) & D'Hondt, T. (Promotor)
Scriptie/masterproef: Master's Thesis