CLAIRE Programming Directory, Links. Development, Programmers, Programmer Reference, Resources @ eIT.in

Add Links: If you have a web site that you wish to include in this database, do let us know the details by sending a note about your URL to narsi@esource.in. We’ll quickly review the web site, and if found relevant, add it to the database. We look forward to web site owners and link exchange partners to submit URL. Thanks!

Looking for an outsourcing partner for software programming & development? Have you talked to us?

Other IT Web Sites from eIT.in

Content derived from Wikipedia article on Claire Programming

Claire (programming language)

From Wikipedia, the free encyclopedia

Claire is a high-level functional and object-oriented programming language with strong rule processing capabilities. It is intended to allow the programmer to express complex algorithms in a more compact and readable manner.

Claire provides:

a rich type system including type intervals and second-order types (with static/dynamic typing)

parametric classes and methods

propagation rules based on events

dynamic versioning that supports easy exploration of search spaces

set-based programming with an intuitive syntax

simple-minded object-oriented programming

truly polymorphic and parametric functional programming

an entity-relation approach with explicit relations, inverses and unknown values

Overview

Claire was designed for sophisticated applications that involve complex data modeling, rule processing and problem solving.

Claire was meant to be used in a C++ environment, either as a satellite (linking Claire programs to C++ programs is straightforward) or as an upper layer (importing C++ programs is also easy). Claire is a general-purpose language that can be used as a complete development language, but also as a preprocessor to C++ or Java, since a Claire program can be readily translated into a C++ program (C++ is still the target language of choice, but Java is increasing in popularity).

The key set of features that distinguishes Claire from other programming languages has been dictated by experience gained in solving complex optimization problems.

Two features that distinguish Claire from procedural languages such as C++ or Java are

Versioning: Claire supports versioning of a user-selected view of the entire system. The view can be made as large (for expressiveness) or as small (for efficiency) as is necessary. Versions are created linearly and can be viewed as a stack of snapshots of the system. Claire supports very efficient creation/rollback of versions, which constitutes the basis for powerful backtracking, a key feature for problem solving. Unlike most logic programming languages, this type of backtracking covers any user-defined structure, not simply a set of logic variables.

Production rules: Claire supports rules that bind a Claire expression (the conclusion) to the combination of an event and a logical condition. Whenever this event occurs, if the condition is verified, then the conclusion is evaluated. The emphasis on events is a natural evolution from rule-based inference engines and is well suited to the description of reactive algorithms such as constraint propagation.

Claire provides automatic memory allocation/de-allocation, which would have prevented an easy implementation as a C++ library. Also, set-oriented programming is much easier with a set-oriented language like Claire than with libraries.

Claire is seven years old and the current version reaches a new level of maturity. The version 3.2 of Claire is motivated by the introduction of Java as another target language but its main feature is the handling of typed lists and sets.

Claire is a set-oriented language in the sense that sets are first-class objects, typing is based on sets and control structures for manipulating sets are parts of the core language. Similarly, lists are also first-class objects. Sets and lists may be typed. Claire can also be used as a functional programming language, with full support for lambda abstraction, where functions can be passed as parameters and returned as values, and with parametric polymorphism.

Claire is an object-oriented language with single inheritance. As in Smalltalk, everything that exists in Claire is an object. Each object belongs to a unique class and has a unique identity. Classes are the corner stones of the language, from which methods, slots and tables (relations) are defined. Although classes are restricted to a single inheritance hierarchy, they may be grouped using set union operators, and these unions may be used in most places where a multiply-inherited class would be used, which offers an alternative to multiple inheritance. In a way similar to Modula-3, Claire is a modular language that provides recursively embedded modules with associated namespaces. Module decomposition can either be parallel to the class organization (mimicking C++ encapsulation) or orthogonal (e.g., encapsulating one service among multiple classes).

Claire is a typed language, with full support for polymorphism. One can use Claire with a variety of type disciplines ranging from weakly-typed weak typing in a manner that is close to Smalltalk up to a more rigid manner close to C++. This flexibility is useful to capture programming styles ranging from prototyping to production code development. The more type information available, the more Claire's compiler will behave like a statically-typed language compiler. This is achieved with a rich type system, based on sets, that goes beyond types in C++. This type system provides functional types (second-order types) similar to those in ML, parametric types associated to parametric classes and many useful type constructors such as unions or intervals.

Claire draws its inspiration from a large number of existing languages, including Smalltalk for the object-oriented aspects, SETL for the set programming aspects, OPS5 for the production rules, Lisp for the reflection and the functional programming aspects, ML for the polymorphism and C for the general programming philosophy.

