| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465866903316 |
|
|
Titolo |
Logic-Based Program Synthesis and Transformation [[electronic resource] ] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / / edited by Germán Puebla |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-86484-2 |
9786610864843 |
3-540-71410-3 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 240 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 4407 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer science |
Computer programming |
Machine theory |
Artificial intelligence |
Software Engineering |
Computer Science Logic and Foundations of Programming |
Programming Techniques |
Formal Languages and Automata Theory |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- How to Talk to a Human: The Semantic Web and the Clash of the Titans -- CHESS: Systematic Stress Testing of Concurrent Software -- Program Development -- ARM: Automatic Rule Miner -- Constructing Consensus Logic Programs -- Partial Evaluation and Program Transformation -- Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques -- Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs -- Towards Description and Optimization of Abstract Machines in an Extension of Prolog -- Security and Synthesis -- Combining Different |
|
|
|
|
|
|
|
|
|
|
|
|
|
Proof Techniques for Verifying Information Flow Security -- On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors -- Synthesis of Asynchronous Systems -- Debugging and Testing -- A Comparative Study of Algorithmic Debugging Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis -- Automated Termination Analysis for Logic Programs by Term Rewriting -- Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator -- Polytool: Proving Termination Automatically Based on Polynomial Interpretations -- Grids: A Domain for Analyzing the Distribution of Numerical Values. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910136360203321 |
|
|
Autore |
Robert Jean-Louis |
|
|
Titolo |
Plaisance près Montparnasse : Quartier parisien, 1840-1985 / / Jean-Louis Robert |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Paris, : Éditions de la Sorbonne, 2014 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (626 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Soggetti |
|
Urban Studies |
History |
Montparnasse |
Plaisance (quartier de Paris) |
quartier |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
Le QUARTIER PARISIEN est l'objet de mythes qui proviennent généralement d'une représentation sympathique d'un passé perdu. Plaisance ne saurait échapper à ces images. Or, sur la durée, l'historiographie des quartiers parisiens reste très peu abondante. Ce livre veut donc évoquer sous tous ses aspects l'histoire de Plaisance. Un très court temps une banlieue verte et plaisante de Paris, Plaisance est devenu rapidement, mais difficilement, un des quartiers les plus |
|
|
|
|
|
|
|
|
|
|
populaires, avec une large dominante ouvrière, de la capitale. C'est alors toute une riche sociabilité, où se côtoient misère, fête et parfois violence, ainsi qu'une intense vie démocratique qui se révèlent. Dans cette histoire urbaine est mis en valeur le rôle décisif des habitants-citoyens dans les politiques publiques parisiennes. Enfin, le livre évoque la période douloureuse de la destruction d'une forte partie du quartier, au prétexte de la rénovation, sans négliger les luttes et la nouvelle culture urbaine qui en sont issues. Quartier périphérique de Paris, quartier populaire, Plaisance est aussi un quartier de la rive gauche. Il en est marqué, en particulier par l'extrême abondance des artistes plasticiens qui y résident ou y ont leur atelier. Mais le livre témoigne de l'absence de présence symbolique du quartier, très peu connu des Parisiens. Il n'est qu'une arrière-cour de Montparnasse. Le livre ouvre alors le chemin à une réflexion sur la construction des légitimités symboliques. |
|
|
|
|
|
| |