Searching for authors named Joxan Jaffar – sorted by Relevance.
50 documents found, showing 1 through 10.
Next 10 →
-
A Framework for Combining Analysis and Verification
- … Avenue Murray Hill, NJ 07974 nch@(email omitted); Joxan Jaffar R*azvan Voicu School of Computing…
- Cited by 1 (1 self) – Add To MetaCart
-
Set-Based Program Analysis (Extended Abstract)
- …Set-Based Program Analysis (Extended Abstract) Nevin Heintze and Joxan Jaffar y 1 January 1991…
- Cited by 1 (0 self) – Add To MetaCart
-
Set Constraints and Set-Based Analysis
- …Set Constraints and Set-Based Analysis Nevin Heintze and Joxan Jaffar y May 1994 1 Introduction…
- Cited by 33 (0 self) – Add To MetaCart
-
An Engine for Logic Program Analysis
- …An Engine for Logic Program Analysis Nevin Heintze Joxan Jaffar School of Computer Science IBM T…
- Cited by 19 (9 self) – Add To MetaCart
-
A Finite Presentation Theorem for Approximating Logic Programs
- …A Finite Presentation Theorem for Approximating Logic Programs Nevin Heintze y and Joxan Jaffar…
- Cited by 89 (15 self) – Add To MetaCart
-
Semantic Types for Logic Programs
- …Chapter 1 Semantic Types for Logic Programs by Nevin Heintze and Joxan Jaffar A semantic type…
- Cited by 14 (2 self) – Add To MetaCart
-
A Decision Procedure for a Class of Set Constraints
- …A Decision Procedure for a Class of Set Constraints Nevin Heintze 1 and Joxan Jaffar 2 February…
- Cited by 51 (0 self) – Add To MetaCart
-
CLP(R) Programmer's Manual Version 1.1
- …The CLP(R) Programmer's Manual Version 1.1 Nevin Heintze y Joxan Jaffar z Spiro Michaylov y…
- Add To MetaCart
-
A Fast Algorithm for Two Processor Scheduling with Release Time and Deadline Constraints
- … Joxan Jaffar School of Computing National University of Singapore Lower Kent Ridge Road, Singapore…
- Add To MetaCart
-
General-Purpose Assertions for Data Structures
- … three-step traversal of p results in r, we would require that Joxan Jaffar, Andrew Santosa and Răzvan…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
