Integrating runtime assertions with dynamic types: Structuring a derivation from an incomputable specification

An inherent incomputability in the specification of a functional language extension that combines assertions with dynamic type checking is isolated in an explicit derivation from mathematical specifications. The combination of types and assertions (into "dynamic assertion-types" - DATs) is a significant issue since, because the two are congruent means for program correctness, benefit arises from their better integration in contrast to the harm resulting from their unnecessary separation. However, projecting the "set membership" view of assertion-checking into dynamic types results in some incomputable combinations. Refinement of the specification of DAT checking into an implementation by rigorous application of mathematical identities becomes feasible through the addition of a "best-approximate" pseudo-equality that isolates the incomputable component of the specification. This formal treatment leads to an improved, more maintainable outcome with further development potential.

Indigenous protest as a performance genre

Cuando se realiza una protesta política, los pueblos indígenas alrededor del mundo a menudo realizan bailes y música tradicional, también usan atuendos tradicionales. En lugar de tomar estas actuaciones como actos habituales de resistencia, este documento examina las condiciones de posibilidad que les ha permitido argumentar que tal interpretación cultural, explícita y tímida es un desarrollo reciente permitido por la globalización contemporánea. Más aun, tales interpretaciones se han convertido en un género de explicación en sí mismo, un estilo convencional para la organización y lectura de protesta indígena. El trabajo de campo se realiza en las tierras altas ecuatorianas y pretende proporcionar un marco teórico general. Se examina el trabajo político de la protesta indígena como un género de interpretación que estructura y es estructurado en la naturaleza de las audiencias a los cuales está engranado y las alianzas que esto permite.

La poesía de improvisación. Romances, coplas y juegos infantiles de la tradición oral andaluza

Trato de demostrar cómo toda la poesía de tradición oral en la provincia de Málaga - esto valdría también para el resto de Andalucía- en un principio surgió de manera improvisada en distintas situaciones: Fiestas, celebraciones, bailes, reuniones de jóvenes, matanzas, recogida de aceitunas o uvas, Navidad, Carnaval, etc. Para ello hago dos recorridos, poniendo ejemplos: Uno, a través de la cronología del ser humano: Nanas, entretenimientos infantiles, juegos infantiles y de juventud, corros o bailes de rueda, etc.; y otro, a través de los ciclos festivos: Navidad, carnaval, matanzas, costumbres y fiestas locales, ferias, etc. Llego a la conclusión de que toda la tradición oral surge, de manera improvisada, mientras cantaba y se mantiene gracias a la repetición de las coplas. Primero debió improvisarla una persona y luego pasó a la tradición, si que se supiese nunca quién fue su autor.

El rayo, la abundancia y la realeza. Análisis de la naturaleza del dios K'awiil en la cultura y la religión mayas

El presente trabajo se centra en el análisis del dios K’awiil dentro de la sociedad y de la religión mayas. Para poder llevar a cabo dicho análisis se utilizó un enfoque interdisciplinario que empleó la Arqueología, la Iconografía, la Epigrafía, la Etnohistoria y la Etnología. Después de la realización del estudio se ha podido comprobar que K’awiil es la representación del fuego celeste, es decir el rayo, que como uno de los responsables de la llegada de las lluvias acaba siendo a su vez, la deidad responsable de la abundancia presente en la naturaleza a través de la cual la sociedad maya se proveía de alimentos. Está relacionado especialmente con el dios maya asociado al maíz y a la vegetación, pero también con las aquellos dedicados a la protección de los animales. Además de con el maíz, también se asocia a otra planta especialmente importante para la élite maya, el cacao. K’awiil está presente en varios mitos en los que estas capacidades de potenciación y protección de la naturaleza están presentes, como el mito del surgimiento de la semilla del maíz y el de la obtención de los alimentos de la Montaña del Sustento. Asimismo, está presente en múltiples rituales calendáricos, como son las ceremonias del Año Nuevo, el calendario de 819 días, donde aparece como una advocación en la que se mezcla con el Señor de los Animales, en celebraciones de conmemoración de Tuun y de K’atuun y en relación al planeta Venus, siempre empleando este aspecto de proveedor de alimentos y primando su relación con la planta del maíz. Uno de sus aspectos más interesantes es el de protector de la naturaleza, el cual comparte una deidad dedicada a la protección y cuidado de los animales denominada Sip. Este carácter de protector y de proveedor de los bienes naturales para beneficio del hombre fue quizás el motivo por el cual fue elegido como símbolo del poder real, ya que su imagen fue empleada por los gobernantes mayas, primero surgiendo de barras ceremoniales, y más tarde, en forma de cetro. Este símbolo perdurará hasta el periodo Posclásico y su último ejemplo aparece durante la colonia. Asimismo fue empleado por los gobernantes en múltiples ceremonias, entre las que se encuentra la toma de dicho cetro, la invocación de seres sobrenaturales y bailes en donde su forma de cetro era empleada...

Programa de calidad para los negocios gastronómicos ubicados en municipios con potencial desarrollo turístico local. Caso práctico.

