Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Restricting write access to globals in ACSL
- Subject: [Frama-c-discuss] Restricting write access to globals in ACSL
- From: pascal.cuoq at gmail.com (Pascal Cuoq)
- Date: Fri, 7 May 2010 16:46:33 +0200
- In-reply-to: <x2m594c1e831005070633g4d51e1a8g77f1a552db994383@mail.gmail.com>
- References: <v2z594c1e831005070148k75e706f3tbbb467aa67f1095e@mail.gmail.com> <z2vb15d09071005070512j60901143q6717c26665d21495@mail.gmail.com> <x2m594c1e831005070633g4d51e1a8g77f1a552db994383@mail.gmail.com>
>?I don't > suppose a Haskell interface is available? The entry point for the Frama-C API is src/kernel/db/mli. This file is 1800 lines long and lists other interfaces that you may also need. You'd need to solve the problem of making two garbage collectors collaborate and how to represent and type OCaml modules on the Haskell side (higher-order functors are used extensively in parts of the API). There are many languages for which it would be nice to have bindings, but being able to do this seems like one constraint too many when considering the problem we had decided to solve. Pascal
- References:
- [Frama-c-discuss] Restricting write access to globals in ACSL
- From: tomahawkins at gmail.com (Tom Hawkins)
- [Frama-c-discuss] Restricting write access to globals in ACSL
- From: pascal.cuoq at gmail.com (Pascal Cuoq)
- [Frama-c-discuss] Restricting write access to globals in ACSL
- From: tomahawkins at gmail.com (Tom Hawkins)
- [Frama-c-discuss] Restricting write access to globals in ACSL
- Prev by Date: [Frama-c-discuss] Uncaught exception
- Next by Date: [Frama-c-discuss] binaries for linux?
- Previous by thread: [Frama-c-discuss] Restricting write access to globals in ACSL
- Next by thread: [Frama-c-discuss] binaries for linux?
- Index(es):