scientific article; zbMATH DE number 1953279

zbMATH Open1026.68027MaRDI QIDQ4414731FDOQ4414731

Authors:

Publication date: 27 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2566/25660204.htm

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Cited In (19)

• Higher-ranked annotation polymorphic dependency analysis
• Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract)
• Classification of control of types in programs with complex data types
• A type-based complexity analysis of object oriented programs
• Fundamentals of coding type problems
• A demand-driven adaptive type analysis
• Logic Programming
• Title not available (Why is that?)
• Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis
• Type-based parametric analysis of program families
• From polyvariant flow information to intersection and union types
• Abstract Interpretation Plugins for Type Systems
• An empirical study into COBOL type inferencing
• On the complexity of set-based analysis
• Conjunctive Type Systems and Abstract Interpretation of Higher-order Functional Programs
• Type Checking by Domain Analysis in Ampersand
• A modular, polyvariant and type-based closure analysis
• Semantic types and approximation for Featherweight Java
• Types from Control Flow Analysis

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)