Dettaglio del documento
-
Il permalink è stato copiato, puoi utilizzarlo immediatamente.
E’ sufficiente premere i tasti “Ctrl+v” per posizionarlo dove preferite.
Linguaggi formali e compilazione
Abstract
I compilatori traducono i linguaggi artificiali (come Java e XML) nelle rappresentazioni usate dalle macchine di calcolo: senza di essi non esisterebbe l'informatica. I concetti della compilazione hanno avuto origine nella linguistica strutturale e nella logica matematica, da cui si sono sviluppati gli algoritmi e i metodi di progetto che hanno realizzato innumerevoli linguaggi.
[...]
Il testo espone in modo piano e rigoroso le grammatiche formali, gli automi, gli algoritmi di analisi sintattica, le relazioni di traduzione e gli automi traduttori, le traduzioni guidate dalla sintassi e le funzioni semantiche, terminando con l'analisi statica del flusso nei programmi. Molti esempi, semplici ma realistici, conducono il lettore verso la comprensione analitica e la capacità progettuale delle tecniche elementari di compilazione. L'esperienza degli autori nella ricerca e sviluppo su linguaggi e compilatori si riflette nella selezione degli argomenti, sempre motivata da finalità applicativa e da economia concettuale. L'opera vuole trovare un giusto medio tra i testi di orientamento puramente teorico e i manuali dei compilatori. Il passaggio dagli algoritmi all'implementazione è sufficientemente delineato, senza prolissità, affinché un lettore di cultura informatica possa compierlo da solo. Al termine del percorso, il lettore comprenderà il funzionamento delle parti essenziali di un compilatore, conoscerà gli algoritmi usati negli strumenti (scanner parser generator) e potrà progettare semplici linguaggi e traduttori sintattici. Il testo è adatto a un corso universitario di cinque crediti per studenti con almeno due anni di informatica alle spalle. Esso è la base per approfondimenti specialistici in più direzioni, quali: l'ottimizzazione del codice-macchina, i sistemi anti-intrusione, i linguaggi interattivi e grafici, i metodi per il trattamento del linguaggio naturale e i linguaggi per l'accesso ai grandi dati della Rete.
- Lo trovi in
- Scheda
Biblioteca
Biblioteca di Economia e Giurisprudenza
Informazioni sui servizi:
Richiesta di prestito:
La richiesta consente di riservare volumi che risultino disponibili per il prestito.
Se l’utente li vuole ritirare il giorno stesso, dovrà attendere che vengano recuperati da deposito; altrimenti i documenti richiesti saranno preparati presso il banco prestiti a partire dal mattino successivo. I volumi rimarranno riservati a nome del richiedente per tre giorni, trascorsi i quali torneranno disponibili per gli altri utenti.
Docenti e ricercatori che desiderino ricevere i volumi con consegna "sulla scrivania" sono pregati di indicare l'indirizzo di recapito nel campo note che appare in fase di conferma della richiesta (in caso di utilizzo del catalogo tradizionale comunicarlo via email alla Biblioteca: biblioteca.beg@unibs.it).
Le richieste di prestito inviate da utenti esterni si intendono per la sola consultazione in sede.
Documento disponibile