The following pages link to Agostino Cortesi (Q456468):
Displaying 37 items.
- Abstract interpretation of database query languages (Q456469) (← links)
- The quotient of an abstract interpretation (Q1128983) (← links)
- Graph properties for normal logic programs (Q1208418) (← links)
- Combinations of abstract domains for logic programming: Open product and generic pattern construction (Q1581061) (← links)
- Operational and abstract semantics of the query language G-Log (Q1607222) (← links)
- The abstract domain of trapezoid step functions (Q1749121) (← links)
- Non-repudiation analysis using \textsc{LySa} with annotations (Q1749255) (← links)
- Security boundaries in mobile ambients (Q1869979) (← links)
- Nesting analysis of mobile ambients (Q1886451) (← links)
- Completeness of string analysis for dynamic languages (Q2051812) (← links)
- Relational string abstract domains (Q2152641) (← links)
- Twinning automata and regular expressions for string static analysis (Q2234078) (← links)
- Widening and narrowing operators for abstract interpretation (Q2275526) (← links)
- Completeness of abstract domains for string analysis of JavaScript programs (Q2279128) (← links)
- Information flow security in boundary ambients (Q2482455) (← links)
- Hyper-lattice algebraic model for data warehousing (Q2634943) (← links)
- Information leakage detection in boundary ambients (Q2843917) (← links)
- Cooperative Query Answering by Abstract Interpretation (Q3075526) (← links)
- Information Leakage Analysis by Abstract Interpretation (Q3075542) (← links)
- Evaluation of the domain prop (Q3125089) (← links)
- Optimal groundness analysis using propositional logic (Q3129500) (← links)
- (Q3806185) (← links)
- Directionally continuous selections in Banach spaces (Q4205736) (← links)
- Type analysis of prolog using type graphs (Q4327427) (← links)
- (Q4414382) (← links)
- (Q4417947) (← links)
- (Q4475098) (← links)
- Automated verification of Prolog programs (Q4700385) (← links)
- Sharing is optimal (Q4719370) (← links)
- (Q4790353) (← links)
- Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations (Q4923517) (← links)
- (Q4939254) (← links)
- Combining Symbolic and Numerical Domains for Information Leakage Analysis (Q4989719) (← links)
- (Q4994700) (← links)
- Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications (Q5172635) (← links)
- Comparison of abstract interpretations (Q5204344) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898626) (← links)
