scientific article; zbMATH DE number 1953279
From MaRDI portal
Publication:4414731
Recommendations
- Types from Control Flow Analysis
- Refinement types for program analysis
- Substructural Type Systems for Program Analysis
- Type-based parametric analysis of program families
- Type inference, abstract interpretation and strictness analysis
- scientific article; zbMATH DE number 559219
- Types and programing languages
- Type system in programming languages
- scientific article; zbMATH DE number 1215502
- Type theories and object-oriented programmimg
Cited in
(19)- A type-based complexity analysis of object oriented programs
- From polyvariant flow information to intersection and union types
- scientific article; zbMATH DE number 1691460 (Why is no real title available?)
- Type-based parametric analysis of program families
- A demand-driven adaptive type analysis
- Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract)
- Type Checking by Domain Analysis in Ampersand
- Types from Control Flow Analysis
- Fundamentals of coding type problems
- Semantic types and approximation for Featherweight Java
- Conjunctive Type Systems and Abstract Interpretation of Higher-order Functional Programs
- Higher-ranked annotation polymorphic dependency analysis
- Logic Programming
- A modular, polyvariant and type-based closure analysis
- On the complexity of set-based analysis
- Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis
- Abstract Interpretation Plugins for Type Systems
- Classification of control of types in programs with complex data types
- An empirical study into COBOL type inferencing
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4414731)
