Galois Connections for Recursive Types

Keyphrases

• Galois Connection 100%
• Recursive Types 100%
• Abstract Domains 100%
• Agda 50%
• Static Analysis 50%
• Computable 50%
• Functional Languages 50%
• Function-based 50%
• Higher-order Functions 50%
• Prototype Implementation 50%
• Modular Design 50%
• Static Analyzer 50%
• Efficient Development 50%
• Domain Design 50%
• Theoretical Solution 50%
• Scale Domain 50%
• Regular Tree Grammars 50%

Computer Science

• Data Type 100%
• Static Program Analysis 100%
• Functional Languages 100%
• Order Function 100%