Conchagua, municipio del oriental departamento de La Unión el cual recientemente ha sido incluido dentro de la Ruta turística de El Salvador por el Ministerio de Turismo, cuenta con una diversidad de recursos naturales(como sus playas, lagunas y cerros), patrimoniales y culturales(como su Iglesia y Casas coloniales, su parque Central, sus aseadas calles, sus tradiciones como los bailes folclóricos y la gastronomía); que componen la Oferta turística que sirve de atractivo para visitantes que llegan de cualquier lugar del país, e incluso del extranjero. Es un lugar acogedor, cuya gente posee un enorme espíritu emprendedor, quienes ven en el turismo buenas oportunidades de desarrollo para sus habitantes. Una de las principales estrategias para incrementar el flujo de turistas hacia el casco Urbano del municipio, es el desarrollo de los Festivales Gastronómicos permanentes establecidos en los alrededores del Parque municipal, los cuales se desarrollan con el apoyo de los Actores locales del turismo: El Alcalde municipal, el Sacerdote de la iglesia Católica, el Director del Instituto Nacional de Conchagua, el Director de la Unidad de Salud del municipio, el Presidente de CONCHAGUA TOURS, y el Director de la Delegación de la PNC en el municipio. Estos agentes, buscan fortalecer la imagen que ofrece el municipio como destino turístico, por lo que la apuesta a la que se puntea últimamente, es a fortalecer la Calidad del Servicio que ofrecen los Negocios que forman parte del Festival Gastronómico. La Calidad del Servicio, es por tanto, el punto central de interés en el presente trabajo de investigación, en el cual se hace ver que actualmente los Negocios Gastronómicos de Conchagua no poseen una forma efectiva de identificar el nivel de Calidad que ofrecen a los visitantes, por lo que la propuesta que se muestra en el contenido de este trabajo, se enfoca en la presentación de un Programa de Calidad del Servicio, desarrollando sus Etapas sustancialmente en base al Ciclo de Mejora Contínua o Ciclo de Deming y proponiendo el desarrollo de las Evaluaciones de la Calidad del Servicio en base al Modelo SERVQUAL. Este Programa define claramente el proceso que permitirá a los Propietarios de los Negocios Gastronómicos, determinar realmente como se encuentra el Nivel de Servicio ofrecido a sus visitantes y proponer las acciones necesarias para corregir errores y mejorar gradualmente la Calidad del Servicio. Previamente fue importante diagnosticar la situación actual de estos Negocios, en cuanto a los aspectos que afectan la prestación de un servicio adecuado que satisfaga plenamente a los clientes, asi como conocer de aquellas actividades en la que los actores locales del turismo apoyan para fortalecer el trabajo que la municipalidad está desarrollando por mejorar la imagen y la oferta turística que posee el municipio de Conchagua. De esta forma, se contó con un panorama general más amplio que sentó las bases para la Propuesta del Programa de Calidad del Servicio para los Negocios Gastronómicos. En base a los resultados obtenidos durante la investigación, el municipio de Conchagua no cuenta con un Programa que permita desarrollar procesos ordenados de Evaluación de la Calidad del Servicio, que permita a los propietarios de los Negocios gastronómicos determinar qué tánto se está haciendo por mejorar la atención y el servicio a los visitantes, y es por ello, que se recomienda a los propietarios de dichos negocios, el desarrollo de Evaluaciones de la Calidad del servicio de forma periódica, organizado el trabajo de planeación, ejecución, verificación y seguimiento dentro de un Programa que les permita identificar sus fortalezas y oportunidades de mejora en cuanto al servicio brindado. Dicho Programa plantea el desarrollo de las Evaluaciones a través del Modelo SERVQUAL, el cual es un Modelo creado por los investigadores estadounidenses A. Parasuraman, Valerie A. Zeithaml y Leonard L. Berry, que define la Calidad del Servicio como la diferencia entre las Expectativas con que los clientes llegan a los Negocios, y las Percepciones que estos poseen luego de haber experimentado un servicio determinado. La diferencia entre Expectativas y Percepciones muestra las Brechas existentes en la Calidad del servicio, las cuales serán Negativas e indicarán un Nivel de Calidad deficiente cuando las Expectativas de los clientes sean mayores que las percepciones y cuando estas Brechas sean inferiores al Estándar definido como permisible, tal como se explica a lo largo del contenido de este documento.

Bailar o el arte de despojarse: ¡hormonas de la alegría trabajando!

Fondo Margaritainés Restrepo

Biografía de una Champeta. Producción, Difusión y Distribución de la Música de Picó, en Barranquilla Caribe de Colombia

Desde los años 80’s, en los barrios populares de Cartagena y Barranquilla se ha venido desarrollando un fenómeno musical denominado champeta. Este tipo de música es descendiente de bailes populares conocidos en la tradición regional como casetas o verbenas, en los cuales el eje central son grandes amplificadores de sonido denominados picós y datan aproximadamente del decenio de 1950 del siglo XX . El presente trabajo se inscribe en los estudios sociales de la música en los que se analiza los procesos de creación, difusión y distribución por los que atraviesa una canción de champeta en la ciudad de Barranquilla, Caribe de Colombia. Teniendo en cuenta que dichos procesos responden a una lógica de circulación musical alternativa enmarcada en un contexto en el que la música champeta es marginada y estigmatizada por las élites costeñas y nacionales a través de varios mecanismos discursivos, legales y mediáticos, generando unas formas de circulación musical propias que colindan entre lo informal/ilegal.