The ciao modular, standalone compiler and its generic program processing library

Ciao Prolog incorporates a module system which allows sepárate compilation and sensible creation of standalone executables. We describe some of the main aspects of the Ciao modular compiler, ciaoc, which takes advantage of the characteristics of the Ciao Prolog module system to automatically perform sepárate and incremental compilation and efficiently build small, standalone executables with competitive run-time performance, ciaoc can also detect statically a larger number of programming errors. We also present a generic code processing library for handling modular programs, which provides an important part of the functionality of ciaoc. This library allows the development of program analysis and transformation tools in a way that is to some extent orthogonal to the details of module system design, and has been used in the implementation of ciaoc and other Ciao system tools. We also describe the different types of executables which can be generated by the Ciao compiler, which offer different tradeoffs between executable size, startup time, and portability, depending, among other factors, on the linking regime used (static, dynamic, lazy, etc.). Finally, we provide experimental data which illustrate these tradeoffs.

A system for automatically generating documentation for (C)LP programs

We describe lpdoc, a tool which generates documentation manuals automatically from one or more logic program source files, written in ISO-Prolog, Ciao, and other (C)LP languages. It is particularly useful for documenting library modules, for which it automatically generates a rich description of the module interface. However, it can also be used quite successfully to document full applications. A fundamental advantage of using lpdoc is that it helps maintaining a true correspondence between the program and its documentation, and also identifying precisely to what version of the program a given printed manual corresponds. The quality of the documentation generated can be greatly enhanced by including within the program text assertions (declarations with types, modes, etc.) for the predicates in the program, and machine-readable comments. One of the main novelties of lpdoc is that these assertions and comments are written using the Ciao system assertion language, which is also the language of communication between the compiler and the user and between the components of the compiler. This allows a significant synergy among specification, documentation, optimization, etc. A simple compatibility library allows conventional (C)LP systems to ignore these assertions and comments and treat normally programs documented in this way. The documentation can be generated in many formats including texinfo, dvi, ps, pdf, info, html/css, Unix nroff/man, Windows help, etc., and can include bibliographic citations and images. lpdoc can also generate “man” pages (Unix man page format), nicely formatted plain ascii “readme” files, installation scripts useful when the manuals are included in software distributions, brief descriptions in html/css or info formats suitable for inclusion in on-line indices of manuals, and even complete WWW and info sites containing on-line catalogs of documents and software distributions. The lpdoc manual, all other Ciao system manuals, and parts of this paper are generated by lpdoc.

Sachi Tomlinson, Japanese woman barber

General note: Title and date provided by Bettye Lane.

Education of the Mexican American in the United States : progress and stalemate /

Stamped on t.p.: ED230352.

Working with your school : handbook of the New Mexico Advisory Committee to the United States Commission on Civil Rights.

Issued Feb. 1977.

Occupational health hazards of older workers in New Mexico [microform] : hearing before the Special Committee on Aging, United States Senate, Ninety-sixth Congress, first session, Grants, N. Mex., August 30, 1980.

Reuse of record except for individual research requires license from Congressional Information Service, Inc.

Meeting the minerals-materials crisis--New Mexico's role [microform] : hearing before the Subcommittee on Science, Technology, and Space of the Committee on Commerce, Science, and Transportation, United States Senate, Ninety-seventh Congress, first session, on meeting the minerals-materials crisis--New Mexico's role, July 1, 1981.

"Serial no. 97-45."

Relief of farmers along the Rio Grande River in New Mexico. Hearing before the Committee on Agriculture and Forestry, United States Senate, Seventy-first Congress, second session, on S.J. Res. 73.

Mode of access: Internet.

West coast reporter ... : containing all the decisions as fast as filed of the following courts: United States Circuit and District courts of California, Colorado, Nevada, and Oregon, and the Supreme Courts of Arizona, California, Colorado, Idaho, Montana, Nevada, New Mexico, Oregon, Utah, Washington, and Wyoming ; also legal essays and editorial notes

Editors: 1884, J.N. Pomeroy, C.P. Pomeroy; 1885-86, C.P. Pomeroy

Working with your school : handbook of the New Mexico Adivisory Commitee to the United States Commission on Civil Rights.

Issued Feb. 1977.

Rio Chama River, New Mexico : hearing before the Subcommittee on Public Lands, National Parks, and Forests of the Committee on Energy and Natural Resources, United States Senate, One Hundredth Congress, first session on S. 850 to amend the Wild and Scenic Rivers Act to designate a segment of the Rio Chama River in New Mexico as a component of the National Wild and Scenic Rivers System.

"December 17, 1987"--Pt. 2.

Typification of four North American club-chollas: the names of four Engelmannian species from Mexico and Southwestern United States

The names Opuntia bulbispina, O. clavata, O. emoryi and O. grahamii, originally proposed by George Engelmann between 1848 and 1856, are reviewed and typified after new findings of previously unknown voucher specimens. Original materials collected by some of the collaborators employed by Engelmann during the Mexican Boundary Survey were discovered in a loan from the Torrey Herbarium at the New York Botanical Garden (NY). Many of the materials include fragments of stems and fruits, and others include only sectioned flowers and some seeds. Particularly good descriptions of the species here concerned were published in Engelmann’s “Synopsis of the Cactaceae” in 1857, and exceptional illustrations were produced by Paulus Roetter and printed in “Cactaceae of the Boundary” in 1859. The problems surrounding some previous typifications of these names range from typification of joint lectotypes to illegitimate typifications of illustrations when original material was known to exist. The materials selected for typification were collected by the Mexican Boundary Survey and are lodged at the herbaria of the Missouri Botanical Garden (MO) and the New York Botanical Garden (NY); some are illustrations published by Engelmann.

Complete army and navy register of the United States of America, from 1776 to 1887 : containing the names of all officers of the army and navy ; together with the volunteer general staff, during the war with Mexico, and a register of all appointments by the President in the volunteer service during the rebellion ; also, a military history of the Department of War and of each staff department of the army /

Mode of access: Internet.

A history of the Sixty-sixth Field Artillery Brigade, American Expeditionary Forces, composed of the 146th Field Artillery and the 148th Field Artillery; National Guard troops from the western states of Colorado, Wyoming, Washington, Idaho, Oregon, New Mexico.

"Committee charged with the compliation ... Major W. A Sawtell ... Capt. Frank R. Jeffrey ... Lieut. W. S. Griscom ... Lieut. Wm. R. Wright ... brigade historian."--p. 371.

The United States, with an excursion into Mexico; handbook for travellers,

Disbound Original Held in Oak Street Library Facility.