Searching for authors named "Joxan Jaffar" – sorted by Relevance.
34 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
-
Propagation for Program Reasoning
- … questions arise. First, how can we utilize partial as- Joxan Jaffar National University of Singapore joxan…
- Add To MetaCart
-
Instruction Scheduling with Timing Constraints on Multiple RISC Processors
- … of Computing National University of Singapore E-mail: wuh@(email omitted); Joxan Jaffar School of Computing…
- Cited by 5 (4 self) – Add To MetaCart
-
A Fast Algorithm for Scheduling Instructions with Deadline Constraints on RISC Machines
- …, Joxan Jaffar, Roland Yap School of Computing National University of Singapore E-mail: fwuh, joxan, ryapg…
- Cited by 6 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
