IRIS
ZUCCA SCHILLANI, ELENA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 11.924
Totale 11.924
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 11.924
Totale 11.924
Salva come PNG Salva come JPEG
Città #
Genova 8.559
Genoa 1.397
Rapallo 1.086
Vado Ligure 856
Bordighera 26
Totale 11.924
Salva come PNG Salva come JPEG
Nome #
D-oids: a model for dynamic data-types 187
A calculus for dynamic reconfiguration with low priority linking 172
A Primitive Calculus for Module Systems 158
A core calculus for Java exceptions 156
A calculus of open modules: call-by-need strategy and confluence 155
A Free Construction of Dynamic Terms 149
A Meta-Circular Language for Active Libraries 146
A Formal Framework with Late Binding 146
Formal Techniques for Java-Like Programs 140
Semantics of CSP via translation into CCS 139
An Algebraic Compositional Semantics of an Object oriented Notation with Concurrency 139
A Semantic Model for Dynamic Systems 136
Flexible Type-Safe Linking of Components for Java-Like Languages 132
A Calculus of Components with Dynamic Type-Checking 131
A calculus for dynamic linking 131
A Provenly Correct Translation of Fickle into Java 131
A meta-circular language for active libraries 130
An Algebraic Approach to Mixins and Modularity 129
Modeling Multiple Class Loaders by a Calculus for Dynamic Linking 128
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes 128
Corecursive Featherweight Java 128
Towards a model of corecursion with default 128
A Formal Framework for Modules with State 126
From Static to Dynamic Abstract Data-Types 126
Jam: A smooth extension of Java with mixins 124
An Imperative Pure Calculus 124
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects 123
Coupling catch clauses with local declarations 123
Reconciling positional and nominal binding 123
A calculus with lazy module operators 123
Introducing safe unknown types in Java-like languages 122
Type inference by coinductive logic programming 122
Incremental Rebinding with Name Polymorphism 122
Jam-designing a Java extension with mixins 121
A Lightweight Approach to Customizable Composition Operators for Java-like Classes 120
Parametric Channels Via Label Expressions in CCS 120
A type preserving translation of Fickle into Java 120
A parametric calculus for mobile open code 119
Overriding Operators in a Mixin-Based Framework 119
Type safe incremental rebinding 118
A core calculus for Java exceptions (extended abstract) 118
Generalizing inference systems by coaxioms 117
Type inference for polymorphic methods in Java-like languages 116
Extending Casl by Late Binding 116
Aliasing control in an imperative pure calculus 116
Extending coinductive logic programming with co-facts 116
Stores as Homomorphisms and their Transformations 115
A framework for type safe exchange of mobile code 114
Just: safe unknown types in Java-like languages 114
True modules for Java-like languages. 113
From static to dynamic abstract data-types: An institution transformation 113
An Effective Translation of Fickle into Java 112
True separate compilation for Java classes 112
Applying the SMoLCS Specification Methodology to the CNET Architecture 111
A Case-Study in Encoding Configuration Languages: Multiple Class Loaders 110
DeepFJig: modular composition of nested classes 109
A formal framework for Java separate compilation. 109
Extending the lambda-calculus with unbind and rebind 109
A theory of mixin modules: Basic and derived operators 107
Reasoning on Divergent Computations with Coaxioms 107
A theory of mixin modules: algebraic laws and reduction semantics 106
Semantics of Distributed Processes Derived by Translation 106
Principal typings for Java-like languages 106
A Calculus for Reconfiguration (Extended Abstract) 105
Mixin modules for dynamic rebinding 105
Tracing sharing in an imperative pure calculus 103
Mixin modules and computational effects 102
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages 102
Deriving Proof Rules from Continuation Semantics 100
A calculus of module systems 99
A type and effect system for sharing 99
DeepFJig — Modular composition of nested classes. 97
Flexible recovery of uniqueness and immutability 96
Stores as Homomorphisms and Their Transformations 92
Intersection types for unbind and rebind 92
The Ada Challenge for New Formal Semantic Techniques 89
Smart modules for Java-like languages 88
Implementation of data structures in an imperative framework 87
Even more principal typings for Java-like languages 86
FMOODS/FORTE'10 - Formal Techniques for Distributed Systems 86
Customizable composition operators for Java-like classes (extended abstract) 86
Implementation of Derived Programs (Almost) for Free 86
Tracing sharing in an imperative pure calculus (extended abstract) 86
A type and effect system for uniqueness and immutability 86
An Algebra of Mixin Modules 85
Overloading and inheritance 85
Soundness Conditions for Big-Step Semantics 84
Polymorphic bytecode: Compositional compilation for Java-like languages 82
Runtime checks as nominal types 80
Flattening versus direct semantics for Featherweight Jigsaw 79
The essence of static and dynamic bindings 78
Safe Corecursion in coFJ 78
Editorial message: special track on object oriented programming languages and systems 77
MetaFJig - A meta-circular composition language for Java-like classes 75
An Algebraic Semantic Framework for Object Oriented Languages with Concurrency 73
A formal framework for compositional compilation (extended abstract) 73
Java separate type checking is not safe 72
Formal Specification of a Concurrent Architecture in a Real Project 72
Guest Editorial of the special issue on the eighth workshop on Formal Techniques for Java-like Programs 71
Flexible coinductive logic programming 68
Totale 11.090
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.611
article - articoli 12.547
book - libri 304
conference - conferenze 21.624
curatela - curatele 225
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.911
Totale 73.222
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.169 0 0 0 0 0 0 0 0 267 490 294 118
2020/2021750 37 62 57 37 45 43 73 113 94 78 58 53
2021/20221.641 37 155 112 159 34 64 120 352 63 118 72 355
2022/20231.330 126 65 7 128 194 247 24 78 235 11 196 19
2023/2024623 35 84 16 81 30 83 52 42 33 23 47 97
2024/20251.449 125 152 68 82 342 204 162 254 60 0 0 0
Totale 12.050