l'accesso più veloce di browser!
74 relazioni: Alan Kay, ALGOL, Alonzo Church, Bug, Compilatore, Continuazione, Corrado Böhm, Dana Scott, Deduzione naturale, Design by contract, Domain-specific language, Donald Knuth, Eiffel (linguaggio), Elenco cronologico dei linguaggi di programmazione, Fortran, Garbage collection, Gerarchia di Chomsky, Gilles Kahn, Gordon Plotkin, Haskell (linguaggio), IBM, Informatica, Ingegneria del software, Instruction set, Intuizionismo, John Backus, John McCarthy, Konrad Zuse, Lambda calcolo, Linguaggio di programmazione, Linguaggio di programmazione ad altissimo livello, Linguistica, Lisp, Logica di Hoare, Macchina virtuale, Massachusetts Institute of Technology, Matematica, Miranda (linguaggio di programmazione), ML (linguaggio di programmazione), Monade (informatica), Noam Chomsky, Paradigma di programmazione, Parsing, Plankalkül, Polimorfismo (informatica), Premio Turing, Programmazione (informatica), Programmazione funzionale, Programmazione logica, Programmazione orientata agli oggetti, ..., Prolog, Rivista accademica, Robin Milner, Run-time system, Scheme, Semantica (informatica), Semantica denotazionale, Semantica operazionale, Simula, Sistema dei tipi, Sistema F, Smalltalk, Stephen Kleene, Teoria degli insiemi, Teoria dei tipi, Teoria della calcolabilità, Teoria delle categorie, Tony Hoare, Università Carnegie Mellon, Università della Pennsylvania, Università di Utrecht, Valore (informatica), Visibilità (programmazione), Xerox Palo Alto Research Center. Espandi índice (24 più) »
Alan Kay
Si laurea in matematica e biologia molecolare presso l'University of Colorado; consegue un master e un dottorato presso l'University of Utah.
Nuovo!!: Teoria dei linguaggi di programmazione e Alan Kay · Mostra di più »
ALGOL
ALGOL (abbreviazione di ALGOrithmic Language, ossia linguaggio algoritmico) è un linguaggio di programmazione sviluppato nel 1958.
Nuovo!!: Teoria dei linguaggi di programmazione e ALGOL · Mostra di più »
Alonzo Church
Ha dato importanti contributi allo sviluppo della logica matematica e ai fondamenti dell'informatica teorica.
Nuovo!!: Teoria dei linguaggi di programmazione e Alonzo Church · Mostra di più »
Bug
Il termine inglese bug (pronuncia inglese; in italiano), in italiano baco, identifica in informatica un errore nella scrittura del codice sorgente di un programma software.
Nuovo!!: Teoria dei linguaggi di programmazione e Bug · Mostra di più »
Compilatore
Un compilatore è un programma informatico che traduce una serie di istruzioni scritte in un determinato linguaggio di programmazione (codice sorgente) in istruzioni di un altro linguaggio (codice oggetto).
Nuovo!!: Teoria dei linguaggi di programmazione e Compilatore · Mostra di più »
Continuazione
In informatica, una continuazione (continuation in inglese) è un modo per rappresentare lo stato di esecuzione di un programma (vedi anche Stack) ad un punto dato.
Nuovo!!: Teoria dei linguaggi di programmazione e Continuazione · Mostra di più »
Corrado Böhm
Studente di ingegneria, nel 1942 lascia l'Italia per la Svizzera e continua gli studi presso l'École Polytechnique Fédérale di Losanna, dove nel 1946 ottiene il diploma di ingegnere elettronico.
Nuovo!!: Teoria dei linguaggi di programmazione e Corrado Böhm · Mostra di più »
Dana Scott
È stato professore emerito di informatica all'Hillman University, filosofia e logica matematica alla Carnegie Mellon University; ora è in pensione e vive a Berkeley, California.
Nuovo!!: Teoria dei linguaggi di programmazione e Dana Scott · Mostra di più »
Deduzione naturale
La deduzione naturale è, nel campo della logica, un sistema deduttivo.
Nuovo!!: Teoria dei linguaggi di programmazione e Deduzione naturale · Mostra di più »
Design by contract
Design by contract (in sigla: DBC) o progettazione per contratto è una metodologia per progettare il software.
Nuovo!!: Teoria dei linguaggi di programmazione e Design by contract · Mostra di più »
Domain-specific language
Un domain-specific language (in sigla DSL) o linguaggio di dominio specifico nello sviluppo software e nell'ingegneria di dominio è un linguaggio di programmazione o un linguaggio di specifica dedicato a particolari problemi di un dominio, a una particolare tecnica di rappresentazione e/o a una particolare soluzione tecnica.
Nuovo!!: Teoria dei linguaggi di programmazione e Domain-specific language · Mostra di più »
Donald Knuth
Rinomato studioso di matematica (soprattutto di conoscenze che ora sono confluite nell'informatica), è professore emerito presso la Stanford University.
Nuovo!!: Teoria dei linguaggi di programmazione e Donald Knuth · Mostra di più »
Eiffel (linguaggio)
Eiffel è un linguaggio di programmazione object-oriented che enfatizza la scrittura di programmi robusti.
Nuovo!!: Teoria dei linguaggi di programmazione e Eiffel (linguaggio) · Mostra di più »
Elenco cronologico dei linguaggi di programmazione
Questo è un elenco cronologico dei linguaggi di programmazione per ordine di apparizione.
Nuovo!!: Teoria dei linguaggi di programmazione e Elenco cronologico dei linguaggi di programmazione · Mostra di più »
Fortran
Fortran (o FORTRAN) - acronimo di FORmula TRANslation (o TRANslator) ovvero "traduzione (o traduttore) di formule" - è uno dei primi linguaggi di programmazione, sviluppato a partire dal 1954 da un gruppo di lavoro guidato da John Backus.
Nuovo!!: Teoria dei linguaggi di programmazione e Fortran · Mostra di più »
Garbage collection
"Doppio bug-free"). C'è da correggere lungo tutta la pagina. Nota: la voce non sembra essere stata ottenuta COMPLETAMENTE mediante traduzione automatica (vedi Teplate:Da correggere) --> In informatica per garbage collection (termine a volte abbreviato con GC, letteralmente raccolta dei rifiuti) si intende una modalità automatica di gestione della memoria, mediante la quale un sistema operativo, o un compilatore e un modulo di run-time, liberano porzioni di memoria non più utilizzate dalle applicazioni. In altre parole, il garbage collector annoterà le aree di memoria non più referenziate, cioè allocate da un processo attivo, e le libererà automaticamente. La garbage collection è stata inventata nel 1959 da John McCarthy per il linguaggio di programmazione Lisp. Questo meccanismo ha condotto ad un notevole cambio nello stile di programmazione dei linguaggi che lo implementano. Infatti non è più necessario richiedere esplicitamente la liberazione della memoria utilizzata da un oggetto, ovvero terminare tale oggetto in modo deterministico, ma si lascia che il sistema esegua questa operazione automaticamente, nel momento in cui lo riterrà più opportuno al fine di migliorare le prestazioni complessive. Tale azione viene definita nell'ambito delle finalizzazioni non deterministiche.
Nuovo!!: Teoria dei linguaggi di programmazione e Garbage collection · Mostra di più »
Gerarchia di Chomsky
La gerarchia di Chomsky è un insieme di classi di grammatiche formali che generano linguaggi formali.
Nuovo!!: Teoria dei linguaggi di programmazione e Gerarchia di Chomsky · Mostra di più »
Gilles Kahn
Ha introdotto il concetto di reti di processo di Kahn (Kahn process network), un modello usato nel calcolo parallelo per la descrizione della semantica dei linguaggi di programmazione.
Nuovo!!: Teoria dei linguaggi di programmazione e Gilles Kahn · Mostra di più »
Gordon Plotkin
Sviluppò la semantica operazionale strutturale (SOS) ed ha lavorato anche sulla semantica denotazionale.
Nuovo!!: Teoria dei linguaggi di programmazione e Gordon Plotkin · Mostra di più »
Haskell (linguaggio)
Haskell è un linguaggio di programmazione puramente funzionale general-purpose creato da un apposito comitato alla fine degli anni ottanta principalmente per analizzare le caratteristiche dei linguaggi.
Nuovo!!: Teoria dei linguaggi di programmazione e Haskell (linguaggio) · Mostra di più »
IBM
L'International Business Machines Corporation (comunemente nota come IBM, e soprannominata "Big Blue"), è un'azienda statunitense, tra le maggiori al mondo nel settore informatico.
Nuovo!!: Teoria dei linguaggi di programmazione e IBM · Mostra di più »
Informatica
L'informatica è la scienza applicata che si occupa del trattamento dell'informazione mediante procedure automatizzate.
Nuovo!!: Teoria dei linguaggi di programmazione e Informatica · Mostra di più »
Ingegneria del software
Per ingegneria del software (software engineering in inglese) si intende quella disciplina che si occupa dei processi produttivi e delle metodologie di sviluppo finalizzate alla realizzazione di sistemi software.
Nuovo!!: Teoria dei linguaggi di programmazione e Ingegneria del software · Mostra di più »
Instruction set
In informatica ed elettronica un instruction set, o Instruction Set Architecture (ISA), (in lingua italiana insieme d'istruzioni) descrive quegli aspetti dell'architettura di un calcolatore che sono visibili al programmatore.
Nuovo!!: Teoria dei linguaggi di programmazione e Instruction set · Mostra di più »
Intuizionismo
Nella filosofia della matematica, l'intuizionismo, o neointuizionismo (opposto al preintuizionismo), è un approccio alla matematica in cui ogni oggetto matematico è considerato un prodotto dell'attività costruttiva della mente umana.
Nuovo!!: Teoria dei linguaggi di programmazione e Intuizionismo · Mostra di più »
John Backus
Per ovviare alla difficoltà di programmazione del calcolatori dell'epoca, nel 1954 Backus iniziò la direzione di un progetto di ricerca della IBM per il progetto e la realizzazione di un linguaggio di programmazione più vicino alla comune notazione matematica.
Nuovo!!: Teoria dei linguaggi di programmazione e John Backus · Mostra di più »
John McCarthy
McCarthy si distingueva per le sue conoscenze di logica matematica in relazione all'Intelligenza Artificiale.
Nuovo!!: Teoria dei linguaggi di programmazione e John McCarthy · Mostra di più »
Konrad Zuse
Nei difficili anni della Repubblica di Weimar si mantenne agli studi vendendo propri quadri in stile futurista secondo la tendenza dell'epoca; coltivò poi la pittura come hobby per tutta la vita.
Nuovo!!: Teoria dei linguaggi di programmazione e Konrad Zuse · Mostra di più »
Lambda calcolo
Il lambda calcolo o λ-calcolo è un sistema formale definito dal matematico Alonzo Church, sviluppato per analizzare formalmente le funzioni e il loro calcolo.
Nuovo!!: Teoria dei linguaggi di programmazione e Lambda calcolo · Mostra di più »
Linguaggio di programmazione
Un linguaggio di programmazione, in informatica, è un linguaggio formale che specifica un insieme di istruzioni che possono essere usate per produrre dati in output.
Nuovo!!: Teoria dei linguaggi di programmazione e Linguaggio di programmazione · Mostra di più »
Linguaggio di programmazione ad altissimo livello
In informatica un linguaggio di programmazione ad altissimo livello è un linguaggio di programmazione con un altissimo livello di astrazione, usato principalmente come strumento per i programmatori professionisti.
Nuovo!!: Teoria dei linguaggi di programmazione e Linguaggio di programmazione ad altissimo livello · Mostra di più »
Linguistica
La linguistica è la disciplina scientifica che studia il linguaggio umano (inteso come la capacità dell'uomo di comunicare) e le sue manifestazioni (le lingue parlate nel mondo).
Nuovo!!: Teoria dei linguaggi di programmazione e Linguistica · Mostra di più »
Lisp
Lisp (List Processor) è una famiglia di linguaggi di programmazione con implementazioni sia compilate sia interpretate, associata nel passato ai progetti di intelligenza artificiale.
Nuovo!!: Teoria dei linguaggi di programmazione e Lisp · Mostra di più »
Logica di Hoare
La logica di Hoare è un sistema formale che rientra tra le semantiche assiomatiche pubblicato per la prima volta nel 1969 da C. A. R. Hoare che si prefigge, definendo un insieme iniziale di assiomi e di regole su di essi, di valutare la correttezza di programmi utilizzando il rigore dei formalismi matematici.
Nuovo!!: Teoria dei linguaggi di programmazione e Logica di Hoare · Mostra di più »
Macchina virtuale
In informatica il termine macchina virtuale (VM) indica un software che, attraverso un processo di virtualizzazione, crea un ambiente virtuale che emula tipicamente il comportamento di una macchina fisica (PC client o server) grazie all'assegnazione di risorse hardware (porzioni di disco rigido, RAM e risorse di processamento) ed in cui alcune applicazioni possono essere eseguite come se interagissero con tale macchina; infatti se dovesse andare fuori uso il sistema operativo che gira sulla macchina virtuale, il sistema di base non ne risentirebbe affatto.
Nuovo!!: Teoria dei linguaggi di programmazione e Macchina virtuale · Mostra di più »
Massachusetts Institute of Technology
L'Istituto di tecnologia del Massachusetts (in inglese: Massachusetts Institute of Technology, MIT) è una delle più importanti università di ricerca del mondo con sede a Cambridge, nel Massachusetts (Stati Uniti).
Nuovo!!: Teoria dei linguaggi di programmazione e Massachusetts Institute of Technology · Mostra di più »
Matematica
La matematica (dal greco μάθημα (máthema), traducibile con i termini "scienza", "conoscenza" o "apprendimento"; μαθηματικός (mathematikós) significa "incline ad apprendere") è la disciplina che studia le quantità (i numeri), lo spazio,.
Nuovo!!: Teoria dei linguaggi di programmazione e Matematica · Mostra di più »
Miranda (linguaggio di programmazione)
Miranda è un linguaggio di programmazione puramente funzionale sviluppato da David Turner come successore dei suoi precedenti linguaggi di programmazione SASL e KRC utilizzando alcuni concetti di ML ed Hope.
Nuovo!!: Teoria dei linguaggi di programmazione e Miranda (linguaggio di programmazione) · Mostra di più »
ML (linguaggio di programmazione)
ML è un linguaggio di programmazione funzionale general purpose sviluppato dall'équipe di Robin Milner presso l'Università di Edimburgo alla fine degli anni 70, con una sintassi ispirata ad ISWIM.
Nuovo!!: Teoria dei linguaggi di programmazione e ML (linguaggio di programmazione) · Mostra di più »
Monade (informatica)
Una Monade è una struttura che esprime una classe di computazioni concatenabili.
Nuovo!!: Teoria dei linguaggi di programmazione e Monade (informatica) · Mostra di più »
Noam Chomsky
Professore emerito di linguistica al Massachusetts Institute of Technology, è riconosciuto come il fondatore della grammatica generativo-trasformazionale, spesso indicata come il più rilevante contributo alla linguistica teorica del XX secolo.
Nuovo!!: Teoria dei linguaggi di programmazione e Noam Chomsky · Mostra di più »
Paradigma di programmazione
In informatica, un paradigma di programmazione è uno stile fondamentale di programmazione, ovvero un insieme di strumenti concettuali forniti da un linguaggio di programmazione per la stesura del codice sorgente di un programma, definendo dunque il modo in cui il programmatore concepisce e percepisce il programma stesso.
Nuovo!!: Teoria dei linguaggi di programmazione e Paradigma di programmazione · Mostra di più »
Parsing
In informatica, il parsing, analisi sintattica o parsificazione è un processo che analizza un flusso continuo di dati in ingresso (input, letti per esempio da un file o una tastiera) in modo da determinare la sua struttura grazie ad una data grammatica formale.
Nuovo!!: Teoria dei linguaggi di programmazione e Parsing · Mostra di più »
Plankalkül
Il Plankalkül (in tedesco "calcolo dei programmi") è un linguaggio di programmazione sviluppato per applicazioni ingegneristiche da Konrad Zuse.
Nuovo!!: Teoria dei linguaggi di programmazione e Plankalkül · Mostra di più »
Polimorfismo (informatica)
In informatica, il termine polimorfismo (dal greco πολυμορφος composto dai termini πολυ molto e μορφή forma quindi "avere molte forme") viene usato in senso generico per riferirsi a espressioni che possono rappresentare valori di diversi tipi (dette espressioni polimorfiche).
Nuovo!!: Teoria dei linguaggi di programmazione e Polimorfismo (informatica) · Mostra di più »
Premio Turing
L'A.M. Turing Award (in italiano, premio Turing) è un premio, assegnato annualmente dalla Association for Computing Machinery (ACM), ad una personalità che eccelle per i contributi di natura tecnica offerti alla comunità informatica, in particolare per progressi che siano duraturi e di elevata importanza tecnica.
Nuovo!!: Teoria dei linguaggi di programmazione e Premio Turing · Mostra di più »
Programmazione (informatica)
La programmazione, in informatica, è l'insieme delle attività e tecniche che una o più persone specializzate, programmatori o sviluppatori (developer), svolgono per creare un programma, ossia un software da far eseguire ad un computer, scrivendo il relativo codice sorgente in un determinato linguaggio di programmazione.
Nuovo!!: Teoria dei linguaggi di programmazione e Programmazione (informatica) · Mostra di più »
Programmazione funzionale
In informatica la programmazione funzionale è un paradigma di programmazione in cui il flusso di esecuzione del programma assume la forma di una serie di valutazioni di funzioni matematiche.
Nuovo!!: Teoria dei linguaggi di programmazione e Programmazione funzionale · Mostra di più »
Programmazione logica
In informatica la programmazione logica è un paradigma di programmazione che adotta la logica del primo ordine sia per rappresentare sia per elaborare l'informazione.
Nuovo!!: Teoria dei linguaggi di programmazione e Programmazione logica · Mostra di più »
Programmazione orientata agli oggetti
In informatica la programmazione orientata agli oggetti (OOP, Object Oriented Programming) è un paradigma di programmazione che permette di definire oggetti software in grado di interagire gli uni con gli altri attraverso lo scambio di messaggi.
Nuovo!!: Teoria dei linguaggi di programmazione e Programmazione orientata agli oggetti · Mostra di più »
Prolog
Il Prolog (contrazione del francese PROgrammation en LOGique) è un linguaggio di programmazione che adotta il paradigma di programmazione logica.
Nuovo!!: Teoria dei linguaggi di programmazione e Prolog · Mostra di più »
Rivista accademica
Nell'editoria accademica una rivista accademica è un periodico in cui vengono pubblicati contributi tecnico-scientifici di scienziati ed esperti di una disciplina accademica previa revisione paritaria (in inglese, peer review).
Nuovo!!: Teoria dei linguaggi di programmazione e Rivista accademica · Mostra di più »
Robin Milner
Categoria:Vincitori del premio Turing.
Nuovo!!: Teoria dei linguaggi di programmazione e Robin Milner · Mostra di più »
Run-time system
Run-time system (o runtime system) è il termine con cui in informatica si designa quel software che fornisce i servizi necessari all'esecuzione di un programma, pur non facendo parte in senso stretto del sistema operativo.
Nuovo!!: Teoria dei linguaggi di programmazione e Run-time system · Mostra di più »
Scheme
Scheme è un linguaggio di programmazione funzionale, un dialetto del Lisp di cui mantiene tutte le caratteristiche, che è stato sviluppato negli anni settanta da Guy L. Steele e Gerald Jay Sussman, che lo introdussero nel mondo accademico con una serie di articoli noti come le Lambda Papers e nel libro Structure and Interpretation of Computer Programs, usato per decenni come testo in alcuni esami di Scienze dell'Informazione.
Nuovo!!: Teoria dei linguaggi di programmazione e Scheme · Mostra di più »
Semantica (informatica)
Nel campo dell'informatica teorica, il termine semantica formale riguarda i modelli matematici che definiscono formalmente i linguaggi di programmazione o, più generalmente, la computazione stessa.
Nuovo!!: Teoria dei linguaggi di programmazione e Semantica (informatica) · Mostra di più »
Semantica denotazionale
In informatica, la semantica denotazionale è un approccio per formalizzare il significato dei linguaggi di programmazione, costruendo oggetti matematici (chiamati denotazioni) i quali descrivono i significati delle espressioni del linguaggio.
Nuovo!!: Teoria dei linguaggi di programmazione e Semantica denotazionale · Mostra di più »
Semantica operazionale
La semantica operazionale descrive l'esecuzione di un programma attraverso transizioni definite direttamente sul linguaggio del programma.
Nuovo!!: Teoria dei linguaggi di programmazione e Semantica operazionale · Mostra di più »
Simula
Il Simula è stato il primo linguaggio di programmazione orientato agli oggetti (OOP).
Nuovo!!: Teoria dei linguaggi di programmazione e Simula · Mostra di più »
Sistema dei tipi
In informatica, un sistema dei tipi è un framework sintattico per la classificazione di espressioni secondo i tipi che esse calcolano.
Nuovo!!: Teoria dei linguaggi di programmazione e Sistema dei tipi · Mostra di più »
Sistema F
Il sistema F, anche conosciuto come lambda calcolo polimorfico o lambda calcolo di secondo ordine, è un lambda calcolo tipizzato.
Nuovo!!: Teoria dei linguaggi di programmazione e Sistema F · Mostra di più »
Smalltalk
Smalltalk è un linguaggio di programmazione orientato agli oggetti con gestione dinamica dei tipi e con un paradigma di programmazione riflessivo.
Nuovo!!: Teoria dei linguaggi di programmazione e Smalltalk · Mostra di più »
Stephen Kleene
Kleene fu ancor meglio conosciuto per la fondazione del ramo della logica matematica conosciuta come teoria della ricorsione insieme con Alonzo Church, Kurt Gödel, Alan Turing ed altri, e per l'aver inventato le espressioni regolari.
Nuovo!!: Teoria dei linguaggi di programmazione e Stephen Kleene · Mostra di più »
Teoria degli insiemi
La teoria degli insiemi è una teoria matematica posta ai fondamenti della matematica stessa, collocandosi nell'ambito della logica matematica.
Nuovo!!: Teoria dei linguaggi di programmazione e Teoria degli insiemi · Mostra di più »
Teoria dei tipi
Dal punto di vista più generale, la teoria dei tipi è la branca della matematica e della logica che si occupa di classificare generiche entità, raggruppandole in collezioni chiamate tipi.
Nuovo!!: Teoria dei linguaggi di programmazione e Teoria dei tipi · Mostra di più »
Teoria della calcolabilità
La teoria della calcolabilità, della computabilità, e della ricorsione cerca di comprendere quali funzioni possono essere calcolate tramite un procedimento automatico.
Nuovo!!: Teoria dei linguaggi di programmazione e Teoria della calcolabilità · Mostra di più »
Teoria delle categorie
La teoria delle categorie è una teoria matematica che studia in modo astratto le strutture matematiche e le relazioni tra esse.
Nuovo!!: Teoria dei linguaggi di programmazione e Teoria delle categorie · Mostra di più »
Tony Hoare
Ha trovato larga fama grazie all'invenzione, nel 1960, del quicksort, l'algoritmo di ordinamento più usato al mondo.
Nuovo!!: Teoria dei linguaggi di programmazione e Tony Hoare · Mostra di più »
Università Carnegie Mellon
L'Università Carnegie Mellon (in inglese Carnegie Mellon University) è una università privata di Pittsburgh, in Pennsylvania.
Nuovo!!: Teoria dei linguaggi di programmazione e Università Carnegie Mellon · Mostra di più »
Università della Pennsylvania
L'Università della Pennsylvania (comunemente denominata Penn o UPenn), situata a Filadelfia, è una delle più antiche ed importanti università negli Stati Uniti.
Nuovo!!: Teoria dei linguaggi di programmazione e Università della Pennsylvania · Mostra di più »
Università di Utrecht
L'Università di Utrecht (in olandese Universiteit Utrecht) si trova a Utrecht ed è stata fondata nel 1636.
Nuovo!!: Teoria dei linguaggi di programmazione e Università di Utrecht · Mostra di più »
Valore (informatica)
In informatica, un valore può essere un numero una stringa, un array o qualunque altra cosa che può essere utilizzata come se fosse un numero.
Nuovo!!: Teoria dei linguaggi di programmazione e Valore (informatica) · Mostra di più »
Visibilità (programmazione)
La visibilità (in inglese scope), in programmazione, è l'esistenza e la possibilità di richiamare un identificatore, in particolar modo una variabile, in un determinato punto del programma.
Nuovo!!: Teoria dei linguaggi di programmazione e Visibilità (programmazione) · Mostra di più »
Xerox Palo Alto Research Center
Xerox Palo Alto Research Center (Xerox PARC) è la più famosa divisione di ricerca della Xerox Corporation, con sede a Palo Alto (California), negli USA.
Nuovo!!: Teoria dei linguaggi di programmazione e Xerox Palo Alto Research Center · Mostra di più »
