Titre:ocamlpro – the leading company in ocaml development
La description :toggle navigation skip to content products ocaml memory profiler ocaml for windows alt-ergo, smt solver services application development research & development training & courses porting ocaml...
Classement Alexa Global: # 1,366,141
Server:Apache...
X-Powered-By:PHP/5.6.36
L'adresse IP principale: 94.23.211.154,Votre serveur France,Roubaix ISP:OVH SAS TLD:com Code postal:fr
Ce rapport est mis à jour en 13-Jun-2018
Created Date: | 2009-09-30 |
Changed Date: | 2016-08-30 |
Geo IP vous fournit comme la latitude, la longitude et l'ISP (Internet Service Provider) etc. informations. Notre service GeoIP a trouvé l'hôte ocamlpro.com.Actuellement, hébergé dans France et son fournisseur de services est OVH SAS .
Latitude: | 50.69421005249 |
Longitude: | 3.1745600700378 |
Pays: | France (fr) |
Ville: | Roubaix |
Région: | Nord-Pas-de-Calais |
ISP: | OVH SAS |
domaine | Titre |
---|---|
ocamlpro.com | ocamlpro – the leading company in ocaml development |
proteogenix-antibody.com | proteogenix – a leading antibody production company |
compubase.net | compubase: the leading ict channel intelligence company |
perenco.com | perenco - oil and gas | a leading independent exploration and production company |
perenco-drc.com | perenco - oil and gas | a leading independent exploration and production company |
utradesolutions.com | utrade - leading trading technology products company |
perenco-careers.com | perenco careers - join a leading independent oil and gas company |
400dollarwebsite.com | 400 dollar website - a leading web designing and development company |
anabolicgenes.com | anabolicgenes - world leading fitness dna testing company -for muscle building, |
foraco.com | foraco — world-leading drilling services company offering a unique combination o |
mastercard.com | mastercard - global leading company in payment solutions offering credit, debit, |
ocamlcore.org | ocaml – ocaml |
vopak.fr | royal vopak - world’s leading independent tank storage company. | vopak.com |
data.com | accurate business information and company profiles from leading business data - |
metaldeploye.com | metal deploye®, leading expanded metal company, wire netting, perforated plate. |
Les informations d'en-tête HTTP font partie du protocole HTTP que le navigateur d'un utilisateur envoie à appelé Apache contenant les détails de ce que le navigateur veut et acceptera de nouveau du serveur Web.
X-Powered-By: | PHP/5.6.36 |
Transfer-Encoding: | chunked |
Set-Cookie: | mediaplanBAK=R129297363; path=/; expires=Tue, 12-Jun-2018 19:49:40 GMT, mediaplan=R3721100594; path=/; expires=Tue, 12-Jun-2018 19:33:58 GMT, pll_language=en; expires=Wed, 12-Jun-2019 18:34:42 GMT; Max-Age=31536000; path=/ |
Content-Encoding: | gzip |
Vary: | Accept-Encoding |
Server: | Apache |
Link: | |
X-IPLB-Instance: | 5281 |
Date: | Tue, 12 Jun 2018 18:34:42 GMT |
Content-Type: | text/html; charset=UTF-8 |
soa: | a.dns.gandi.net. hostmaster.gandi.net. 1517779617 10800 3600 604800 10800 |
ns: | a.dns.gandi.net. c.dns.gandi.net. b.dns.gandi.net. |
ipv4: | IP:94.23.211.154 ASN:16276 OWNER:OVH, FR Country:FR |
mx: | MX preference = 10, mail exchanger = spool.mail.gandi.net. MX preference = 50, mail exchanger = fb.mail.gandi.net. |
toggle navigation skip to content products ocaml memory profiler ocaml for windows alt-ergo, smt solver services application development research & development training & courses porting ocaml (hp-ux, aix, etc.) typerex pro web apps ocaml training platform try ocaml scilab online free software opam package manager optal typerex toolbox scilint company ocaml team jobs @ ocamlpro videos contact mentions légales blog ocamlpro is the leading company in ocaml development services products r&d; products ocaml memory profiler profile your ocaml application ocpwin distribution ocaml binary distribution for windows alt-ergo smt-solver for software verification liquidity a smart-contract language for tezos open-source software opam highly-scalable package manager typerex toolbox open-source tools and libraries for ocaml scilint scilab style checking tools web applications ocaml training platform online exercices to teach ocaml sciweb online scilab toplevel for beginners try ocaml online ocaml toplevel for beginners customer services application development high-quality software development typerex-pro support technical support for ocaml developers developer training training and courses for software developers research & development collaborative research and development projects use cases optal language for linear optimization tezos a blockchain with integrated governance blockchains blockchain applications over bitcoin, ethereum and tezos about us ocaml experts in the industry ocaml experts to implement your dreams ocamlpro was created in april 2011 by former members of the french inria institute. ocamlpro initial goal was to boost the development of ocaml and to promote it as the language of choice for software development in the industry. ocamlpro is an official member of the caml consortium, and includes members of the ocaml core development team. ocamlpro also develops tools in ocaml to improve the code quality of programs written in other languages such as c and scilab. ocamlpro's high-level experts develop software solutions in any domain requiring their knowledge in complex algorithms and formal methods. ocamlpro does a lot of research and development (r&d), and maintains strong ties and collaborations with public research labs, such as irill in paris and ocamllabs in cambridge. our team fabrice le fessant founder and scientific advisor fabrice is an inria researcher, and the founder of ocamlpro. he has built a strategic partnership between ocamlpro and his inria team, that allows ocamlpro to interact closely with the core ocaml developers at inria. he has a long experience of both contributing to ocaml (he wrote the first jocaml implementation, an extension of ocaml for transparent distributed communications and code mobility) and building applications in ocaml (he was the creator and maintainer of mldonkey, mnplight and contributed to ocamlviz). pierre chambart senior r&d; engineer pierre has a ph.d. in computer science, obtained in the specification and verification laboratory at ens cachan. after his phd, he spent 12 months as an engineer working on the ocsigen web framework at irill, paris. finally, he joined ocamlpro in august 2012. louis gesbert senior r&d; engineer louis holds a phd from university paris est, and has studied at ensiie, university of manchester and university of tokyo. he has a strong background on programming languages and distribution, and was one of the architects behind the opa language developed at mlstate. finally, he joined ocamlpro in november 2012. mohamed iguernlala senior r&d; engineer mohamed iguernlala is a senior r&d; engineer at ocamlpro and a research associate in the vals team of lri. his research activities focus on automated reasoning, decision procedures and their combination in the smt framework. he received a phd in computer science from paris-sud university. during his thesis, he worked on the enhancement of the alt-ergo smt solver: an automatic theorem prover for first-order formulas. before that, he was involved in the development of ocamlwizard. he joined ocamlpro in september 2013. Çağdaş bozman senior r&d; engineer Çagdas has a phd from ecole polytechnique, obtained by working between ocamlpro and ensta, focusing on building tools to profile ocaml memory usage and to detect memory leaks. previously, he has been working at dassault systèmes on the extension of a real-time modeling language for discrete-event systems. alain mebsout senior r&d; engineer alain mebsout is a senior r&d; engineer with expertise in formal methods. he holds a phd from université paris-sud xi obtained in 2014 after working as an engineer for inria. he developed the cubicle model checker for parameterized systems and has worked on the smt solver alt-ergo for software verification. before finally joining ocamlpro in 2017, he worked at the university of iowa on a nasa funded project focused on the qualification of proof-producing tools like the software model checker kind 2. thomas blanc junior r&d; engineer thomas is working as a phd student between ocamlpro and ensta, with a focus on whole-program static analysis. one of his first objectives is to try to use the whole-program analysis approach to detect uncaught exceptions in ocaml programs. previously, he obtained a msc in computer science at the ens cachan. pierrick couderc junior r&d; engineer pierrick is working as a phd student between ocamlpro and ensta, focusing on typing the ocaml intermediate language, in order to propagate the typing information into the whole compilation toolchain. previously, he worked on the design of a namespace mechanism for the ocaml language. michael laporte junior r&d; engineer michael holds a msc from paris diderot university focused on programming languages. previously, he has been working as an intern for the ocsigen project and as an engineer for the richelieu project working on static analysis. he joined ocamlpro in december 2014. vincent laviron junior r&d; engineer vincent holds a msc from ens ulm, focused on static analysis by abstract interpretation. he then spent several years working on static analysis of functional languages, before joining ocamlpro in june 2015 to work on securocaml. irill, upmc, barre 15-16 4, place jussieu 75005 paris, france contact@ocamlpro.com +33 1 84 80 04 81 © 2011-2018 ocamlpro sas, all rights reserved. mentions légales '); by continuing to use the site, you agree to the use of cookies. more information accept the cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. if you continue to use this website without changing your cookie settings or you click "accept" below then you are consenting to this. close
http://www.ocamlpro.com/fr/
http://www.ocamlpro.com/porting-ocaml/
http://www.ocamlpro.com/contact/
http://www.ocamlpro.com/ocaml/
http://www.ocamlpro.com/jobs/
http://www.ocamlpro.com/mentions-legales/
http://www.ocamlpro.com/research-and-development/
http://www.ocamlpro.com/mentions-legales/
http://www.ocamlpro.com/
http://www.ocamlpro.com/#aboutus
http://www.ocamlpro.com/#webapps
http://www.ocamlpro.com/mailto:contact@ocamlpro.com
http://www.ocamlpro.com/#free-software
http://www.ocamlpro.com/videos/
http://www.ocamlpro.com/research-and-development/
Whois est un protocole qui permet d'accéder aux informations d'enregistrement.Vous pouvez atteindre quand le site Web a été enregistré, quand il va expirer, quelles sont les coordonnées du site avec les informations suivantes. En un mot, il comprend ces informations;
Domain Name: OCAMLPRO.COM
Registry Domain ID: 1570841013_DOMAIN_COM-VRSN
Registrar WHOIS Server: whois.gandi.net
Registrar URL: http://www.gandi.net
Updated Date: 2016-08-30T16:30:21Z
Creation Date: 2009-09-30T19:25:42Z
Registry Expiry Date: 2017-09-30T19:25:42Z
Registrar: Gandi SAS
Registrar IANA ID: 81
Registrar Abuse Contact Email: abuse@support.gandi.net
Registrar Abuse Contact Phone: +33.170377661
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Name Server: A.DNS.GANDI.NET
Name Server: B.DNS.GANDI.NET
Name Server: C.DNS.GANDI.NET
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form: https://www.icann.org/wicf/
>>> Last update of whois database: 2017-08-14T21:55:16Z <<<
For more information on Whois status codes, please visit https://icann.org/epp
NOTICE: The expiration date displayed in this record is the date the
registrar's sponsorship of the domain name registration in the registry is
currently set to expire. This date does not necessarily reflect the expiration
date of the domain name registrant's agreement with the sponsoring
registrar. Users may consult the sponsoring registrar's Whois database to
view the registrar's reported date of expiration for this registration.
TERMS OF USE: You are not authorized to access or query our Whois
database through the use of electronic processes that are high-volume and
automated except as reasonably necessary to register domain names or
modify existing registrations; the Data in VeriSign Global Registry
Services' ("VeriSign") Whois database is provided by VeriSign for
information purposes only, and to assist persons in obtaining information
about or related to a domain name registration record. VeriSign does not
guarantee its accuracy. By submitting a Whois query, you agree to abide
by the following terms of use: You agree that you may use this Data only
for lawful purposes and that under no circumstances will you use this Data
to: (1) allow, enable, or otherwise support the transmission of mass
unsolicited, commercial advertising or solicitations via e-mail, telephone,
or facsimile; or (2) enable high volume, automated, electronic processes
that apply to VeriSign (or its computer systems). The compilation,
repackaging, dissemination or other use of this Data is expressly
prohibited without the prior written consent of VeriSign. You agree not to
use electronic processes that are automated and high-volume to access or
query the Whois database except as reasonably necessary to register
domain names or modify existing registrations. VeriSign reserves the right
to restrict your access to the Whois database in its sole discretion to ensure
operational stability. VeriSign may restrict or terminate your access to the
Whois database for failure to abide by these terms of use. VeriSign
reserves the right to modify these terms at any time.
The Registry database contains ONLY .COM, .NET, .EDU domains and
Registrars.
REGISTRAR Gandi SAS
SERVERS
SERVER com.whois-servers.net
ARGS domain =ocamlpro.com
PORT 43
TYPE domain
RegrInfo
DOMAIN
NAME ocamlpro.com
CHANGED 2016-08-30
CREATED 2009-09-30
STATUS
clientTransferProhibited https://icann.org/epp#clientTransferProhibited
NSERVER
A.DNS.GANDI.NET 173.246.98.1
B.DNS.GANDI.NET 213.167.229.1
C.DNS.GANDI.NET 217.70.179.1
REGISTERED yes
La liste suivante vous montre les fautes d'orthographe possibles des internautes pour le site Web recherché.