Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Studio delle proprietà intensionali ed estensionali dell'Open Call-By-Value |
|---|---|
| Titolo del progetto di ricerca in inglese | Study of intensional and extensional properties of Open-Call-By-Value |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Programming |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | Per Open-Call-By-Value si intende un insieme di calcoli che modificano la definizione di Call-By-Value per permettere la valutazione di redessi che sarebbero bloccati nel Call-By-Value alla Plotkin. Fra tali varianti vi è il Fireball Calculus, che risolve elegantemente il problema per mezzo di sostituzioni esplicite a distanza. Nonostante Accattoli e Guerrieri abbiano dimostrato l'equivalenza operazionale di tali calcoli, essi non sono equivalenti quando si considera la chiusura contestuale. Il candidato studierà le proprietà intensionali ed estensionali di calcoli definiti per mezzo di sostituzioni esplicite a distanza, con particolare riferimento alla Open-Call-By-Value e alla definizione di una nuova variante del Fireball Calculus che, pur mantenendo le buone proprietà rispetto alla complessità della riduzione, permetta di definire una bisimulazione contestuale con le altre varianti di Open-Call-By-Value. |
| Descrizione sintetica in inglese | Open-Call-By-Value is a the name of a set of calculi that change Plotkin's Call-By-Value to allow the reduction of redexes that are usually considered stuck. The Fireball Calculus, that belongs to the set, solves the problem by means of explicit substitutions at a distance. Accattoli and Guerrieri proved the operational equivalence of those calculi. However, the equivalence fails when contextual closure is taken in accoun. The candidate will study the intensional and extensional properties of calculi defined via explicit substitutions at a distance. In particular, he will develop a variant of the Fireball Calculus that implements Open-Call-By-Value preserving all the good properties of the Fireball Calculus w.r.t. complexity of reduction. In addition, the new variant will be contextually bisimilar to the other variants of Open-Call-By-Value. |
| Data del bando | 05/10/2017 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | https://www.aricweb.unibo.it/BandiPubblicati/zz_Bandi_din.aspx |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Criteri di selezione in italiano (breve descrizione) | il bando e la modulistica per partecipare alla procedura di valutazione comparativa sono disponibili all'indirizzo: https://www.aricweb.unibo.it/BandiPubblicati/zz_Bandi_din.aspx |
| Criteri di selezione in inglese (breve descrizione) | to apply for research grants fill out the form available at the following address: https://www.aricweb.unibo.it/BandiPubblicati/zz_Bandi_din.aspx |
| Nome dell'Ente finanziatore | ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Bologna |
| Sito web | http://www.unibo.it |
| claudio.sacerdoticoen@unibo.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 23/10/2017 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |