 | DIPARTIMENTO DI INFORMATICA Università degli Studi di Torino Formal Methods in Computing |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| DIPARTIMENTO DI INFORMATICA Università degli Studi di Torino Formal Methods in Computing |
| 2020 | |
| Böhm, Böhm, Böhm, Dezani-Ciancaglini, Manfredini and Böhm | "Corrado Böhm: the lambda-adventure" In a collection. |
| 2015 | |
| Damiani, Viroli, Pianini and Beal | "Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields" In a collection. |
| 2014 | |
| Aldinucci, Danelutto, Kilpatrick and Torquati | "FastFlow: high-level and efficient streaming on multi-core" In a collection. |
| Damiani, Schaefer, Schuster and Winkelmann | "Delta-Trait Programming of Software Product Lines" In a collection. |
| Viroli and Damiani | "A Calculus of Self-stabilising Computational Fields" In a collection. |
| 2013 | |
| Aldinucci, Campa, Tordini, Torquati and Kilpatrick | "An abstract annotation model for skeletons" In a collection. |
| Aldinucci, Danelutto, Kilpatrick, Montangero and Semini | "Managing Adaptivity in Parallel Systems" In a collection. |
| Alessi, Barendregt, Dekkers, Dezani-Ciancaglini, Honsell, Severi and Statman | "Intersection Types" In a collection. |
| Bergel and Bettini | "Generic Programming in Pharo" In a collection. |
| Hammond, Aldinucci, Brown, Cesarini, Danelutto, González-Vélez, Kilpatrick, Keller, Rossbory and Shainer | "The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems" In a collection. |
| Viroli, Damiani and Beal | "A Calculus of Computational Fields" In a collection. |
| 2012 | |
| Damiani and Schaefer | "Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines" In a collection. |
| 2011 | |
| Cardone | "Corrado Mangione, le categorie, la logica" In a collection. |
| Cardone | "The algebra and geometry of commitment" In a collection. |
| 2010 | |
| Aldinucci, Danelutto and Kilpatrick | "Autonomic Management of Multiple Non-Functional Concerns in Behavioural Skeletons" In a collection. |
| Aldinucci | "Efficient Parallel MonteCarlo with FastFlow" In a collection. |
| 2009 | |
| Cardone and Hindley | "History of lambda-calculus and combinators" In a collection. |
| 2008 | |
| Aldinucci, Campa, Danelutto, Dazzi, Kilpatrick, Laforenza and Tonellotto | "Behavioural skeletons for component autonomic management on grids" In a collection. |
| Aldinucci, Antoniu, Danelutto and Jan | "Fault-Tolerant Data Sharing for High-level Grid Programming: A Hierarchical Storage Architecture" In a collection. |
| Aldinucci, Danelutto, Kilpatrick and Dazzi | "From Orc Models to Distributed Grid Java code" In a collection. |
| Damiani, Giachino, Giannini and Cazzola | "On state classes and their dynamic semantics" In a collection: Software and Data Technologies (First International Conference, ICSOFT 2006, Revised Selected Papers), Communications in Computer and Information Science, volume 10, pages 84-96, Springer (http://www.springer.com/computer/programming/book/978-3-540-70619-9). |
| 2007 | |
| Aldinucci, Campa, Coppola, Danelutto, Zoccolo, André and Buisson | "An abstract schema modeling adaptivity management" In a collection. |
| Aldinucci and Benoit | "Towards the Automatic Mapping of ASSIST Applications for the Grid" In a collection. |
| Dünnweber, Gorlatch, Campa, Aldinucci and Danelutto | "Adaptable Parallel Components for Grid Programming" In a collection. |
| Pasin, Kuonen, Danelutto and Aldinucci | "Skeleton Parallel Programming and Parallel Objects" In a collection. |
| 2006 | |
| Aldinucci, Coppola, Danelutto, Vanneschi and Zoccolo | "ASSIST as a research framework for high-performance Grid programming environments" In a collection. |
| Aldinucci, Coppola, Campa, Danelutto, Vanneschi and Zoccolo | "Structured implementation of component based grid programming environments" In a collection. |
| Meyer, Motohama and Bono | "Truth Translations of Relevant Logics" In a collection: In Truth and Probability: Essays in Honour of Hugues Leblanc, College Publications, ISBN 1-904987-19-2. |
| 2005 | |
| Aldinucci, Danelutto, Dünnweber and Gorlatch | "Optimization techniques for skeletons on grids" In a collection. |
| 2002 | |
| Aldinucci | "Automatic Program Transformation: The Meta Tool for Skeleton-based Languages" In a collection. |
| 1998 | |
| Coppo, Damiani and Giannini | "Inference based analysis of functional programs: dead-code and strictness" In a collection: Theories of Types and Proofs, MSJ-Memoir, volume 2, pages 143-176, Mathematical Society of Japan. |
| Coppo | "Recursive types: the syntactic and semantic approaches" In a collection. |
| Damiani and Prost | "Detecting and Removing Dead-Code using Rank 2 Intersection" In a collection: TYPES'96, LNCS 1512, pages 66-87, Springer. |
| Dezani-Ciancaglini, Giovannetti and de' Liguoro | "Intersection Types, Lambda-models and Böhm Trees" In a collection: Mathematical Society of Japan. |
| 1993 | |
| Barbanera and Berardi | "Witness Extraction in Classical Logic through Normalization" In a collection. |
| 1980 | |
| Coppo, Dezani-Ciancaglini and Venneri | "Principal Type Schemes and Lambda-calculus Semantics" In a collection. |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