Genetically, Claire is influenced by LORE, a language developed in the mid 80s for knowledge representation, and also by LAURE, although Claire is much smaller and does not retain some of the original features of LAURE such as constraints or deductive rules (Claire is also closer to C in its spirit and its syntax than LAURE was).

Example

A function to compute the nth fibonacci number:

fib(n:integer) : integer

-> (if (n < 2) 1

else fib(n - 1) + fib(n - 2))

External links

commercial Claire site

free Claire site

Retrieved from http://en.wikipedia.org/wiki/Claire_%28programming_language%29

End of Wikipedia content, http://en.wikipedia.org/wiki/Claire_(programming_language)

Web Resources for Claire

More eIT.in References

o Programming Languages

§ The A-Z of Programming Languages

§ A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z

§ C

· C

· C++

· C#, CSharp Programming Language

· Caml

· CLU

· Cecil

· Centum

· Cilk

· Charity

· CHILL

· CLAIRE

· Clean

· COMAL

· CORAL

· Corn

· COBOL Programming

· CPL

· Ct

· Curl

Main Sections @ eIT.in

Software

· Free & Open Source Software

· Operating Systems

o Mainframe & Legacy Operating Systems

· Midrange

· Mainframe Operating Systems

· Databases

· Programming & Development Directory

o Programming Languages

§ The A-Z of Programming Languages

§ A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z

· Internet & Web

§ Web Servers

§ Application Servers

§ Server Side Scripting

§ Web Services

Computer Hardware
Networking & Communications Technologies
IT Strategy & Design
IT in Industries & Businesses
IT in Functions & Business Processes

IT Infrastructure
Tech Support
IT, Software Industry, Trade & Business Network
IT, Software Industry News & Updates

About eIT.in

eIT.in is a comprehensive directory for everything IT & Software. It contains over 500 categories, and well over 10,000 web resources

eIT.in provides directory and web links resources for the IT, software, programming & software development domains. It is intended to be useful for application, applications programmers & developers, software technology programmer & developer, databases software development, administrators & DBAs, application developers, strategy architect, design specialists and architects, migration, integration, customization consultants and customisation analysts, administration, maintenance & support professionals, outsourcing consultant, bespoke solutions programming developers & coders, project management & functional analyst, and for system administrators, testing & quality control engineers. It will make an effort to provide resources on tutorial/tutorials, guide, guides, tips, faq, faqs on these topics.

eIT.in content is available under GPL: All directory content at mainframe.in is under the General Public License (GPL). Under this license, anyone is free to copy & use any amount of directory content @ eIT.in, make changes to it and use it in any way they wish, as long as they also allow the same rights to anyone else for this content. The concept of GPL has been adapted from the GNU GPL of the Free Software Movement. To those who wish to use content from eIT.in, our only request is that they acknowledge the source and provide a link back to eIT.in. This is only a request!

Countries & Cities Where eIT.in Provides Assistance

eIT Cities: Bangalore, Chennai, Mumbai, Bhubaneswar, Mysore, Kolkaka, Delhi, Pune, Trivandrum, Hyderabad

United States of America - Alabama (AL) - Birmingham, Huntsville, Mobile, Montgomery, Arkansas (AR) - Little Rock, Arizona (AZ) - Phoenix, Tucson, California (CA) - Bakersfield, Fresno, Los Angeles, Modesto, Oakland, Orange Country, Riverside, Sacramento, Salinas, San Diego, San Francisco, San Jose, Santa Barbara, Santa Rosa, Stockton, Vallejo, Ventura, Visalia, Colorado (CO) - Colorado Springs, Denver, Connecticut (CT) - Hartford, Southern Connecticut (Southern Conn), Delaware (DE) – Wilmington, Florida (FL) - Daytona Beach, Fort Lauderdale, Fort Myers, Fort Pierce, Jacksonville, Lakeland, Melbourne, Miami, Orlando, Pensacola, Sarasota, Tampa, West Palm Beach, Georgia (GA) - Atlanta, Augusta, Hawaii (HI) – Honolulu, Iowa (IA) - Davenport, Des Moines, Idaho (ID) – Boise, Illinois (IL) - Chicago, Peoria, Rockford, Indiana (IN) - Fort Wayne, Gary, Indianapolis, Kansas (KS) – Wichita, Kentucky (KY) - Lexington, Louisville, Louisiana (LA) - Baton Rouge, Lafayette, New Orleans, Shreveport, Massachusetts (MA) - Boston, Springfield, Maryland (MD) – Baltimore, Michigan (MI) - Ann Arbor, Detroit, Flint, Grand Rapids, Kalamazoo, Lansing, Saginaw, Minnesota (MN) - Minneapolis – St. Paul, Missouri (MO) - Kansas City, St. Louis, Mississippi (MS) - Biloxi, Jackson, North Carolina (NC) - Charlotte, Greensboro, Hickory, Raleigh-Durham, Nebraska (NE) – Omaha, New Jersey (NJ) - Atlantic City, Bergen-Passaic, Jersey City, Mercer, Middlesex, Monmouth, Newark, New Mexico (NM) – Albuquerque, Nevada (NV) - Las Vegas, Reno, New York (NY) - Albany, Buffalo, Nassau-Suffolk, New York, Orange County, Rochester, Syracuse, Ohio (OH) - Akron, Canton, Cincinnati, Cleveland, Columbus, Dayton, Hamilton, Toledo, Youngstown, Oklahoma (OK) - Oklahoma City, Tulsa, Oregon (OR) - Portland, Salem, Pennsylvania (PA) - Allentown, Harrisburg, Lancaster, Philadelphia, Pittsburgh, Reading, Scranton, York, Rhode Island (RI) – Providence, South Carolina (SC) - Charleston, Columbia, Greenville, Tennessee (TN) - Chattanooga, Johnson City, Knoxville, Memphis, Nashville, Texas (TX) - Austin, Beaumont, Brownsville, Corpus Christi, Dallas, El Paso, Fort Worth, Houston, McAllen, San Antonio, Utah (UT) - Provo, Salt Lake City, Virginia (VA) - Norfolk, Richmond, Washington (WA) - Seattle, Spokane, Tacoma, Wisconsin (WI) - Appleton, Madison, Milwaukee, District of Columbia (DC) - Washington, DC

