Question 1: introduction to computer programming and Linux/gvim/gcc/make/gdb

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Question 1: introduction to computer programming and Linux/gvim/gcc/make/gdb"

Transcript

1 Question 1: introduction to computer programming and commands Question 1: introduction to computer programming and Linux/gvim/gcc/make/gdb What is a compiler? (2 points) Cos è un compilatore? (2 punti) o What is the Linux command man for? (2 points) A cosa serve il comando man di Linux? (2 punti) c 2015 Marco Bernardo 1/22

2 Question 1: introduction to computer programming and commands A compiler is a software tool that translates a program written in a high level programming language into an equivalent machine language program. It is composed of a lexical analyzer, a parser, a static semantic checker (usually implementing a type system), an intermediate code generator, a code optimizer, and a code generator. Un compilatore è uno strumento software che traduce un programma scritto in un linguaggio di programmazione ad alto livello di astrazione in un programma equivalente in linguaggio macchina. Si compone di un analizzatore lessicale, un riconoscitore sintattico, un controllore semantico statico (che di solito implementa un sistema di tipi), un generatore di codice intermedio, un ottimizzatore di codice e un generatore di codice. o The Linux command man provides information about the command specified as argument. Il comando man di Linux fornisce informazioni sul comando specificato come argomento. c 2015 Marco Bernardo 2/22

3 Question 2: introduction to the language ANSI C Question 2: introduction to the language ANSI C What is the role of placeholders within format strings? (2 points) Qual è il ruolo dei segnaposto all interno delle stringhe formato? (2 punti) c 2015 Marco Bernardo 3/22

4 Question 2: introduction to the language ANSI C Placeholders stand for data to be read or to be written. In the case of a scanf-like function, they represent data to be read and then to be assigned to the variables whose addresses are contained in the function invocation. In the case of a printf-like function, they represent data to be written on the basis of the evaluation of the expressions contained in the function invocation. The placeholders and the variables/expressions must coincide by number, order, and type. I segnaposto stanno per dati da leggere o da scrivere. Nel caso di una funzione come scanf, essi rappresentano dati da leggere e poi da assegnare alle variabili i cui indirizzi sono contenuti nell invocazione della funzione. Nel caso di una funzione come printf, essi rappresentano dati da scrivere sulla base della valutazione delle espressioni contenute nell invocazione della funzione. I segnaposto e le variabili/espressioni debbono coincidere per numero, ordine e tipo. c 2015 Marco Bernardo 4/22

5 Question 3: ANSI C expressions Question 3: ANSI C expressions Explain the difference between symbolic constants and literal constants. (2 points) Spiegare la differenza tra costanti simboliche e costanti in senso letterale. (2 punti) c 2015 Marco Bernardo 5/22

6 Question 3: ANSI C expressions A symbolic constant is defined via a #define directive, which provides an int/double/char/string value with a symbolic name that can be used wherever in the rest of the program. A literal constant is just an int/double/char/string value with no symbolic name associated with it. The use of symbolic constants increases program readability and maintainability. Una costante simbolica è definita attraverso una direttiva #define, la quale dota un valore di tipo int/double/char/stringa di un nome simbolico che può essere usato ovunque nel resto del programma. Una costante in senso letterale è semplicemente un valore di tipo int/double/char/stringa senza nessun nome simbolico associato ad esso. L uso di costanti simboliche incrementa la leggibilità e la mantenibilità dei programmi. c 2015 Marco Bernardo 6/22

7 Question 4: ANSI C statements and correctness Question 4: ANSI C statements and correctness of procedural programs Describe syntax and semantics of the multiple assignment statement. (2 points) Descrivere sintassi e semantica dell istruzione di assegnamento multiplo. (2 punti) o How is the meaning of a sequential program formalized? (2 points) Come viene formalizzato il significato di un programma sequenziale? (2 punti) c 2015 Marco Bernardo 7/22

8 Question 4: ANSI C statements and correctness The syntax of this statement is var 1 = var 2 =... = var n = expr;. The meaning is that first expression expr is evaluated, then its value is stored into the memory locations associated with the variables var n,..., var 2, var 1 considered in this order. La sintassi di questa istruzione è var 1 = var 2 =... = var n = espr;. Il significato è che prima viene valutata l espressione espr, poi il suo valore viene collocato nelle locazioni di memoria associate alle variabili var n,..., var 2, var 1 considerate in questo ordine. o The meaning of a sequential program is formalized as a mathematical function that describes the input/output effect of the execution of the program by ignoring the intermediate computation states. By computation state we mean the memory contents at a certain point of the execution of the program. Il significato di un programma sequenziale viene formalizzato mediante una funzione matematica che descrive l effetto ingresso/uscita dell esecuzione del programma ignorando gli stati intermedi della computazione. Per stato della computazione si intende il contenuto della memoria ad un certo punto dell esecuzione del programma. c 2015 Marco Bernardo 8/22

9 Question 5: ANSI C functions Question 5: ANSI C functions Explain the difference between argc and argv. (2 points) Spiegare la differenza tra argc e argv. (2 punti) c 2015 Marco Bernardo 9/22

10 Question 5: ANSI C functions They represent the parameters of function main. While argc stores the number of strings (executable file name and possible options) occurring in the command given to start the execution of the program, argv stores the strings themselves. Essi rappresentanto i parametri della funzione main. Mentre argc contiene il numero di stringhe (nome del file eseguibile ed eventuali opzioni) presenti nel comando dato per avviare l esecuzione del programma, argv contiene le stringhe stesse. c 2015 Marco Bernardo 10/22

11 Question 6: ANSI C data types What is a type constructor? (2 points) Cos è un costruttore di tipo? (2 punti) Question 6: ANSI C data types c 2015 Marco Bernardo 11/22

12 Question 6: ANSI C data types A type constructor is a mechanism through which a new type can be constructed on the basis of already existing types. The type constructors provided by the language ANSI C are enum, [ ] (for array types), struct, union, and (for pointer types). Un costruttore di tipo è un meccanismo tramite il quale un nuovo tipo può essere costruito sulla base di tipi già esistenti. I costruttori di tipo forniti dal linguaggio ANSI C sono enum, [ ] (per i tipi array), struct, union e (per i tipi puntatori). c 2015 Marco Bernardo 12/22

13 Question 7: propositional logic Question 7: propositional logic What is a proposition and how is it interpreted? (2 points) Cos è una proposizione e come viene interpretata? (2 punti) c 2015 Marco Bernardo 13/22

