Hibou57's user avatar
Hibou57's user avatar
Hibou57's user avatar
Hibou57
  • Member for 11 years, 5 months
  • Last seen more than 2 years ago
Stats
1,195
reputation
173k
reached
16
answers
22
questions
Loading…
About

Interested in the following topic and technologies:

  • Unicode
  • XML
  • Standard XML formats (e.g. DITA, XLIFF, SVG, …)
  • HTML5 as a portable UI interface platform
  • Isabelle/Isar/HOL
  • Pure Prolog
  • SML
  • Ada
  • Document authoring and management

Planning to have experiments in:

  • XML document authoring (text, not data oriented)
  • Generation of Ada and/or ISO‑C programs from Isabelle/HOL proofs
  • Program sources authoring with two‑ways traceability between sources and specifications
  • Publishing commercial applications in the Ubuntu software Centre

My active websites are:

2
gold badges
14
silver badges
25
bronze badges
13
Score
8
Posts
21
Posts %
13
Score
4
Posts
11
Posts %
11
Score
5
Posts
13
Posts %
7
Score
5
Posts
13
Posts %
3
Score
2
Posts
5
Posts %
1
Score
6
Posts
16
Posts %
Top posts
View all questions and answers