A type-based algorithm for the control-flow analysis of higher-order concurrent programs (original) (raw)
Related papers
Type and behaviour reconstruction for higher-order concurrent programs
Journal of Functional Programming, 1997
Type-based information flow analysis for the π-calculus
Acta Informatica, 2005
Simple and effective analysis of statically-typed object-oriented programs
ACM SIGPLAN Notices, 1996
Non-standard type inference for functional programs
1998
Static analysis of functional programs
1995
A generic type-and-effect system
2009
Bidirectional data flow analysis for type inferencing
Computer Languages, Systems & Structures, 2003
A Type Graph Model for Java Programs
Lecture Notes in Computer Science, 2009
Separate abstract interpretation for control-flow analysis
Springer eBooks, 1994
A type system with usage aspects
Journal of Functional Programming, 2008
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification
Lecture Notes in Computer Science, 2001
Formalizing and verifying semantic type soundness of a simple compiler
2007
Symbolic Analysis of Imperative Programming Languages
Lecture Notes in Computer Science, 2006
A dependently typed framework for static analysis of program execution costs
2006
Untangling Type Inference and Scope Analysis *
2011
Unified type system for the modern general-purpose programing language
2022
Refinement Types for Program Analysis
1996
Formal development of static program analysers
Proceedings of the Eighth Israeli Conference on Computer Systems and Software Engineering, 1997
A typed intermediate language for flow-directed compilation
Lecture Notes in Computer Science, 1997
Operational semantics and type system for Gnome on Typed Calculus of Objects
Dependence Analysis Through Type Inference
Reachability types: tracking aliasing and separation in higher-order functional programs
Proceedings of the ACM on Programming Languages, 2021
Proceedings of the ACM SIGPLAN 1990 …, 1990
Coping with the reality: adding crucial features to a typestate-oriented language
2021
Lazy Type Inference and Program Analysis
Science of Computer Programming, 1995
Logic-flow analysis of higher-order programs
2007
Notes on Type Abstraction (Version 2)
IEEE Transactions on Software Engineering, 2000
Type inference for COBOL systems
Proceedings Fifth Working Conference on Reverse Engineering (Cat. No.98TB100261), 1998
The Implicit Calculus of Constructions as a Programming Language with Dependent Types
2008
A Framework for Analysis of Typed Logic Programs
2001
Inferring Types for Parallel Programs
Electronic Proceedings in Theoretical Computer Science, 2017
A Rewriting Logic Approach to Type Inference: Technical Report
Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language
Type checking and type deduction techniques for polymorphic programming languages
2018