Filters








2 Hits in 7.6 sec

Replicating Data for Better Performances in X10 [chapter]

Marina Andrić, Rocco De Nicola, Alberto Lluch Lafuente
2015 Lecture Notes in Computer Science  
The programmer can hence exploit such flexible mechanisms to adapt data distribution and locality to the needs of the application, in order to improve performance in terms of concurrency and data access  ...  Our approach aims at allowing the programmer to specify and coordinate the replication of shared data items by taking into account the desired consistency properties.  ...  (Ekstern), Lluch Lafuente, A. of host publication: Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays Publisher: Springer  ... 
doi:10.1007/978-3-319-27810-0_12 fatcat:ke3uid52ejd2tppydwtxdtpcx4

Automating Abstract Interpretation of Abstract Machines [article]

James Ian Johnson
2015 arXiv   pre-print
The semantics guarantees that if allocation is finite, then the semantics is a sound and computable approximation of the concrete semantics.  ...  Users of these languages lament their inability to analyze their code, therefore programming language analyzers are not easy to write.  ...  Sagiv, editor, [72] Hanne Riis Nielson and Flemming Nielson. Flow logic: A multi-paradigmatic approach to static analysis. In Torben AE. Mogensen, David A.  ... 
arXiv:1504.08033v1 fatcat:qoppf36sxfhpto7avqoeebauda