A flexible (C)LP-based approach to the analysis of object-oriented programs

Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of the work involving object-oriented languages and abstract interpretation usually omits the description of that language or just refers to the Control Flow Graph(CFG) it represents. However, this lack of formalization on one hand results in an absence of assurances regarding the correctness of the transformation and on the other it typically strongly couples the analysis to the source language. In this work we present a framework for analysis of object-oriented languages in which in a first phase we transform the input program into a representation based on Horn clauses. This allows on one hand proving the transformation correct attending to a simple condition and on the other being able to apply an existing analyzer for (constraint) logic programming to automatically derive a safe approximation of the semantics of the original program. The approach is flexible in the sense that the first phase decouples the analyzer from most languagedependent features, and correct because the set of Horn clauses returned by the transformation phase safely approximates the standard semantics of the input program. The resulting analysis is also reasonably scalable due to the use of mature, modular (C)LP-based analyzers. The overall approach allows us to report results for medium-sized programs.

A documentation generator for (C)LP systems

We describe lpdoc, a tool which generates documentation manuals automatically from one or more logic program source files, written in Ciao, ISO-Prolog, 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 versión 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 asseriion 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, debugging, 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 interactively from emacs or from the command line, in many formats including texinfo, dvi, ps, pdf, info, ascii, html/css, Unix nroff/man, Windows help, etc., and can include bibliographic citations and images, lpdoc can also genérate "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 inclusión in on-line Índices 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.

Tractatus de diuina perfectione, infininate et magnitudine, circa illa verba, Ego sum, qui sum, [et]c. Exodi Capit. 3 : cui annexus est alius Tractatus De perfectione actus essendi creati, circa aliquot quæstiones ... / Authore F. Petro de Ledesma ... ;

Colofón en 3K6r

Tractatus de diuina perfectione, infininate et magnitudine, circa illa verba, Ego sum, qui sum, [et]c. Exodi Capit. 3 : cui annexus est alius Tractatus De perfectione actus essendi creati, circa aliquot quæstiones ... / Authore F. Petro de Ledesma ... ; cum triplici indice copiosissimo locorum sacrae Scripturae, [et] rerum hoc libro contentarum

Colofón en 3K6r

Censura crítica del alfabeto primitivo de España y pretendidos monumentos literarios del vascuence / por D. J. A. C., cura de Montuenga.

Digitalización Vitoria-Gasteiz Archivos y Bibliotecas Mayo 1994 18-24

Sextus decretalium liber / a Bonifacio octauo in concilio Lugdunensi editus ; C[um] glossematum diuisionibus que ex nouella Ioannis andree, suis sunt locis passim apposite, C[um] Interpretamentis domini Helie [et] Dominici de sancto Geminiano ... ; C[um]

Capitulares grab. xil.

Leçons élémentaires des ombres dans l'architecture : faisant suite aux Regles des cinq ordres de Vignole : ouurage qui donne les notions préliminaires des différents effets des plans [et] des éléuations ... / par C.M. Delagardette ...

Las h. de grab. calc. con port. propia

ANN and Fuzzy c-Means applied to environmental pollution prediction

Salamanca, situated in center of Mexico is among the cities which suffer most from the air pollution in Mexico. The vehicular park and the industry, as well as orography and climatic characteristics have propitiated the increment in pollutant concentration of Sulphur Dioxide (SO2). In this work, a Multilayer Perceptron Neural Network has been used to make the prediction of an hour ahead of pollutant concentration. A database used to train the Neural Network corresponds to historical time series of meteorological variables and air pollutant concentrations of SO2. Before the prediction, Fuzzy c-Means and K-means clustering algorithms have been implemented in order to find relationship among pollutant and meteorological variables. Our experiments with the proposed system show the importance of this set of meteorological variables on the prediction of SO2 pollutant concentrations and the neural network efficiency. The performance estimation is determined using the Root Mean Square Error (RMSE) and Mean Absolute Error (MAE). The results showed that the information obtained in the clustering step allows a prediction of an hour ahead, with data from past 2 hours.

Uma crítica à realidade e a Deus Um estudo exegético em Jó 24,1-12

O livro de Jó pertence à literatura sapiencial de Israel. Seu conteúdo é um grande debate entre sábios. Estes formavam um segmento educado da população: sabiam ler e escrever. A sabedoria era demasiadamente valorizada e concebida como orientação prudente para a vida. O texto 24,1-12 de Jó pertence à parte poética do livro. O poema foi escrito na primeira metade do século V a.C., no período do pós exílio, durante a dominação dos persas. Este império trouxe profundas modificações para a vida do povo em Judá. Apesar da aparente tolerância por parte de seus governantes, eles criaram métodos muito eficazes para alcançar seus objetivos de controle sobre os povos submetidos. Através de um forte aparelho burocrático, fiscal e militar controlavam e garantiam a ordem e o pagamento de tributos. O templo tornou-se o intermediário entre o império e o povo. A economia e a sociedade se estruturaram conforme o regime imposto pelos persas. Essa política econômica e administrativa favorecia o enriquecimento dos setores dominantes, e conseqüentemente o empobrecimento cada vez maior dos camponeses. Os sacerdotes eram os líderes do povo e a teologia da retribuição se fortaleceu muito nessa época. No entanto, a justiça de Deus explicada pela teologia da retribuição deparava-se com o problema do mal e do sofrimento do justo. É a partir da experiência e da observação da realidade que se origina um movimento de resistência à teologia da retribuição. No capítulo 24,1-12, Jó se lança numa contemplação sobre a sociedade dividida entre opressores e oprimidos. Desmonta o funcionamento da sociedade mostrando suas rupturas e conflitos graves. Sua intenção nesse texto é mostrar através da realidade, porque não concorda com as afirmações dos sábios que defendem a teologia da retribuição, sobre o castigo infalível para os ímpios ricos e sobre o sofrimento do pobre como indicação de castigo.(AU)

