caml
Caml (prononcé camel, signifie Categorical Abstract Machine Language) est un langage de programmation généraliste conçu pour la sécurité et la fiabilité des programmes. Il se prête à des styles de programmation Programmation fonctionnelle, Programmation impérative et Programmation orientée objet. C'est de plus un langage typage fort. Le Caml est développé depuis 1985 par les équipes Formel puis Cristal de l'Institut national de recherche en informatique et en automatique et notamment pendant cinq ans par le professeur Guy Cousineau (Université Paris Diderot). Il existe deux implémentations de Caml :
Objective Caml est l'implémentation la plus avancée,
Caml Light est une implémentation légère, souvent utilisée dans les milieux pédagogiques.
Sites Internet en rapport avec caml
caml.inria.fr 1
Mis à jour le 21/04/2012
about caml consortium contact download francaise home inria language latest light object objective released resources search system version
www.ocaml.org 2
Mis à jour le 20/04/2012
about caml contact download francaise home language latest light masses news ocaml paper resources search system version yaron
camlcvs.inria.fr 3
Mis à jour le 04/06/2012
access archive caml camlcvs cvs development have inria please repository source sources svn this warning web working you
cristal.inria.fr 4
Mis à jour le 02/06/2012
caml cristal design engineer foundations inria members other our phd project projet research scientist senior student team theoretical
pauillac.inria.fr 5
Mis à jour le 19/04/2012
building caml coq groups inria language pauillac programming projet prolog proof publications research rocquencourt software virtual web with
brion.inria.fr 6
Mis à jour le 26/04/2012
brion building caml developments groups inria language other programming projet proof publications research resources rocquencourt software virtual with
bat8.inria.fr 7
Mis à jour le 21/04/2012
bat building caml developments groups inria language other programming projet proof publications research resources rocquencourt software virtual with
alain.frisch.fr 8
Mis à jour le 09/05/2012
alain caml cduce defense french frisch home objective ocaml ocamlduce old oriented papers phd research software xml xstream
jfla.inria.fr 9
Mis à jour le 23/04/2012
ambition applicatifs caml couvrir dire domaine fevrier francophones gifla inria janvier jfla journees langages lieu objectifs papiers prononcer
jocaml.inria.fr 10
Mis à jour le 19/04/2012
availability caml compatibility contact documentation download examples inria jocaml manual new objective ocaml ray source system tracer what
Actualités en rapport avec caml
Pas de news
Recherche basé sur l'API Google
Blogs parlant de caml
Workflow Tutorial « Sladescross's Blog 11
http://sladescross.wordpress.com/ - publié le 04/06/2012
... Calculated Column (2), Calculated Fields (2), CAML (11), CAML Build With Linq (1), CAML Builder (2), CAML Logging (1), CAML People and Group (1), CAML Profiler (1), CAML Recursive Folders Query (1), CAML Reference (1), CAML.
Create Document Set Programmatically « Sladescross's Blog 12
http://sladescross.wordpress.com/ - publié le 04/06/2012
... Calculated Column (2), Calculated Fields (2), CAML (11), CAML Build With Linq (1), CAML Builder (2), CAML Logging (1), CAML People and Group (1), CAML Profiler (1), CAML Recursive Folders Query (1), CAML Reference (1), CAML.
Document ID « Sladescross's Blog 13
http://sladescross.wordpress.com/ - publié le 04/06/2012
... Calculated Column (2), Calculated Fields (2), CAML (11), CAML Build With Linq (1), CAML Builder (2), CAML Logging (1), CAML People and Group (1), CAML Profiler (1), CAML Recursive Folders Query (1), CAML Reference (1), CAML.
Document Set Views « Sladescross's Blog 14
http://sladescross.wordpress.com/ - publié le 04/06/2012
... Calculated Column (2), Calculated Fields (2), CAML (11), CAML Build With Linq (1), CAML Builder (2), CAML Logging (1), CAML People and Group (1), CAML Profiler (1), CAML Recursive Folders Query (1), CAML Reference (1), CAML.
Extending the LINQ to SharePoint context to allow additional fields and 15
http://zimmergren.net/ - publié le 04/06/2012
Oftentimes we need these fields in our queries, whether they be CAML queries or LINQ queries. With LINQ to SharePoint you have the ability to extend an Entity that you've generated, and allow additional code to be executed for those entities.
Sharepoint 2010: SharePoint Feature to add web.config entries 16
http://sharepointtrivedi.blogspot.com/ - publié le 04/06/2012
To write CAML for SiteUserInfoList. point to http://site_name/_catalogs/users. Value cannot be null. Parameter name: parentContext. if you have visual studio 2010 and try to develop silverlight 4 application , you may get following error Value ...
Document Set Versioning « Sladescross's Blog 17
http://sladescross.wordpress.com/ - publié le 04/06/2012
... Calculated Column (2), Calculated Fields (2), CAML (11), CAML Build With Linq (1), CAML Builder (2), CAML Logging (1), CAML People and Group (1), CAML Profiler (1), CAML Recursive Folders Query (1), CAML Reference (1), CAML.
brainDRIVE: HTML5 Upload file and Drag Drop script using jQuery 18
http://rubensfp.blogspot.com/ - publié le 04/06/2012
NET (9) AuthorRank (1) C# (26) CAML (1) Codeplex (1) Components (2) Content Curation (1) Converter (5) CSS (13) Databases (6) DataVisualization (2) Debugging (2) Downloads (1) Engine (1) Excel (1) Extension (4) Framework (1) Free ...
Recherche basé sur l'API Google
Documentation PDF en rapport avec caml
Pas de documentation
Fichiers PDF en rapport avec caml
bouissou-these.pdf 19
specif.org - publié le 30/06/2010
...pour acc´l´rer le temps de calcul. Cela s'est r´v´l´ concluant : gr^ce e ee e ee a a ` un pr´-traitement, on transfert une partie du temps de calcul de l'ex´cution ` la compilation, e e a et on obtient ainsi un temps d'ex´cution par pas d'int´gration bien plus faible que pour VNODE e e (d'ordre 5 ou 20). Si actuellement le calcul des d´riv´es ne se fait pas int´gralement lors de la e e e compilation (il faut utiliser un programme externe), la prochaine version de GRKLib, ´crite en e Objective Caml et utilisant CAMLP4, sera plus automatique. Remarquons cependant qu'il reste des probl`mes ` r´soudre pour rendre GRKLib vraiment comp´titive face ` VNODE. Tout d'abord, e a e e a notre m´thode de contr^le du pas nous semble trop peu pr´cise : la taille du pas d'int´gration a e o e e tendance ` fortement varier lors des calculs ce qui augmente la surapproximation de l'erreur. Un a contr^le du pas plus souple et plus subtil permettrait de stabiliser le pas ` une taille optimale. o a Par ailleurs...
fcv.pdf 20
gama.nicolas.free.fr - publié le 14/01/2012
... In proceedings of Eurocrypt 2006, LNCS Springer. (Présenté moi-même à Saint Petersburg) L. Baduel, F. Baude, D. Caromel, C. Delbé, N. Gama, S. El Kasmi, S. Lanteri, A Parallel Object-Oriented Application for 3D Electromagnetism, In proceedings of IPDPS 2004, IEEE Computer Society. Mai 2008 Avril 2008 Mai 2007 Août 2006 Mai 2006 Aout 2004 Langages informatiques Langages de programmation Librairies arithmétiques .Développement web .Graphique/GPU .Systèmes d exploitation .C++, Java, C, Perl, Caml, Python NTL, GMP, Sage XHTML, PHP, MySQL, JavaEE, PostgreSQL Gtk, QT, Cairo, OpenGL, OpenCL Linux, Unix, Windows Thèmes de recherche " Théorie des nombres, Complexité " Cryptanalyse, Cryptographie à clé publique " Calcul (massivement) parallèle et distribué Autres activités " Présentation de l atelier Cryptologie et Playstation à l EPFL. " Présentation de stands d exposition aux festivals Paris-Montagnes 06/ 07 à Paris. " Co-vacataire bénévole du tutorat d accueil des étudiants à...
d211.pdf 21
reve.futurs.inria.fr - publié le 28/11/2010
...D2.2.1 ). Interface/Contrat Une interface correspond a une sp´ciï¬cation. Elle peut ˆtre d´ï¬nie comme une abstraction des services ` e e e offerts et/ou requis par un composant, ou par un port de composant, ind´pendamment d’une implantation e particuli`re [31]. Au minimum, une interface sp´ciï¬e la signature des services offerts et/ou requis par un port e e du composant, et peut ˆtre vue comme un type d´crivant la structure d’une entit´ modulaire. Par exemple, e e e en Ocaml [19], il s’agira d’un type de module (signature), en Java d’une interface d´crivant de mani`re e e structurelle le type d’un objet. Les sp´ciï¬cations d’interfaces plus riches sont souvent appel´es contrats. Dans cette terminologie, on e e distingue 4 niveaux de contrats [6]. Les contrats syntaxiques ne sp´ciï¬ent que les signatures des services : e ils correspondent aux interfaces mentionn´es plus haut. Les contrats s´mantiques sp´ciï¬ent des propri´t´s e e e ee...
cv_kaddouri.pdf 22
mgm.fr - publié le 18/05/2010
...8, ArcView 3.x, ArcGIS 8.x (programmation) Cartographie Assistée par Ordinateur : SAS, Cabral 1500, Carto 2D, Cartes & Données Internet : programmation HTML (Adobe GoLive, Adobe PageMill) Infographie et chaîne de traitement graphiques : Dessin Assisté par Ordinateur (Adobe Illustrator), Publication Assistée par Ordinateur (Quark Xpress), Retouche d'image (Adobe Photoshop) Bureautique : Microsoft Office, AppleWorks Base de données : 4D, Access Programmation : Think Pascal (Pascal Orienté Objet), CAML, 4D, AML Systèmes d'exploitation : Mac OS, Windows, Unix (bases) Langues Anglais : lu, parlé et écrit Espagnol : lu, parlé et écrit Arabe dialectal : pays du Maghreb 6...
Voir aussi
Notes et références
|
|
