Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
168
reputation
7

Hibou57

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
answers
3
questions
~2k
people reached
  • France
  • Member for 4 years, 11 months
  • 12 profile views
  • Last seen Apr 1 at 22:25

Top tags (9)

Score 3
Posts 4
Posts % 80
Score 3
Posts 3
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (5) All Questions Answers | Votes Newest

Badges (7)

Gold

Silver

Bronze

7

Rarest