Uma crítica à realidade e a Deus Um estudo exegético em Jó 24,1-12

O livro de Jó pertence à literatura sapiencial de Israel. Seu conteúdo é um grande debate entre sábios. Estes formavam um segmento educado da população: sabiam ler e escrever. A sabedoria era demasiadamente valorizada e concebida como orientação prudente para a vida. O texto 24,1-12 de Jó pertence à parte poética do livro. O poema foi escrito na primeira metade do século V a.C., no período do pós exílio, durante a dominação dos persas. Este império trouxe profundas modificações para a vida do povo em Judá. Apesar da aparente tolerância por parte de seus governantes, eles criaram métodos muito eficazes para alcançar seus objetivos de controle sobre os povos submetidos. Através de um forte aparelho burocrático, fiscal e militar controlavam e garantiam a ordem e o pagamento de tributos. O templo tornou-se o intermediário entre o império e o povo. A economia e a sociedade se estruturaram conforme o regime imposto pelos persas. Essa política econômica e administrativa favorecia o enriquecimento dos setores dominantes, e conseqüentemente o empobrecimento cada vez maior dos camponeses. Os sacerdotes eram os líderes do povo e a teologia da retribuição se fortaleceu muito nessa época. No entanto, a justiça de Deus explicada pela teologia da retribuição deparava-se com o problema do mal e do sofrimento do justo. É a partir da experiência e da observação da realidade que se origina um movimento de resistência à teologia da retribuição. No capítulo 24,1-12, Jó se lança numa contemplação sobre a sociedade dividida entre opressores e oprimidos. Desmonta o funcionamento da sociedade mostrando suas rupturas e conflitos graves. Sua intenção nesse texto é mostrar através da realidade, porque não concorda com as afirmações dos sábios que defendem a teologia da retribuição, sobre o castigo infalível para os ímpios ricos e sobre o sofrimento do pobre como indicação de castigo.(AU)

BALAÃO – O QUE OUVE AS PALAVRAS DE EL, TEM O CONHECIMENTO DE ELYON E VÊ A VISÃO DE SHADDAI: UM ESTUDO DE NÚMEROS 22-24

A presente pesquisa busca avaliar exegeticamente o texto que se encontra na Bíblia, especificamente no livro de Números capítulos 22-24 que relata sobre um personagem conhecido como Balaão. A pesquisa tem também como objeto o estudo sobre o panteão de divindades relatado no mesmo texto, assim como também o estudo dos textos descobertos em Deir Alla, na Jordânia, que apresentam um personagem designado como Balaão, possivelmente o mesmo personagem de Nm 22-24. A motivação que levou ao desenvolvimento dessa pesquisa foi o fato de se ter deparado com os conceitos dos diversos nomes divinos exibidos no texto, além da questão do profetismo fora de Israel, assim como as possibilidades hermenêuticas que se abrem para a leitura desse texto bíblico. O conceito geral sempre foi o de que Israel era a única nação onde existiam “verdadeiros” profetas e uma adoração a um único Deus, o “monoteísmo”. O que despertou interesse foi perceber, especialmente por meio da leitura dos livros bíblicos, que o profetismo não se restringiu somente a Israel. Ele antecede à formação do antigo Israel e já existia no âmbito das terras do antigo Oriente Médio, e que Israel ainda demorou muito tempo para ser monoteísta. Quem é esse Balaão, filho de Beor? Estudaremos sobre sua pessoa e sua missão. Examinaremos os textos de Deir Alla sobre Balaão e sua natureza de personagem mediador entre o divino e o humano. Esse personagem é apresentado como um grande profeta e que era famoso como intérprete de presságios divinos. Analisaremos a importante questão sobre o panteão de deuses que são apresentados na narrativa de Balaão nomeados como: El, Elyon Elohim e Shaddai, além de Yahweh. Entendemos, a princípio, que o texto possui uma conexão com a sociedade na qual foi criado e usando da metodologia exegética, faremos uma análise da narrativa em questão, buscando compreender o sentido do texto, dentro de seu cenário histórico e social. Cenário este, que nos apresentou esse profeta, não israelita, que profere bênçãos dos deuses sobre Israel e que, além disso, pronuncia maldições sobre os inimigos desse mesmo Israel. Percebemos que, parte do texto pesquisado é apresentado sob a ótica de Israel sobre as outras nações. A pesquisa defende, portanto, que o texto de Nm 22-24, além de nos apresentar um profeta fora de Israel igual aos profetas da Bíblia, defende que, o panteão de divindades também era adorado por Israel e que tais nomes são epítetos de uma mesma divindade, no caso YHWH. Defende, também, um delineamento de um projeto de domínio político e militar de Israel sobre as nações circunvizinhas.