14 Question 7: propositional logic A proposition is a statement related to a single fact of which we can establish the truth. It is interpreted through a truth assignment, which is a set of propositions. If that proposition belongs to the truth assignment, then it is true, otherwise it is false. Una proposizione è un affermazione relativa ad un singolo fatto di cui può essere stabilita la verità. Essa viene interpretata attraverso un assegnamento di verità, che è un insieme di proposizioni. Se quella proposizione appartiene all assegnamento di verità, allora è vera, altrimenti è falsa. c 2015 Marco Bernardo 14/22

15 Question 8: predicate logic Question 8: predicate logic What is a predicate and how is it interpreted? (2 points) Cos è un predicato e come viene interpretato? (2 punti) c 2015 Marco Bernardo 15/22

16 Question 8: predicate logic A predicate is formed by a predicate symbol applied to a number of terms each composed of symbols of constant, variable, and function. Given a domain, a predicate symbol is interpreted as a relation over that domain and hence the application of a predicate symbol to a number of terms is true if and only if the tuple of domain values resulting from the interpretation of the various terms belongs to the relation. Un predicato è formato da un simbolo di predicato applicato ad un numero di termini ciascuno composto da simboli di costante, variabile e funzione. Dato un dominio, un simbolo di predicato viene interpretato come una relazione su quel dominio e quindi l applicazione di un simbolo di predicato ad un numero di termini è vera se e soltanto se la tupla di valori del dominio derivanti dall interpretazione dei vari termini appartiene alla relazione. c 2015 Marco Bernardo 16/22

17 Question 9: Prolog language and gprolog Question 9: Prolog language and gprolog What is a resolution strategy? (2 points) Cos è una strategia di risoluzione? (2 punti) c 2015 Marco Bernardo 17/22

18 Question 9: Prolog language and gprolog During the execution of a Prolog program, Robinson resolution method is used many times. In order to limit the number of unimportant or redundant clauses that are produced along the process, the Prolog interpreter resorts to a resolution strategy that suitably chooses at each step the clauses from which to generate a resolvent. Durante l esecuzione di un programma Prolog, il metodo di risoluzione di Robinson viene utilizzato parecchie volte. Al fine di limitare il numero di clausole irrilevanti o ridondanti che vengono man mano prodotte, l interprete Prolog ricorre ad una strategia di risoluzione che sceglie ad ogni passo in modo mirato le clausole da cui generare una risolvente. c 2015 Marco Bernardo 18/22

19 Exercise 1: ANSI C programming/verification Exercise 1: ANSI C programming/verification Write a recursive function in ANSI C that takes as input parameters a string and a character and returns as result the number of occurrences of the character within the string. (6 points) Scrivere una funzione ricorsiva in ANSI C che ha come parametri di ingresso una stringa e un carattere e restituisce come risultato il numero di occorrenze del carattere all interno della stringa. (6 punti) o Prove that the following ANSI C function computes the maximum even number not greater than x. (6 points) int compute_max_even(int x) { int z; } if (x % 2 == 0) z = x; else z = x - 1; return(z); Dimostrare che la precedente funzione ANSI C calcola il massimo numero pari non maggiore di x. (6 punti) c 2015 Marco Bernardo 19/22

20 Exercise 1: ANSI C programming/verification int count(char *s, char c) { int n; } if (s[0] == \0 ) n = 0; else { n = (s[0] == c)? 1: 0; n += count(s + 1, c); } return(n); o Postcondition: z = max{n N n = n 2 n x}. (x = x 2 (z = max{n N n = n 2 n x}) z,x ) (x = x 2 (x = max{n N n = n 2 n x})) true. (x = x (z = max{n N n = n 2 n x}) z,x 1 ) (x = x (x 1 = max{n N n = n 2 n x})) true. (true true) true. c 2015 Marco Bernardo 20/22

21 Exercise 2: propositional logic/predicate logic/prolog Exercise 2: propositional logic/predicate logic/prolog Establish whether the following propositional logic formula is a tautology. (6 points) (p (p q)) p Stabilire se la seguente formula di logica proposizionale è una tautologia. (6 punti) (p (p q)) p o Write a predicate in Prolog that computes the maximum of a set of integer numbers. (6 points) Scrivere un predicato in Prolog che calcola il massimo di un insieme di numeri interi. (6 punti) c 2015 Marco Bernardo 21/22

22 Exercise 2: propositional logic/predicate logic/prolog It is a tautology because: p q p q p (p q) (p (p q)) p o max([x], X) :- integer(x). max([x L], X) :- integer(x), max(l, Y), X >= Y. max([x L], Y) :- integer(x), max(l, Y), Y > X. c 2015 Marco Bernardo 22/22

Verso l architettura MVC-2 PHP: Hypertext Preprocessor

Verso l architettura MVC-2 PHP: Hypertext Preprocessor Verso l architettura MVC-2 PHP: Hypertext Preprocessor 1 A L B E R T O B E L U S S I A N N O A C C A D E M I C O 2 0 1 2 / 2 0 1 3 PHP per generare pagine web dinamiche Anche uno script PHP può essere

Dettagli

TNCguide OEM Informativa sull introduzione di documentazione aggiuntiva nella TNCguide

TNCguide OEM Informativa sull introduzione di documentazione aggiuntiva nella TNCguide Newsletter Application 4/2007 OEM Informativa sull introduzione di documentazione aggiuntiva nella APPLICABILITÀ: CONTROLLO NUMERICO itnc 530 DA VERSIONE SOFTWARE 340 49x-03 REQUISITI HARDWARE: MC 420

Dettagli

13-03-2013. Introduzione al Semantic Web Linguaggi per la rappresentazione di ontologie. L idea del Semantic Web.

13-03-2013. Introduzione al Semantic Web Linguaggi per la rappresentazione di ontologie. L idea del Semantic Web. Corso di Ontologie e Semantic Web Linguaggi per la rappresentazione di ontologie Prof. Alfio Ferrara, Prof. Stefano Montanelli Definizioni di Semantic Web Rilievi critici Un esempio Tecnologie e linguaggi

Dettagli

By E.M. note sull'uso di GAMBAS

By E.M. note sull'uso di GAMBAS By E.M. note sull'uso di GAMBAS GAMBAS viene installato sotto Xubuntu nella directory: /usr/share/gambas2 link problema su uso dell'esempio SerialPort http://gambasrad.org/zforum/view_topic?topic_id=1057

Dettagli

Fondamenti di Informatica e Laboratorio T-AB T-16 Progetti su più file. Funzioni come parametro. Parametri del main

