A Unified Analytical Foundation for Constraint Handling Rules

The non-deterministic rule-based programming language of Constraint Handling Rules (CHR) features a remarkable combination of desirable properties: a foundation in classical logic, powerful analysis methods for deciding program properties – especially confluence – and an efficient execution model. Upon a closer look, we observe several limitations to this asset. In this thesis, we introduce several concepts to amend for these short- comings. Firstly, we propose an unusually concise formulation of the two most important semantic interpretations of CHR. Secondly, we analyse the relationship between the major diverging interpretations of CHR. Finally, we found CHR on intuitionistic linear logic.

Il formato EPUB è uno standard libero e aperto che è stato sviluppato e pensato specificamente per la produzione di libri digitali. Il grande vantaggio di questo formato è che permette al testo di adattarsi automaticamente allo schermo del dispositivo di lettura, di aumentare o diminuire la dimensione del carattere, personalizzando al massimo l’esperienza di lettura.

Adobe DRM è una tecnologia di Adobe ampiamente utilizzata dagli editori per la distribuzione e protezione dei loro eBook. Il DRM di Adobe è compatibile con la larga maggioranza di lettori eBook. Tra le eccezioni c’è il Kindle. Per visualizzare un elenco dei lettori eBook che supportano il DRM Adobe clicca qui.

Per scaricare e leggere un eBook protetto da DRM Adobe è necessario disporre di un account Adobe, ovvero un ID e una password autorizzati da Adobe e scaricare il programma gratuito Adobe Digital Editions.

Per creare un ID Adobe effettua le seguenti operazioni:

1. Vai sul sito www.adobe.it
2. Clicca sulla voce Accedi in alto a destra
3. Clicca sul bottone Crea un account Adobe
4. Segui le istruzioni

Per scaricare il programma Adobe Digital Editions visita questa pagina.

Per leggere i file protetti da Adobe DRM: per i dispositivi Apple (iPad, iPod Touch e iPhone) è consigliabile scaricare l'applicazione gratutita Bluefire Reader. Clicca qui per maggiori informazioni.

Per i dispositivi Android (tablet e smartphone) è consigliata l'applicazione Aldiko, disponibile gratuitamente nel market. Clicca qui per maggiori informazioni.