The following pages link to Ferruccio Damiani (Q235603):
Displaying 38 items.
- Simulation techniques for the calculus of wrapped compartments (Q418836) (← links)
- Verifying traits: an incremental proof system for fine-grained reuse (Q736803) (← links)
- A type safe state abstraction for coordination in JAVA-like languages (Q1006341) (← links)
- A core calculus for dynamic delta-oriented programming (Q1647772) (← links)
- Combining traits with boxes and ownership types in a Java-like setting (Q1951635) (← links)
- From distributed coordination to field calculus and aggregate computing (Q2011213) (← links)
- On two characterizations of feature models (Q2037939) (← links)
- On logical and extensional characterizations of attributed feature models (Q2120962) (← links)
- Compositional type checking of delta-oriented software product lines (Q2376980) (← links)
- On flexible dynamic trait replacement for Java-like languages (Q2442955) (← links)
- Automatic useless-code elimination for HOT functional programs (Q2713364) (← links)
- Fickle: Dynamic Object Re-classification (Q2779238) (← links)
- (Q3024904) (← links)
- Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? (Q3067532) (← links)
- Type-based Self-stabilisation for Computational Fields (Q3460426) (← links)
- On Polymorphic Recursion, Type Systems, and Abstract Interpretation (Q3522067) (← links)
- (Q3593500) (← links)
- (Q3601885) (← links)
- A filter model for mobile processes (Q4237908) (← links)
- (Q4246944) (← links)
- (Q4364386) (← links)
- (Q4368373) (← links)
- A conjunctive type system for useless-code elimination (Q4405691) (← links)
- (Q4472544) (← links)
- (Q4490757) (← links)
- (Q4508295) (← links)
- A Higher-Order Calculus of Computational Fields (Q4617982) (← links)
- Standard Type Soundness for Agents and Artifacts (Q4621163) (← links)
- (Q4699353) (← links)
- (Q4964722) (← links)
- Refinement types for program analysis (Q5030192) (← links)
- (Q5129944) (← links)
- (Q5151035) (← links)
- Polymorphic bytecode (Q5276131) (← links)
- Typed Lambda Calculi and Applications (Q5704006) (← links)
- Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala (Q5883752) (← links)
- Theoretical Computer Science (Q5897353) (← links)
- Strictness, totality, and non-standard-type inference (Q5958293) (← links)