Fondamenti di Informatica e Laboratorio T-AB T-16 Progetti su più file. Funzioni come parametro. Parametri del main Fondamenti di Informatica e Laboratorio T-AB T-16 Progetti su più file. Funzioni come parametro. Parametri del main Paolo Torroni Dipartimento di Elettronica, Informatica e Sistemistica Università degli

Dettagli

Ambienti di sviluppo integrato

Ambienti di sviluppo integrato Ambienti di sviluppo integrato Un ambiente di sviluppo integrato (IDE - Integrated Development Environment) è un ambiente software che assiste i programmatori nello sviluppo di programmi Esso è normalmente

Dettagli

Visual Basic for Applications (VBA) Francesco Brun Fondamenti di Informatica a.a. 2014/2015

Visual Basic for Applications (VBA) Francesco Brun Fondamenti di Informatica a.a. 2014/2015 Francesco Brun Fondamenti di Informatica a.a. 2014/2015 Scopo di questo approfondimento Lo scopo di questo approfondimento è rispondere alla domanda: e se nella vita mi troverò a dover utilizzare un linguaggio

Dettagli

Tipi di Dato Ricorsivi

Tipi di Dato Ricorsivi Tipi di Dato Ricorsivi Luca Abeni September 2, 2015 1 Tipi di Dato Vari linguaggi di programmazione permettono all utente di definire nuovi tipi di dato definendo per ogni nuovo tipo l insieme dei suoi

Dettagli

Java. Traditional portability (ideal)

Java. Traditional portability (ideal) 1 Java JAVA: una introduzione 2 Traditional portability (ideal) C-code (Linux) (Pentium) Executable (Linux) Executable (Win32) Linux Windows 32 (Mac) Executable (Mac) Mac 1 1 3 Portability of Java programs

Dettagli

Calcolo efficienza energetica secondo Regolamento UE n. 327/2011 Energy efficiency calculation according to EU Regulation no.

Calcolo efficienza energetica secondo Regolamento UE n. 327/2011 Energy efficiency calculation according to EU Regulation no. Calcolo efficienza energetica secondo Regolamento UE n. 327/2011 Energy efficiency calculation according to EU Regulation no. 327/2011 In base alla direttiva ErP e al regolamento UE n. 327/2011, si impone

Dettagli

LabMecFit. versione beta. by S.Frasca Dipartimento di Fisica Università Sapienza Roma

LabMecFit. versione beta. by S.Frasca Dipartimento di Fisica Università Sapienza Roma LabMecFit versione beta by S.Frasca Dipartimento di Fisica Università Sapienza Roma LabMecFit è un programma che permette di elaborare i dati prodotti da DataStudio. I dati devono essere salvati da DataStudio

Dettagli

Combinazioni serie IL-MIL + MOT

Combinazioni serie IL-MIL + MOT Combinazioni tra riduttori serie IL-MIL e MOT Combined series IL-MIL + MOT reduction units Combinazioni serie IL-MIL + MOT Sono disponibili varie combinazioni tra riduttori a vite senza fine con limitatore

Dettagli

Mod. 1067 INTERFACCIA USB/KEY USB/KEY INTERFACE. Sch./Ref.1067/003

