1 / 32

e modelli della memoria

Chiasmi ,. anastrofi. e modelli della memoria. Pietro Cenciarelli. Sapienza – Università di Roma. cenciarelli@di.uniroma1.it. anastrofe. consiste nell'invertire l'ordine naturale delle parole. più degno. di me. anastrofe. x = 1;. x = 2;. anastrofe. ?. x = 1;. y = 2;. θ.

archibald-richter
Download Presentation

e modelli della memoria

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Chiasmi, anastrofi e modelli della memoria Pietro Cenciarelli Sapienza – Università di Roma cenciarelli@di.uniroma1.it

  2. anastrofe consiste nell'invertire l'ordine naturale delle parole più degno di me

  3. anastrofe x = 1; x = 2;

  4. anastrofe ? x = 1; y = 2; θ

  5. anastrofe  1 x = 1; z = x + y; y = 2; ς θ

  6. anastrofe  1 ?! x = 1; z = x + y; y = 2; ς θ

  7. semantica x ↤ 0 y ↤ 0 z ↤ 0 y = 2; z = x + y; x = 1; ς θ

  8. semantica ... x ↤ 0 y ↤ 2 z ↤ 2 x ↤ 0 y ↤ 0 z ↤ 0 x ↤ 0 y ↤ 2 z ↤ 0 ς ς ς θ θ θ y = 2; z = x + y; z = x + y; z = x + y; x = 1; x = 1; x = 1; x = 1;

  9. semantica ... x ↤ 0 y ↤ 2 z ↤ 0 x ↤ 0 y ↤ 0 z ↤ 0 x ↤ 0 y ↤ 2 z ↤ 2 x ↤ ... y ↤ ... z ↤ 1 ς ς ς θ θ θ y = 2; z = x + y; z = x + y; x = 1; x = 1; x = 1;

  10. Wx1 Wy2 Wx0 Wx0 semantica Wy0 Wy0 Wz0 Wz0 x ↤ 0 y ↤ 0 z ↤ 0 Wy2 Wx0 Wy0 Wz0 ς ς ς θ θ θ y = 2; z = x + y; z = x + y; z = x + y; x = 1; x = 1;

  11. Wx1 Wy2 Wx0 Wx0 semantica Wy0 Wy0 Wz0 Wz0 Wy2 Wx0 Wy0 Wz0 ς ς ς θ θ θ y = 2; z = x + y; z = x + y; z = x + y; x = 1; x = 1;

  12. Wx1 Wy2 Wx0 semantica Wy0 Wz0 Wz1 Wz1 Rx1 Ry0 Wx1 Wy2 Wy2 Wx0 Wx0 Wy0 Wy0 Wz0 Wz0 ς ς ς θ θ θ z = x + y; z = x + y; x = 1;

  13. semantica Le configurazioni includono poset di eventi che soddisfano assiomi (configuration theories) (: R x 5) (: R x 5) (: R x 5) (: R x 5) (: R x 5)⊢ ⊢ , (: W x 5) (: W x 5) (: W x 7) (: W x 5) (: W x 7) Gli assiomi vincolano le regole operazionali.

  14. semantica ( configuration theories )  semplifica la specifica del linguaggio causalità vs. validazione [Pugh & Manson]  modularità semantica run-time (operazionale) indipendente dal modello della memoria (assiomatico)

  15. anastrofe (: R x 5) (: W x 5) (: W x 5) da chi legge θ ?

  16. anastrofe o iperbato? e 'l vago lume oltra misura ardea di quei begli occhi ( Petrarca – Il Canzoniere ) ... e tra i bombiti lampeggia de l'ardor che la consuma ( Carducci – La leggenda di Teodorico )

  17. anastrofe o iperbato? e 'l vago lume oltra misura ardea di quei begli occhi ( Petrarca – Il Canzoniere ) ... e tra i bombiti lampeggia de l'ardor che la consuma ( Carducci – La leggenda di Teodorico )

  18. anastrofe o iperbato? e 'l vago lume oltra misura ardea di quei begli occhi ( Petrarca – Il Canzoniere ) ... e tra i bombiti lampeggia de l'ardor che la consuma ( Carducci – La leggenda di Teodorico )

  19. Corron tra 'l Celio fosche e l'Aventino le nubi ( Dinanzi alle Terme di Caracalla ) il divino del pian silenzio verde ( Il bove ) ... e tra i bombiti lampeggia de l'ardor che la consuma ( Carducci – La leggenda di Teodorico )

  20. (: R x 5) (: W x 5) (: W x 5) lampeggia ... e tra i bombiti de l'ardor che la consuma

  21. semantica ( configuration theories )  semplifica la specifica del linguaggio causalità vs. validazione [Pugh & Manson]  modularità semantica run-time (operazionale) indipendente dal modello della memoria (assiomatico)

  22. Chiasmi , anastrofi e modelli della memoria Pietro Cenciarelli Sapienza – Università di Roma cenciarelli@di.uniroma1.it

  23. Chiasmo Tutti per uno  uno per tutti

  24. Chiasmo  Le donne, i cavallier, l’arme, gli amori...

  25. assioma di mutua esclusione (: L) (: L) (: L) (: L) ⊢ (: U) (: U) , (: L) (: L)

  26.  Lock m; 1. z = 200; 2. Lock m; 3. x = 1; 4. x = 2; 5. y = 1; 6. y = 2; 7. Unlock m; 8. w = 100; 9. Unlock m; 10.

  27.  Lock m; 1. z = 200; 2. Lock m; 3. x = 1; 4. x = 2; 5. y = 1; y = 2; 6. y = 1; y = 2; 7. Unlock m; 8. w = 100; 9. Unlock m; 10. [    ] x = 2 , y = 2 , z = 200 , w = 100

  28.  Lock m; 1. z = 200; 2. Lock m; 3. x = 1; 4. x = 2; 5. y = 2; 6. y = 1; 7. Unlock m; 8. w = 100; 9. Unlock m; 10. [ ? ] x = 2 , y = 1 , z = 200 , w = 100

  29.  Lock m; 1. z = 200; 2. Lock m; 3. x = 1; 4. x = 2; 5. y = 2; 6. y = 1; 7. Unlock m; 8. w = 100; 9. Unlock m; 10. [ ? ] x = 2 , y = 1 , z = 200 , w = 100

  30. assioma di serializzabilità   ⊢   , (: L m) (: L m) (: U m) (: U m) (: L m) (: L m)

  31. assioma di serializzabilità ⊢   , (: U m) (: U m)    (: L m) (: L m) (: L m) (: L m)

  32. assioma di serializzabilità ⊢   , (: U m) (: U m)    (: L m) (: L m) (: L m) (: L m)

More Related