Abstract:In computer science, the way that we investigate computation is with programming.Programming is more than just writing programs to instruct the computer to do something, it seeks formal and reliable means of ensuring that programs possess crucial properties.Therefore, developers must be concerned with many issues such as robustness, reliability, adaptability, and maintainability, while meeting program specifications.Advanced programming techniques, such as dependently typed programming, generic programming and bidirectional programming, have been developed to deal with these issues.Programming languages with static type systems have had great success in ensuring that data and control structures are used in appropriate ways.Dependently typed programming is a powerful programming mechanism based on the dependent type system.By allowing types to refer to data, programmers can define more fine-grained program behaviors which is often dynamic in practice, being able to communicate the design of software to computers and negotiate their place in the spectrum of precision from basic memory safety to total correctness.Generic programming techniques have been a specific focus of research in the functional and objectoriented programming communities.They make programs more adaptable by embodying non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters.In contrast with normal programs, the parameters of a generic program are often quite rich in structure, which could be other programs, types or type constructors, class hierarchies, or even programming paradigms.Generic programming has been gradually spreading to more and more mainstream languages, and

Research on A New Abstract Programming Language for Generic Constraints

Object Orientation,Generic Programming and Type Constraint Checking

A Language for Generic Programming in the Large

Constraint problem solving based on geometric abstraction

Overview of Type Constrained Programming in C

A Generic Model for Confinement and its Application

Automatic Modular Abstractions for Template Numerical Constraints

Modular Constraint Solver Cooperation via Abstract Interpretation

A Documentation-based Constraint Generation Method for Java APIs.

Enhanced Parallelization via Constraints

Comparison Between Model Fields And Abstract Predicates

Abstracting soft constraints: An improvement

Code Generation for Abstract Data Types Based on Program Analysis

Flatten and conquer: a framework for efficient analysis of string constraints

Frameworks for generalization constraints and operations based on object-oriented data structure in database generalization

A Generic Scheme for Qualified Constraint Functional Logic Progamming

Abstraction Level Taxonomy of Programming Language Frameworks

Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs

A Concurrent Constraint Programming Interpretation of Access Permissions

Java Generics: An Order-Theoretic Approach (Abridged Outline)

A Decision Procedure for String Constraints with String/integer Conversion and Flat Regular Constraints