Zoekresultaten

• A Declarative Foundation for Querying the History of Software Projects

  Auteur: Stevens, R., 5 mei 2017

  Begeleider: 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 2019

  Begeleider: 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 2009

  Begeleider: 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., 2010

  Begeleider: 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 2015

  Begeleider: 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., 2005

  Begeleider: 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 2019

  Begeleider: 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., 2007

  Begeleider: 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., 2010

  Begeleider: 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., 2004

  Begeleider: 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., 2019

  Begeleider: 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 2011

  Begeleider: 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., 2011

  Begeleider: 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 2013

  Begeleider: 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 2016

  Begeleider: 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 2018

  Begeleider: 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., 2011

  Begeleider: 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 2017

  Begeleider: 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 2015

  Begeleider: Nicolay, J. (Advisor), Marr, S. (Advisor), De Koster, J. (Advisor), De Roover, C. (Promotor) & D'Hondt, T. (Promotor)

  Scriptie/masterproef: Master's Thesis