Loading...
Please wait, while we are loading the content...
Similar Documents
Componential Set-Based Analysis (1997)
| Content Provider | CiteSeerX |
|---|---|
| Author | Flanagan, Cormac Felleisen, Matthias |
| Description | This article presents theoretical and practical results concerning methods for reducing the size of constraint systems. The theoretical results include a proof-theoretic characterization of the |
| File Format | |
| Journal | ACM Transactions on Programming Languages and Systems |
| Language | English |
| Publisher | ACM Press |
| Publisher Date | 1997-01-01 |
| Access Restriction | Open |
| Subject Keyword | Practical Result Proof-theoretic Characterization Constraint System Theoretical Result Componential Set-based Analysis |
| Content Type | Text |
| Resource Type | Article |