Mod. 1067 INTERFACCIA USB/KEY USB/KEY INTERFACE. Sch./Ref.1067/003 Mod. 1067 DS1067-019 LBT8388 INTERFACCIA USB/KEY USB/KEY INTERFACE Sch./Ref.1067/003 ITALIANO DESCRIZIONE GENERALE L interfaccia 1067/003 consente di collegare alla Centrale 1067/032 o 1067/042 (ver. 2.00

Dettagli

Per il progetto MESA 2015 andremo ad utilizzare Unity3D per la creazione di alcuni exergame da utilizzar ein ambito riabilitativo.

Per il progetto MESA 2015 andremo ad utilizzare Unity3D per la creazione di alcuni exergame da utilizzar ein ambito riabilitativo. STATE MACHINE Per il progetto MESA 2015 andremo ad utilizzare Unity3D per la creazione di alcuni exergame da utilizzar ein ambito riabilitativo. Per poter gestire in modo efficiente lo sviluppo di vari

Dettagli

AVVISO n.12437. 03 Luglio 2014 --- Mittente del comunicato : Borsa Italiana. Societa' oggetto dell'avviso

AVVISO n.12437. 03 Luglio 2014 --- Mittente del comunicato : Borsa Italiana. Societa' oggetto dell'avviso AVVISO n.12437 03 Luglio 2014 --- Mittente del comunicato : Borsa Italiana Societa' oggetto dell'avviso : -- Oggetto : Modifiche al Manuale delle Corporate Actions - Amendment to the Corporate Action -

Dettagli

NETEZZA APPLIANCE. Danilo De Benedictis danilode@gmail.com NETEZZA DEVELOPMENT

NETEZZA APPLIANCE. Danilo De Benedictis danilode@gmail.com NETEZZA DEVELOPMENT NETEZZA APPLIANCE Danilo De Benedictis danilode@gmail.com NETEZZA DEVELOPMENT NETEZZA DEVELOPMENT STORED PROCEDURES ANALYTIC FUNCTIONS NETEZZA DEVELOPMENT STORED PROCEDURES STORED PROCEDURES Definizione:

Dettagli

Stored Procedures. Antonella Poggi, Claudio Corona. Dipartimento di informatica e Sistemistica SAPIENZA Università di Roma

Stored Procedures. Antonella Poggi, Claudio Corona. Dipartimento di informatica e Sistemistica SAPIENZA Università di Roma Stored Procedures Antonella Poggi, Claudio Corona Dipartimento di informatica e Sistemistica SAPIENZA Università di Roma Progetto di Applicazioni Software Anno accademico 2008-2009 Questi lucidi sono stati

Dettagli

RenderCAD S.r.l. Formazione

RenderCAD S.r.l. Formazione Descrizione In questo corso viene descritto PL/SQL e vengono illustrati i vantaggi derivanti dall'uso di questo potente linguaggio di programmazione. Viene spiegato come creare blocchi di codice PL/SQL

Dettagli

Corsi di Laurea Magistrale/ Master Degree Programs

Corsi di Laurea Magistrale/ Master Degree Programs Corsi di Laurea Magistrale/ Master Degree Programs Studenti iscritti al I anno (immatricolati nell a.a. 2014-2015 / Students enrolled A. Y. 2014-2015) Piano di studi 17-27 Novembre 2014 (tramite web self-service)

Dettagli

LINGUAGGI DI PROGRAMMAZIONE LINGUAGGI DI BASSO LIVELLO

LINGUAGGI DI PROGRAMMAZIONE LINGUAGGI DI BASSO LIVELLO LINGUAGGI DI PROGRAMMAZIONE LINGUAGGI DI BASSO LIVELLO Linguaggio macchina Uno per ogni processore o famiglia di processori Linguaggio assembler Versione simbolica di quello macchina. LINGUAGGI DI ALTO

Dettagli

Ingegneria del Software Testing. Corso di Ingegneria del Software Anno Accademico 2012/2013

Ingegneria del Software Testing. Corso di Ingegneria del Software Anno Accademico 2012/2013 Ingegneria del Software Testing Corso di Ingegneria del Software Anno Accademico 2012/2013 1 Definizione IEEE Software testing is the process of analyzing a software item to detect the differences between

Dettagli

Copyright 2012 Binary System srl 29122 Piacenza ITALIA Via Coppalati, 6 P.IVA 01614510335 - info@binarysystem.eu http://www.binarysystem.

Copyright 2012 Binary System srl 29122 Piacenza ITALIA Via Coppalati, 6 P.IVA 01614510335 - info@binarysystem.eu http://www.binarysystem. CRWM CRWM (Web Content Relationship Management) has the main features for managing customer relationships from the first contact to after sales. The main functions of the application include: managing

Dettagli

drag & drop visual programming appinventor storia appinventor un esempio di drag & drop programming: Scratch

drag & drop visual programming appinventor storia appinventor un esempio di drag & drop programming: Scratch drag & drop visual programming appinventor realizzazione app per Google Android OS appinventor è un applicazione drag & drop visual programming Contrariamente ai linguaggi tradizionali (text-based programming

Dettagli

Dispensa 3. 1.1 YACC: generalità

Dispensa 3. 1.1 YACC: generalità Dispensa 3 1.1 YACC: generalità Il tool Yacc (acronimo per Yet Another Compiler Compiler) è uno strumento software che a partire da una specifica grammaticale context free di un linguaggio scritta in un

Dettagli

Appunti del corso di Informatica 1 (IN110 Fondamenti) 6 Introduzione al linguaggio C

Appunti del corso di Informatica 1 (IN110 Fondamenti) 6 Introduzione al linguaggio C Università di Roma Tre Facoltà di Scienze M.F.N. Corso di Laurea in Matematica Appunti del corso di Informatica 1 (IN110 Fondamenti) 6 Introduzione al linguaggio C Marco Liverani (liverani@mat.uniroma3.it)

Dettagli

Introduzione a GCC: GNU Compiler Collection

Introduzione a GCC: GNU Compiler Collection Introduzione a GCC: GNU Compiler Collection Caratteristiche di GCC Compilatore multipiattaforma modulare Disponibile per tutti i principali sistemi operativi Può produrre programmi per la maggior parte

Dettagli

1 introdurre le monete per l importo necessario. 2 selezionare la quantità di zucchero. 3 selezionare la bevanda desiderata

1 introdurre le monete per l importo necessario. 2 selezionare la quantità di zucchero. 3 selezionare la bevanda desiderata Esempi di Problema: Prendere un Caffè al Distributore Università degli Studi di Udine Facoltà di Ingegneria CORSO DI LAUREA IN SCIENZE dell ARCHITETTURA Elementi di Informatica, e Programmi D. Gubiani

Dettagli

PL/SQL Uso di un linguaggio procedurale per un database

PL/SQL Uso di un linguaggio procedurale per un database PL/SQL Uso di un linguaggio procedurale per un database Roberto Basili Corso di Basi Di Dati 1 a.a. 2000-2001 Abstract Questa breve dispensa descrive piu etesamente i contenuti della esercitazione del

Dettagli

Portale Materiali Grafiche Tamburini. Grafiche Tamburini Materials Portal

Portale Materiali Grafiche Tamburini. Grafiche Tamburini Materials Portal Portale Materiali Grafiche Tamburini Documentazione utente italiano pag. 2 Grafiche Tamburini Materials Portal English user guide page 6 pag. 1 Introduzione Il Portale Materiali è il Sistema Web di Grafiche

Dettagli

Introduzione al linguaggio C Gli array

Introduzione al linguaggio C Gli array Introduzione al linguaggio C Gli array Vettori nome del vettore (tutti gli elementi hanno lo stesso nome, c) Vettore (Array) Gruppo di posizioni (o locazioni di memoria) consecutive Hanno lo stesso nome

Dettagli

FTP NAV - Guida tecnica FTP NAV - Technical Guide

FTP NAV - Guida tecnica FTP NAV - Technical Guide 12 MAR 2009 FTP NAV - Guida tecnica FTP NAV - Technical Guide 1 FTP NAV Borsa Italiana Lodon Stock Exchange Group Sommario - Contents Introduzione - Introduction... 3 Specifiche Tecniche Technical Specifications...

Dettagli

Elementi di Informatica

Elementi di Informatica Università degli Studi di Udine Facoltà di Ingegneria CORSO DI LAUREA IN SCIENZE dell ARCHITETTURA Elementi di Informatica Algoritmi, e Programmi D. Gubiani 29 marzo 2010 D. Gubiani Algoritmi, e Programmi

Dettagli

EN IT. Computer Manual. Manuale computer. Console

EN IT. Computer Manual. Manuale computer. Console Computer Manual Manuale computer EN IT Console www.energetics.eu Table of contents / Indice 1. English....................................... p. 4 2. Italiano....................................... p.

Dettagli

How to use the WPA2 encrypted connection

How to use the WPA2 encrypted connection How to use the WPA2 encrypted connection At every Alohawifi hotspot you can use the WPA2 Enterprise encrypted connection (the highest security standard for wireless networks nowadays available) simply

Dettagli

Il.NET Framework. By Dario Maggiari. L architettura del.net Framework è riassunta, nel complesso, nella figura seguente:

Il.NET Framework. By Dario Maggiari. L architettura del.net Framework è riassunta, nel complesso, nella figura seguente: Il.NET Framework By Dario Maggiari L architettura del.net Framework è riassunta, nel complesso, nella figura seguente: Il cuore del.net Framework è costituito dal CLR (Common Language Runtime) che, secondo

Dettagli

API e socket per lo sviluppo di applicazioni Web Based

API e socket per lo sviluppo di applicazioni Web Based API e socket per lo sviluppo di applicazioni Web Based Cosa sono le API? Consideriamo il problema di un programmatore che voglia sviluppare un applicativo che faccia uso dei servizi messi a disposizione

Dettagli

WELCOME. Go to the link of the official University of Palermo web site www.unipa.it; Click on the box on the right side Login unico

WELCOME. Go to the link of the official University of Palermo web site www.unipa.it; Click on the box on the right side Login unico WELCOME This is a Step by Step Guide that will help you to register as an Exchange for study student to the University of Palermo. Please, read carefully this guide and prepare all required data and documents.

Dettagli

INFORMAZIONE AGLI UTENTI DI APPARECCHIATURE DOMESTICHE O PROFESSIONALI

INFORMAZIONE AGLI UTENTI DI APPARECCHIATURE DOMESTICHE O PROFESSIONALI INFORMAZIONE AGLI UTENTI DI APPARECCHIATURE DOMESTICHE O PROFESSIONALI Ai sensi dell art. 13 del Decreto Legislativo 25 luglio 2005, n. 151 "Attuazione delle Direttive 2002/95/CE, 2002/96/CE e 2003/108/CE,

Dettagli

Blocchi funzione: FbModbusAsciiMs

Blocchi funzione: FbModbusAsciiMs Pagina 1 di 6 ELSIST Srl, www.elsist.it Blocchi funzione MNL041Q000 FbModbusAsciiMs Questo blocco funzione permette lo scambio di dati tra due sistemi, uno master ed uno slave, utilizzando una connessione

Dettagli

Introduzione a Matlab

Introduzione a Matlab Introduzione a Matlab Ruggero Donida Labati Dipartimento di Tecnologie dell Informazione via Bramante 65, 26013 Crema (CR), Italy ruggero.donida@unimi.it Perché? MATLAB is a high-level technical computing

Dettagli

Debtags. Dare un senso a 20000 pacchetti. 16 settembre 2006 14 slides Enrico Zini enrico@debian.org

Debtags. Dare un senso a 20000 pacchetti. 16 settembre 2006 14 slides Enrico Zini enrico@debian.org Debtags Dare un senso a 20000 pacchetti. 16 settembre 2006 14 slides Enrico Zini (enrico@debian.org) 1/14 Fondazioni teoretiche Classificazione a Faccette (sfaccettature) Scoperte del cognitivismo (capacità

Dettagli

Memory Management. Local Storage. Global Storage. Delete esplicite

Memory Management. Local Storage. Global Storage. Delete esplicite Memory Management Costruzione di Interfacce Lezione 13 Dal Java al C++ cignoni@iei.pi.cnr.it http://vcg.iei.pi.cnr.it/~cignoni Due grandi categorie di storage: Local, memoria valida solo all interno di

Dettagli

strutturare dati e codice

strutturare dati e codice Puntatori e passaggio parametri strutturare dati e codice Tipo di dati int * Pi ; Op. dereferenziazione j = *Pi ; Op. indirizzo Pi = &i ; By value int f(int i) ; a = f(b) ; By address int f(int * Pi) ;

Dettagli

UniRoma2 - Ingegneria del Software 1 1

UniRoma2 - Ingegneria del Software 1 1 Il processo di ingegneria dei requisiti (requirements engineering) varia in base al dominio applicativo, alle persone coinvolte ed all'organizzazione che sviluppa il sistema software Si può però individuare

Dettagli

ML for Dummies. Luca Abeni September 3, 2015

ML for Dummies. Luca Abeni September 3, 2015 ML for Dummies Luca Abeni September 3, 2015 1 Introduzione Mentre un linguaggio di tipo imperativo rispecchia l architettura di Von Neumann, descrivendo i programmi come sequenze di istruzioni che modificano

Dettagli

Tipicamente un elaboratore è capace di trattare domini di dati di tipi primitivi

Tipicamente un elaboratore è capace di trattare domini di dati di tipi primitivi TIPI DI DATO Tipicamente un elaboratore è capace di trattare domini di dati di tipi primitivi numeri naturali, interi, reali caratteri e stringhe di caratteri e quasi sempre anche collezioni di oggetti,

Dettagli

su efficienza ed etichettatura dei prodotti ErP e Labelling - guida ai regolamenti UE on EU efficiency and product labelling

su efficienza ed etichettatura dei prodotti ErP e Labelling - guida ai regolamenti UE on EU efficiency and product labelling ErP e Labelling - guida ai regolamenti UE su efficienza ed etichettatura dei prodotti ErP and Labelling - quick guide on EU efficiency and product labelling Settembre 2015 September 2015 2015 ErP/EcoDesign

Dettagli

UNIVERSITÀ DEGLI STUDI DI TORINO. Instructions to apply for exams ONLINE Version 01 updated on 17/11/2014

UNIVERSITÀ DEGLI STUDI DI TORINO. Instructions to apply for exams ONLINE Version 01 updated on 17/11/2014 Instructions to apply for exams ONLINE Version 01 updated on 17/11/2014 Didactic offer Incoming students 2014/2015 can take exams of courses scheduled in the a.y. 2014/2015 and offered by the Department

Dettagli

M257SC. Scanner per lastre Scanner for slabs

M257SC. Scanner per lastre Scanner for slabs M257SC Scanner per lastre Scanner for slabs M257SC Scanner per lastre utilizzato per la creazione di foto digitali a colori ad alta defi nizione e per il rilevamento dei dati dimensionali. Per ogni lastra

Dettagli

Triggers. Basi dati attive. Trigger. Indipendenza della conoscenza

Triggers. Basi dati attive. Trigger. Indipendenza della conoscenza Basi dati attive Triggers Antonella Poggi Domenico Lembo Dipartimento di informatica e Sistemistica SAPIENZA Università di Roma Progetto di Applicazioni Software Anno accademico 2009-2010 Una base di dati

Dettagli

Indice. Materiale di riferimento. Struttura di un programma in C++ Introduzione al C++ (CAP 1) Alberto Garfagnini e Marco Mazzocco A.A.

Indice. Materiale di riferimento. Struttura di un programma in C++ Introduzione al C++ (CAP 1) Alberto Garfagnini e Marco Mazzocco A.A. Introduzione al C++ (CAP 1) Alberto Garfagnini e Marco Mazzocco Università degli studi di Padova A.A. 2014/2015 Indice Scrittura del primo programma in C++ elementi costitutivi del programma compilazione

Dettagli

Decomponibilità dei sistemi software

Decomponibilità dei sistemi software Decomponibilità dei sistemi software 1 Componenti di un Sistema Software Un sistema software può essere visto come composto da tre principali tipi di i Componenti dell Interfaccia utente ( s) - costituiti

Dettagli

IMPIANTO IDRAULICO CON ACCUMULATORE

IMPIANTO IDRAULICO CON ACCUMULATORE Politecnico di Milano Dipartimento di Ingegneria Aerospaziale Impianti e Sistemi Aerospaziali IMPIANTO IDRAULICO CON ACCUMULATORE Pinco Pallino Luglio 2013 1 1. Premessa La relazione ha lo scopo di dimensionare

Dettagli

CONFIGURATION MANUAL

CONFIGURATION MANUAL RELAY PROTOCOL CONFIGURATION TYPE CONFIGURATION MANUAL Copyright 2010 Data 18.06.2013 Rev. 1 Pag. 1 of 15 1. ENG General connection information for the IEC 61850 board 3 2. ENG Steps to retrieve and connect

Dettagli

Livelli di astrazione

Livelli di astrazione Realizzare Classi Astrazione Perdita di dettaglio Utile nella descrizione, progettazione, implementazione e utilizzo di sistemi complessi Dettagli trascurabili vengono incapsulati in sottosistemi più semplici

Dettagli

Utilizzo del linguaggio Basic utilizzando l interfaccia di Excel Silvia Patacchini

Utilizzo del linguaggio Basic utilizzando l interfaccia di Excel Silvia Patacchini Introduzione all utilizzo di Visual Basic for Application Utilizzo del linguaggio Basic utilizzando l interfaccia di Excel Silvia Patacchini PROGRAMMAZIONE Insieme delle attività da svolgersi per creare

Dettagli

Name on a passport, HANGTAG

Name on a passport, HANGTAG recagroup design architecture art cinema travel music food Name on a passport, HANGTAG A quick look at printing techniques for hangtags RECA GROUP The hangtag of a garment is its ID card, its passport,

Dettagli

STATO IMPLEMENTAZIONE ONVIF SU TELECAMERE MUNDUS SECURUS

STATO IMPLEMENTAZIONE ONVIF SU TELECAMERE MUNDUS SECURUS IMPLEMENTAZIONE ONVIF SU TELECAMERE MUNDUS SECURUS 1. Ambiente di sviluppo Sono stati analizzati diversi linguaggi e framework differenti utilizzabili per implementare i WebServices ONVIF. Il risultato

Dettagli

Scrittura e utilizzo di S-Function con Simulink

Scrittura e utilizzo di S-Function con Simulink Scuola Universitaria Professionale della Svizzera Italiana Dipartimento di informatica ed elettronica Scrittura e utilizzo di S-Function con Simulink Ing. Roberto Bucher 7 aprile 2003 S-Function in Simulink

Dettagli

Algoritmi e Strutture Dati

Algoritmi e Strutture Dati schifano@fe.infn.it Laurea di Informatica - Università di Ferrara 2011-2012 [1] Strutture dati Dinamiche: Le liste Una lista è una sequenza di elementi di un certo tipo in cui è possibile aggiungere e/o

Dettagli

DICHIARAZIONE DI RESPONSABILITÀ

DICHIARAZIONE DI RESPONSABILITÀ - 0MNSWK0082LUA - - ITALIANO - DICHIARAZIONE DI RESPONSABILITÀ Il produttore non accetta responsabilità per la perdita di dati, produttività, dispositivi o qualunque altro danno o costo associato (diretto

Dettagli

Sottoprogrammi: astrazione procedurale

Sottoprogrammi: astrazione procedurale Sottoprogrammi: astrazione procedurale Incapsulamento di un segmento di programma presente = false; j = 0; while ( (j

Dettagli

Cryptographic Techniques for Authentication

Cryptographic Techniques for Authentication Identificazione con Funzioni Hash one-way Cryptographic Techniques for Authentication Ozalp Babaoglu! Accesso di un utente alla propria casella di posta elettronica o ai file personali memorizzati su un

Dettagli

SISTEMI OPERATIVI. Sincronizzazione in Java (Semafori e barriere) Patrizia Scandurra (MODULO DI INFORMATICA II) LABORATORIO

SISTEMI OPERATIVI. Sincronizzazione in Java (Semafori e barriere) Patrizia Scandurra (MODULO DI INFORMATICA II) LABORATORIO SISTEMI OPERATIVI (MODULO DI INFORMATICA II) LABORATORIO Sincronizzazione in Java (Semafori e barriere) Patrizia Scandurra Università degli Studi di Bergamo a.a. 2012-13 La gestione dei thread in Java

Dettagli

Guida ai Parametri di negoziazione dei mercati regolamentati organizzati e gestiti da Borsa Italiana

Guida ai Parametri di negoziazione dei mercati regolamentati organizzati e gestiti da Borsa Italiana Guida ai Parametri di negoziazione dei mercati regolamentati organizzati e gestiti da Borsa Italiana Versione 04 1/28 INTRODUZIONE La Guida ai Parametri contiene la disciplina relativa ai limiti di variazione

Dettagli

Definizione di nuovi tipi in C

Definizione di nuovi tipi in C Definizione di nuovi tipi in C typedef Ancora sui tipi di dato Ogni elaboratore è intrinsecamente capace di trattare domini di dati di tipi primitivi numeri naturali, interi, reali caratteri e stringhe

Dettagli

Logica e codifica binaria dell informazione

Logica e codifica binaria dell informazione Politecnico di Milano Corsi di Laurea in Ingegneria Matematica e Ingegneria Fisica Dipartimento di Elettronica ed Informazione Logica e codifica binaria dell informazione Anno Accademico 2002 2003 L. Muttoni

Dettagli

You can visualize the free space percentage in Compact Flash memory from the MENU/INFO C.F. UTILITY-FREE SPACE page.

You can visualize the free space percentage in Compact Flash memory from the MENU/INFO C.F. UTILITY-FREE SPACE page. This release introduces some new features: -TUNE PITCH -FREE SPACE -TUNER -DRUMKIT EDITOR From the PARAM MIDI page, it is possible to modify the "TUNE PITCH" parameter, which allows you to tune up the

Dettagli

Semantica dei programmi. La semantica dei programmi è la caratterizzazione matematica dei possibili comportamenti di un programma.

Semantica dei programmi. La semantica dei programmi è la caratterizzazione matematica dei possibili comportamenti di un programma. Semantica dei programmi La semantica dei programmi è la caratterizzazione matematica dei possibili comportamenti di un programma. Semantica operazionale: associa ad ogni programma la sequenza delle sue

Dettagli

Antifork Research, Inc. HACKERS RESEARCH VIRTUAL LAB. Shellcode Advanced. Angelo Dell'Aera Security Date 2004 Ancona 29/04/2004

Antifork Research, Inc. HACKERS RESEARCH VIRTUAL LAB. Shellcode Advanced. Angelo Dell'Aera <buffer@antifork.org> Security Date 2004 Ancona 29/04/2004 Antifork Research, Inc. HACKERS RESEARCH VIRTUAL LAB Shellcode Advanced Angelo Dell'Aera Security Date 2004 Ancona 29/04/2004 Esplorare mondi nuovi... In questa presentrazione analizzeremo

Dettagli

AA 2006-07 LA RICORSIONE

AA 2006-07 LA RICORSIONE PROGRAMMAZIONE AA 2006-07 LA RICORSIONE AA 2006-07 Prof.ssa A. Lanza - DIB 1/18 LA RICORSIONE Il concetto di ricorsione nasce dalla matematica Una funzione matematica è definita ricorsivamente quando nella

Dettagli

GESTIONE INFORMATICA DEI DATI AZIENDALI

GESTIONE INFORMATICA DEI DATI AZIENDALI GESTIONE INFORMATICA DEI DATI AZIENDALI Alberto ZANONI Centro Vito Volterra Università Tor Vergata Via Columbia 2, 00133 Roma, Italy zanoni@volterra.uniroma2.it Rudimenti di programmazione Programming

Dettagli

Il processo di ingegneria dei requisiti

Il processo di ingegneria dei requisiti Il processo di ingegneria dei requisiti Il processo di ingegneria dei requisiti (requirements engineering) varia in base al dominio applicativo, alle persone coinvolte ed all'organizzazione che sviluppa

Dettagli

Dominio applicativo. Progettazione. v SQL incluso in codice applicativo v Embedded SQL v Cursori v Dynamic SQL v JDBC v Stored procedures

Dominio applicativo. Progettazione. v SQL incluso in codice applicativo v Embedded SQL v Cursori v Dynamic SQL v JDBC v Stored procedures Dominio applicativo (Capitolo 6) v SQL incluso in codice applicativo v Embedded SQL v Cursori v Dynamic SQL v JDBC v Stored procedures Basi di dati 1 Docente Claudia Amari 1 Progettazione PROGETTAZIONE

Dettagli

CODI/21 PIANOFORTE II // CODI/21 PIANO II

CODI/21 PIANOFORTE II // CODI/21 PIANO II MASTER di II livello - PIANOFORTE // 2nd level Master - PIANO ACCESSO: possesso del diploma accademico di II livello o titolo corrispondente DURATA: 2 ANNI NUMERO ESAMI: 8 (escluso l esame di ammissione)

Dettagli

RenderCAD S.r.l. Formazione

RenderCAD S.r.l. Formazione Descrizione Il corso è basato su Oracle release 2. La caratteristica di questo corso è quella di insegnare agli allievi come creare e gestire le tabelle di dati spaziali e attivarli nelle applicazioni

Dettagli

Laboratorio di programmazione di rete - Corso B - Anno accademico 2007-2008 - Progetto conclusivo. Laboratorio di Programmazione di Rete

Laboratorio di programmazione di rete - Corso B - Anno accademico 2007-2008 - Progetto conclusivo. Laboratorio di Programmazione di Rete Laboratorio di Programmazione di Rete Progetto conclusivo per lʼanno Accademico 2007-2008 File system sicuro M. Danelutto - Dicembre 2007 Versione 0.2 Scopo Lo scopo del progetto è quello di mettere a

Dettagli

ACQUISTI PORTALE. Purchasing Portal

ACQUISTI PORTALE. Purchasing Portal ACQUISTI PORTALE Purchasing Portal Il portale acquisti della Mario De Cecco è ideato per: The Mario De Cecco purchase portal is conceived for: - ordinare on line in modo semplice e rapido i prodotti desiderati,

Dettagli

Verifica del codice con Interpretazione Astratta

Verifica del codice con Interpretazione Astratta Verifica del codice con Interpretazione Astratta Daniele Grasso grasso@dsi.unifi.it grasso.dan@gmail.com Università di Firenze, D.S.I., Firenze, Italy December 15, 2009 D.Grasso (Università di Firenze)

Dettagli

Sistemi Distribuiti AA 2005/2006. durante il corso: dopo lezione dopo il corso: mercoledì dalle 16,00 alle 18,00 per chi lavora: spedire una mail

Sistemi Distribuiti AA 2005/2006. durante il corso: dopo lezione dopo il corso: mercoledì dalle 16,00 alle 18,00 per chi lavora: spedire una mail Sistemi Distribuiti AA 2005/2006 Laurea Specialistica-Telecomunicazioni Docente: Dott.Ing. Sara Tucci Piergiovanni Il corso: informazioni utili Riferimenti del docente: sito web: www.dis.uniroma1.it/tucci

Dettagli

Const, friend, static,this

Const, friend, static,this Const, friend, static,this Sommario Lo speficatore const per gli oggetti e le funzioni membro Le funzioni friend I membri static di una classe Il puntatore this Oggetti const Alcuni oggetti devono poter

Dettagli

Bloodshed Dev-C++ è l IDE usato durante le esercitazioni/laboratorio. IDE = Integrated Development Environment

Bloodshed Dev-C++ è l IDE usato durante le esercitazioni/laboratorio. IDE = Integrated Development Environment Bloodshed Dev-C++ Bloodshed Dev-C++ è l IDE usato durante le esercitazioni/laboratorio IDE = Integrated Development Environment Gerardo Pelosi 01 Ottobre 2014 Pagina 1 di 8 Dev-C++ - Installazione Potete

Dettagli

Radio Frequency Identification Systems

Radio Frequency Identification Systems Work--Tag passiivii Miinii--Conttrrollllerr USB CPR..PR50 & CPR..MR50 Manualle iinsttallllaziione Come tutti i dispositivi della Famiglia Work-Tag i controller operano con transponders di frequenza operativa

Dettagli

Esercizi Programming Contest

Esercizi Programming Contest Esercizi Programming Contest Alberto Montresor 22 maggio 2012 Alcuni degli esercizi che seguono sono associati alle rispettive soluzioni. Se il vostro lettore PDF lo consente, è possibile saltare alle

Dettagli

How the exam takes place

How the exam takes place 00.01 General information about the exam How the exam takes place 00.01 General information about the exam The exam consists of a project (to be developed individually or by groups of two students), a

Dettagli

Corso Base. Liceo Norberto Rosa Bussoleno Prof. Angelo GIORGIO

Corso Base. Liceo Norberto Rosa Bussoleno Prof. Angelo GIORGIO Corso Base Liceo Norberto Rosa Bussoleno Prof. Angelo GIORGIO Java Java è un Linguaggio di Programmazione orientato agli oggetti. Un Linguaggio di Programmazione è un linguaggio ad alto livello, dotato

Dettagli

Cinc. Linguaggio ed Implementazione. Claudia Strazzari. Fabio G. Strozzi. Matteo Benevelli. http://www.cs.unibo.it/ fstrozzi/cinc.

Cinc. Linguaggio ed Implementazione. Claudia Strazzari. Fabio G. Strozzi. Matteo Benevelli. http://www.cs.unibo.it/ fstrozzi/cinc. Cinc Linguaggio ed Implementazione Claudia Strazzari Fabio G. Strozzi Matteo Benevelli http://www.cs.unibo.it/ fstrozzi/cinc.html 1 Prefazione Cinc è un linguaggio di programmazione imperativo, fortemente

Dettagli

CONNESSIONE WI-FI - GUIDA RAPIDA WI-FI CONNECTION - QUICK START GUIDE SUNWAY M XS

CONNESSIONE WI-FI - GUIDA RAPIDA WI-FI CONNECTION - QUICK START GUIDE SUNWAY M XS CONNESSIONE WI-FI - GUIDA RAPIDA WI-FI CONNECTION - QUICK START GUIDE SUNWAY M XS CONNETTIVITÀ SEMPLICE ED ESTESA SIMPLE AND FULL CONNECTIVITY CONNESSIONE AD HOC AD HOC CONNECTION CONNESSIONE Router ROUTER

Dettagli

Aritmetica. Progetto dei programmi

Aritmetica. Progetto dei programmi Aritmetica Un approccio metodologico alla costruzione dei programmi. Tipi di dati primitivi. int, float, double Variabili, dichiarazioni e operazioni Progetto dei programmi 2 Definizione del problema Scenario

Dettagli

ATTESTATO DELL ATTIVITÀ DI VOLONTARIATO CERTIFICATE OF VOLUNTARY ACTIVITIES

ATTESTATO DELL ATTIVITÀ DI VOLONTARIATO CERTIFICATE OF VOLUNTARY ACTIVITIES ASSOCIAZIONE CONSORTI DIPENDENTI MINISTERO AFFARI ESTERI ATTESTATO DELL ATTIVITÀ DI VOLONTARIATO CERTIFICATE OF VOLUNTARY ACTIVITIES ASSOCIAZIONE CONSORT I DIPENDENTI MINISTE RO AFFARI ESTER I ATTESTATO

Dettagli

Il sito principale del progetto: www.python.org Il sito ufficiale della community italiana Python: www.python.it Diversi tutorial.

Il sito principale del progetto: www.python.org Il sito ufficiale della community italiana Python: www.python.it Diversi tutorial. Introduzione Python Python è stato sviluppato intorno al 1991 da Guido van Rossum che ne ha derivato semplicità di sintassi e facilità d'uso in gran parte da ABC, un linguaggio dedicato all'insegnamento

Dettagli

Agent and Object Technology Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma. Fondamenti di Informatica

Agent and Object Technology Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma. Fondamenti di Informatica Agent and Object Technology Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma Fondamenti di Informatica Linguaggi di Programmazione Michele Tomaiuolo Linguaggi macchina I

Dettagli

Idee guida. Finite State Machine (1) Un automa a stati finiti è definito da una 5- pla: FSM = , dove: Finite State Machine (2)

Idee guida. Finite State Machine (1) Un automa a stati finiti è definito da una 5- pla: FSM = <Q,,, q0, F>, dove: Finite State Machine (2) Idee guida ASM = FSM con stati generalizzati Le ASM rappresentano la forma matematica di Macchine Astratte che estendono la nozione di Finite State Machine Ground Model (descrizioni formali) Raffinamenti

Dettagli

Foglio di calcolo. Foglio di calcolo: nomi celle

Foglio di calcolo. Foglio di calcolo: nomi celle Foglio di calcolo L'astrazione offerta da un programma di gestione di fogli di calcolo è quella di una matrice (un foglio a quadretti). Colonne: A, B, C,... Righe: 1, 2, 3,... Ogni cella ha un nome composto

Dettagli

/*dichiarazioni*/ // le frasi sono contenute in stringhe, cioè array di char char f1[max]; int i, giusto,len;

/*dichiarazioni*/ // le frasi sono contenute in stringhe, cioè array di char char f1[max]; int i, giusto,len; /* Date in ingresso una frase, dire se una è palindroma */ #include #define MAX 100 int main() /*dichiarazioni*/ // le frasi sono contenute in stringhe, cioè array di char char f1[max]; int i,

Dettagli

Corso di Laurea in INFORMATICA

Corso di Laurea in INFORMATICA Corso di Laurea in INFORMATICA Algoritmi e Strutture Dati MODULO 2. Algebre di dati Dati e rappresentazioni, requisiti delle astrazioni di dati, costrutti. Astrazioni di dati e dati primitivi. Specifica

Dettagli

Elementi di semantica denotazionale ed operazionale

Elementi di semantica denotazionale ed operazionale Elementi di semantica denotazionale ed operazionale 1 Contenuti! sintassi astratta e domini sintattici " un frammento di linguaggio imperativo! semantica denotazionale " domini semantici: valori e stato

Dettagli

Breve introduzione al Javadoc

Breve introduzione al Javadoc Premessa Javadoc è uno strumento che permette di documentare i sorgenti di un programma all interno dei sorgenti stessi. Anziché scrivere la documentazione di un programma in un file separato, il programmatore

Dettagli

Aspetti relazionali ad oggetti di Oracle 9i. Il sistema di tipi di Oracle. Tipi oggetto

Aspetti relazionali ad oggetti di Oracle 9i. Il sistema di tipi di Oracle. Tipi oggetto Aspetti relazionali ad oggetti di Oracle 9i 158 Il sistema di tipi di Oracle Non distinct type Tipi oggetto Tipi riferimento Tipi collezione Ereditarietà 159 Tipi oggetto Possibilità di definire tipi oggetto

Dettagli

SQL nei linguaggi di programmazione

SQL nei linguaggi di programmazione SQL nei linguaggi di programmazione Atzeni, Ceri, Paraboschi, Torlone Basi Di Dati Modelli e Linguaggi di Interrogazione, McGraw-Hill Italia, Capitolo 6 SQL in Linguaggi di Programmazione L uso diretto

Dettagli