skip to main content
AdaCore AdaCore
  • Products
    • Overview
    • GNAT Pro
      • Overview
      • Assurance
      • Enterprise
      • Comparison
      • Toolsuite
    • GNAT Dynamic Analysis Suite
      • GNATcoverage
      • GNATtest
      • GNATfuzz
    • GNAT Static Analysis Suite
      • CodePeer
      • GNATcheck
      • GNATmetric
    • SPARK Pro
      • Overview
      • Demos
      • Use Cases
    • QGen
      • Overview
      • Demos
      • Debugger
      • FAQ
    • Ferrocene
    • Pricing
    • Terms and Conditions
    • Languages
  • Services
    • Overview
    • Certification & Qualification
    • Mentorship
    • Training
    • Consulting
  • Industries
    • Overview
    • Domains
      • Avionics
      • ATM
      • Space
      • Rail
      • Automotive
      • Defense
      • Security
      • Medical
    • Projects
    • Standards
      • DO-178
      • ESARR
      • CAP670-SWO1
      • CWE
      • EN 50128
      • FACE
      • ISO 26262
      • IEC 61508
  • Company
    • Overview
    • About AdaCore
    • Press Releases
    • Events
    • Executive Team
    • Careers
    • Our Customers
    • Partners
    • Contact Us
    • Legal
    • Privacy Policy
  • Resources
    • Overview
    • Books
    • Papers
    • Articles
    • AdaCore Blog
    • Documentation
    • Videos
    • Dev Log
    • Ada Gems
    • Newsletter
    • Learn.adacore.com
  • Community
    • Overview
    • Academia
      • Overview
      • Projects
      • Universities
      • Register
      • Login
    • About Ada
    • About SPARK
    • Contact
  • Support

Login to GNAT Tracker

Forgot your password?
GT Login Request Pricing
Resources
Overview Books Papers Articles Documentation Videos Dev Log Ada Gems Newsletter AdaCore Blog

GtkAda: Design and Implementation of a High Level Binding in Ada

The purpose of this paper is to describe the design and implementation choices that were made during the development of an Ada binding to the popular Gtk+ graphical toolkit.

GtkAda: Design and Implementation of a High Level Binding in Ada
Download 456.186 KB pdf

Learn Ada Today

Visit our interactive platform designed to teach the Ada and SPARK languages. »

Request Pricing

Help us understand your development needs and request pricing or an evaluation »

  • Products
  • GNAT Pro
  • GNAT Dynamic Analysis Suite
  • GNAT Static Analysis Suite
  • SPARK Pro
  • QGen
  • Ferrocene
  • Services
  • Support
  • Industries
  • Automotive
  • Avionics
  • Rail
  • Air Traffic
  • Space
  • Defense
  • Security
  • Resources
  • Books
  • Tech Papers
  • Documentation
  • Videos
  • Devlog
  • Company
  • About AdaCore
  • Careers
  • Contact
  • Customer Support
  • Login to GNAT Tracker
  • Expert Support
  • Contact Us
  • Pricing
  • News
  • Press Releases
  • Articles
  • Events
  • Inside AdaCore
  • Community
  • Getting Started
  • About Ada
  • About SPARK
  • Academia
  • Overview
  • Projects
  • Universities
  • GAP Login
  • Other AdaCore Sites
  • The AdaCore Blog
  • Learn.adacore.com
  • Make with Ada
Twitter LinkedIn YouTube GitHub RSS
Copyright © 2023 AdaCore. All rights reserved.   Legal   |  Privacy Policy   |  Code of Conduct