Back to Results
First PageMeta Content
Functional languages / OCaml / Caml / National Institute for Research in Computer Science and Control / Xavier Leroy / ML / Software engineering / Computing / Computer programming


Document Date: 2008-02-15 20:56:37

Open Document

File Size: 751,01 KB

Share Result on Facebook

Company

IBM / Oracle / Intel / Microsoft / Airbus / /

IndustryTerm

model checking technology / systems administration tools / manufacturing environment / Compiler-like technology / start-up / embedded software / in-house a lot of software / y-by-wire software / nancial products / virtualization solutions / /

OperatingSystem

Microsoft Windows / /

Person

Xavier Leroy / B.Cook / V / /

Position

Windows Driver / /

Product

A380 / A340 / /

ProgrammingLanguage

Esterel / /

ProvinceOrState

S.K. / /

Technology

functional programming / model checking technology / smart card / API / Compiler-like technology / /

SocialTag