Go to home page

UvA-DARE

Digital Academic Repository

UvA-DARE

  • Search
Skip to main content
  1. Home
  2. A Framework for Debugging

A Framework for Debugging

Open Access
Authors
  • P.A. Olivier
Supervisors
  • P. Klint
Cosupervisors
  • M.G.J. van den Brand
Award date 05-12-2000
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type PhD thesis
Language English
Downloads
Thesis
Cover
Titlepage
Acknowledgements
Contents
1 Introduction
Part I Generic Debugging Technology
2 ToolBus
3 Case study: A Simulator Framework for Embedded Systems
4 Debugging Heterogeneous Distributed Applications
Part II Executing and Debugging Asf+Sdf Specifications
5 The ASF+SDF Meta-Environment
6 ATerms
7 Compiling ASF+SDF specifications
8 Debugging ASF+SDF specifications
9 Concluding remarks
A Syntax of ToolBus Scripts
B ToolBus Primitives
C ToolBus Functions
D Concrete Syntax of Aterms
E Level 2 Interface for Aterms
Bibliography
Samenvatting
Titles in the IPA Dissertation Series
Cover
Permalink to this page
Back
 
  • University library
  • Disclaimer
  • Terms of Use
  • Contact
  • About UvA-DARE
 
Copyright UvA 2026