The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems

CIAO is an advanced programming environment supporting Logic and Constraint programming. It offers a simple concurrent kernel on top of which declarative and non-declarative extensions are added via librarles. Librarles are available for supporting the ISOProlog standard, several constraint domains, functional and higher order programming, concurrent and distributed programming, internet programming, and others. The source language allows declaring properties of predicates via assertions, including types and modes. Such properties are checked at compile-time or at run-time. The compiler and system architecture are designed to natively support modular global analysis, with the two objectives of proving properties in assertions and performing program optimizations, including transparently exploiting parallelism in programs. The purpose of this paper is to report on recent progress made in the context of the CIAO system, with special emphasis on the capabilities of the compiler, the techniques used for supporting such capabilities, and the results in the áreas of program analysis and transformation already obtained with the system.

The CIAO multi-dialect compiler and system: An experimentation workbench for future (C)LP systems

Abstract is not available.

The CIAO multi-dialect compiler and system: A demo and status report

Abstract is not available

Notes on the Mangue; an extinct dialect formerly spoken in Nicaragua.

Read before the American Philosophical Society, November 20, 1885.

Jewish-American dialect stories on tape /

Offprint: Studies in Biblical and Jewish Folklore; Indiana University Folklore Series. No. 13 (1960).

A bibliography of the dialect literature of Cumberland and Westmorland, and Lancashire North-of-the-Sands.

Mode of access: Internet.

An historical Greek grammar, chiefly of the Attic dialect as written and spoken from classical antiquity down to the present time : founded upon the ancient texts, inscriptions, papyri and present popular Greek /

"Principal modern works consulted": p. xxiii-xxxii.

A glossary of the Cleveland dialect: explanatory, derivative, and critical.

Mode of access: Internet.

A Tahitian and English dictionary, with introductory remarks on the Polynesian language, and a short grammar of the Tahitian dialect: with an appendix containing a list of foreign words used in the Tahitian Bible, in commerce, etc., with the sources from whence they have been derived.

Mode of access: Internet.

A Chinese and English phrase book in the Canton dialect; or, Dialogues on ordinary and familiar subjects for the use of the Chinese resident in America, and of Americans desirous of learning the Chinese language,

Added title-page in Chinese.

London's dialect, an ancient form of English speech, with a note on the dialects of the North of England and the Midlands and of Scotland,

Mode of access: Internet.

Choice dialect and other characterizations, containing readings and recitations in Irish, German, Scotch, French, Negro, and other dialects,

Mode of access: Internet.

A glossary of the Cotswold (Gloucestershire) dialect;

Mode of access: Internet.

The modern Egyptian dialect of Arabic [microform] : a grammar : with exercises, reading lessons and glossaries /

Microfilm.