Canada

Provinces - Alberta > Cities: Calgary, Edmonton; British Columbia > Cities: Victoria, Vancouver; Prince Edward Island; Manitoba > Cities: Winnipeg; New Brunswick; Nova Scotia > Cities: Halifax; Nunavut > Cities: Iqaluit; Ontario > Cities: Toronto, Ottawa, Hamilton, London, Kitchener, St. Catharines-Niagara, Windsor; Quebec > Cities: Quebec City, Montreal; Saskatchewan > Cities: Saskatoon, Regina

Territories - Newfoundland and Labrador; Northwest Territories; Yukon Territory

Australia – Sydney, Melbourne, Brisbane, Perth, Adelaide, Newcastle, Gold Coast, Canberra, Wollongong, Sunshine Coast, Hobart, Geelong, Townsville, Cairns, Launceston

Europe - Luxembourg - Luxembourg City, Belgium – Brussels (Brussel), Antwerp (Antwerpen), Ghent (Gent, Gand), Charleroi, Liège (Liege), Austria - Vienna (Wien), Graz, Linz, Salzburg, Innsbruck, Netherlands - Amsterdam, Rotterdam, Utrecht, Eindhoven, Tilburg, ‘s-Gravenhage (sGravenhage), Groningen, France - Paris, Marseille, Lyon, Toulouse, Nice, Nantes, Strasbourg, Montpellier, Bordeaux, Germany - Berlin, Hamburg, Munich (München), Cologne (Köln), Frankfurt (Frankfurt am Main), Essen, Dortmund, Stuttgart, Düsseldorf, Bremen, Duisburg, Hannover, Nürnberg (Nuremberg), Dresden, Leipzig, Norway - Oslo, Bergen, Stavanger, Trondheim, Denmark – Copenhagen (Københavns), Aarhus (Århus), Odense, Aalborg (Ålborg), Sweden - Stockholm, Goteborg (Göteborg), Malmo (Malmö), Uppsala, Vasteras (Västerås), Finland – Helsinki (Helsingin), Espoo, Tampere (Tampereen), Vantaa, Turku, Oulu, Spain - Madrid, Barcelona, Valencia, Sevilla, Zaragoza, Malaga, Murcia, Las Palmas, Bilbao, Switzerland – Zürich (Zurich), Geneva (Geneve, Genève), Basel, Bern (Berne), Lausanne, UK - London, Birmingham, Glasgow, Liverpool, Sheffield, Leeds, Bristol, Manchester, Edinburgh, Leicester, Italy - Rome (Roma), Milan (Milano), Napoli (Naples), Torino (Turin), Palermo, Bologna, Firenze (Florence), Genova (Genoa)

eIT.in is a product of eSource India & Sourcing India

Other eSource & Sourcing sites: IT & Software (Dir, SAP), BPO, Chemicals, Textiles, Plant Oils, dotMobi, Billion Dollar Questions,

Biodiesel Encyclopedia, Linens, ideOS, Follars – Free, Open-source Dollars, Quali5.com – Own A Keyword Forever, AntiSE, Serkai, Leather & Hide, GeoDig