Per quanto perdesse il suo nome nel diventare, come Costantinopoli o Nuova Roma, la capitale dell'Impero d'Oriente, Bisanzio ebbe la sorte di essere ancora ricordata quando si volle designare l'arte, la [...] in Zeitschr. f. Rechtsgesch., II, 1870, p. 185 segg. e Gesch. der Quellen, 2ª ed., p. 415). In fine va notata la compilazione di Teodoro Balsamone (stampata da Voellus, II, p. 781 segg. e nel Σύνταγμα di Rallis e Potlis, I-IV, 1852) del sec. XII fino ...
Leggi Tutto
SCORTE
Fulvio Maroi
. Con questo termine si designano quelle cose mobili che, in quanto sono destinate allo sfruttamento agricolo di un fondo, si considerano a esso organicamente collegate. La legge [...] a questa imponente tradizione romanistica si venne generalizzando nelle coutumes francesi il criterio dell'immobilizzazione, che ispirò i compilatori del codice napoleonico e fu seguito anche dal legislatore italiano del 1865 (cfr. N. Stolfi, Diritto ...
Leggi Tutto
Nacque a Castelgoffredo (Mantova) il 3 maggio 1773. Conseguita la laurea in legge nell'università di Pavia compì un lungo viaggio in varie parti d'Europa, giungendo fino al Capo Nord, e nel 1802 pubblicò, [...] Ma essa gli attirò la fama di antipatriota, oltre le ire del Monti e del Giordani, che, uniti a lui quali compilatori della rivista nel primo anno, furono poi rimossi. Dopo circa un decennio ottenne finalmente di esser esonerato dalla direzione della ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] processare un linguaggio. Il legame con i linguaggi formali è per grandi linee il seguente. La parte lessicale di un compilatore che tratta nozioni di basso livello, come il format dell'ingresso, è descritta da automi finiti. Esistono molti strumenti ...
Leggi Tutto
Riccobaldo da Ferrara
Augusto Campana
Nato a Ferrara nel 1245 o 1246, figlio di un Bonmercato (il nome Gervasio, il cognome Mainardi, la qualifica di canonico di Ravenna, sono equivoci eruditi di cui [...] Fiamma, Domenico di Bandino. Le derivazioni finora accertate, raramente esplicite, sono confermate dal confronto testuale di questi compilatori tra loro, e naturalmente con gli scritti di R. precedenti (Pomerium e altri minori) e seguenti (Compendium ...
Leggi Tutto
CAMPANELLA, Antonio
Giuseppe Pignatelli
Nacque a Genova il 5 marzo 1811 da Sebastiano e da Maria Poggi, in una famiglia di condizione agiata e molto attaccata alla tradizione cattolica. Dopo i primi [...] questo giornale, che vide la luce il 26 luglio 1849, il C. fu il direttore e uno dei principali compilatori (nei primi anni, oltre all'Alimonda, vi collaborarono Tommaso Reggio, Vincenzo e Luigi Persoglio), imprimendogli un indirizzo intransigente e ...
Leggi Tutto
GRAZIOLI (Graziolo), Francesco
Nicoletta Onida
Non si conoscono il luogo e la data di nascita di questo architetto scultore, attivo a cavallo tra il XV e il XVI secolo. Un'iscrizione apposta da lui [...] senza il suffragio di riferimenti documentari.
Fu Paladini a identificare nel G. il "lombardo Graziolo" ricordato dai primi compilatori di memorie asolane (Trieste de' Pellegrini, 1780; Federici, 1803, p. 29) e soprattutto rimasto celebre per il ...
Leggi Tutto
Nato in Alessandria, come il padre Apollonio Discolo, si recò per tempo a Roma, dove ebbe la protezione dell'imperatore Marco Aurelio (161-180 d. C.). Fecondissimo scrittore di grammatica, i suoi scritti, [...] . E. ha assorbito la produzione anteriore, compresi gli scritti del padre, ed è stato a sua volta soppiantato dai compilatori di estratti. Ediz. principe, quella di Venezia 1496.
Bibl.: A. Lentz, Herodiani technici reliquiae, Lipsia 1817-20, dove i ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] processare un linguaggio. Il legame con i linguaggi formali è per grandi linee il seguente. La parte lessicale di un compilatore che tratta nozioni di basso livello, come il format dell'input, è descritta da automi finiti. Esistono molti strumenti di ...
Leggi Tutto
linguaggio C++
Mauro Cappelli
Linguaggio di programmazione orientato agli oggetti inventato da Bjarne Stroustrup, ricercatore dei Bell Labs, nei primi anni Ottanta e commercializzato nel 1985 da AT&T. [...] nuove estensioni alla libreria standard. Pur non essendo un documento ufficiale, le sue estensioni sono oggi implementate in ogni compilatore. Il C++ ha una libreria standard come ogni linguaggio. La più importante è la Standard template library (STL ...
Leggi Tutto
compilare
v. tr. [dal lat. compīlare «saccheggiare», quindi «comporre uno scritto prendendo qua e là»] (io compìlo, meno corretto còmpilo, ecc.). – 1. Scrivere, comporre, raccogliendo e ordinando materiale tratto da altre opere o fonti: c....