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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.847 0 64 141 163 265 311 547 187 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/2025126 125 1 0 0 0 0 0 0 0 0 0 0
Totale 10.727