Searching for authors named "Joxan Jaffar" – sorted by Relevance.
-
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

