Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Gerda Janssens

Variable Compression in ProbLog

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Verification of Source Code Transformations by Program Equivalence Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Collecting Potential Optimisations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Towards Region-Based Memory Management for Mercury Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Practical Dynamic Single Assignment Transformation

ACM Transactions on Design Automation of Electronic Systems
Computer Science ApplicationsElectronic EngineeringComputer GraphicsElectricalComputer-Aided Design
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy