The SCEAS System
| |||||||

## Search the dblp DataBase
Prateek Mishra:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- You-Chin Fuh, Prateek Mishra
**Type Inference with Subtypes.**[Citation Graph (2, 0)][DBLP] ESOP, 1988, pp:94-114 [Conf] - Prateek Mishra, Uday S. Reddy
**Declaration-Free Type Checking.**[Citation Graph (1, 0)][DBLP] POPL, 1985, pp:7-21 [Conf] - Prateek Mishra
**Towards a Theory of Types in Prolog.**[Citation Graph (1, 0)][DBLP] SLP, 1984, pp:289-298 [Conf] - Mauricio Cortes, Prateek Mishra
**DCWPL: A Programming Language for Describing Collaborative Work.**[Citation Graph (0, 0)][DBLP] CSCW, 1996, pp:21-29 [Conf] - Tsung-Min Kuo, Prateek Mishra
**Strictness Analysis: A New Perspective Based on Type Inference.**[Citation Graph (0, 0)][DBLP] FPCA, 1989, pp:260-272 [Conf] - Allen Leung, Prateek Mishra
**Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages.**[Citation Graph (0, 0)][DBLP] FPCA, 1991, pp:328-351 [Conf] - Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra
**Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming.**[Citation Graph (0, 0)][DBLP] ICALP, 1990, pp:765-778 [Conf] - Marc Neuberger, Prateek Mishra
**A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis.**[Citation Graph (0, 0)][DBLP] LISP and Functional Programming, 1992, pp:127-138 [Conf] - Tsung-Min Kuo, Prateek Mishra
**On Strictness and its Analysis.**[Citation Graph (0, 0)][DBLP] POPL, 1987, pp:144-155 [Conf] - Prateek Mishra, Robert M. Keller
**Static Inference of Properties of Applicative Programs.**[Citation Graph (0, 0)][DBLP] POPL, 1984, pp:235-244 [Conf] - R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan
**On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation.**[Citation Graph (0, 0)][DBLP] POPL, 1991, pp:37-48 [Conf] - You-Chin Fuh, Prateek Mishra
**Polymorphic Subtype Inference: Closing the Theory-Practice Gap.**[Citation Graph (0, 0)][DBLP] TAPSOFT, Vol.2, 1989, pp:167-183 [Conf] - Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad
**FACILE: A Symmetric Integration of Concurrent and Functional Programming.**[Citation Graph (0, 0)][DBLP] TAPSOFT, Vol.2, 1989, pp:184-209 [Conf] - Mauricio Cortes, Prateek Mishra
**An Implementation Model for Collaborative Applications.**[Citation Graph (0, 0)][DBLP] CLEI Electron. J., 1998, v:1, n:1, pp:- [Journal] - Prateek Mishra
**Strictness Analysis of the Untyped lambda-Calculus.**[Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1988, v:28, n:3, pp:121-125 [Journal] - R. C. Sekar, I. V. Ramakrishnan, Prateek Mishra
**On the power and limitations of strictness analysis.**[Citation Graph (0, 0)][DBLP] J. ACM, 1997, v:44, n:3, pp:505-525 [Journal] - Saumya K. Debray, Prateek Mishra
**Denotational and Operational Semantics for Prolog.**[Citation Graph (0, 0)][DBLP] J. Log. Program., 1988, v:5, n:1, pp:81-91 [Journal] - George Logothetis, Prateek Mishra
**Compiling Short-circuit Boolean Expressions in One Pass.**[Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1981, v:11, n:11, pp:1197-1214 [Journal] - You-Chin Fuh, Prateek Mishra
**Type Inference with Subtypes.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1990, v:73, n:2, pp:155-175 [Journal] **Low-power FinFET circuit synthesis using surface orientation optimization.**[Citation Graph (, )][DBLP]**Die-level leakage power analysis of FinFET circuits considering process variations.**[Citation Graph (, )][DBLP]**Threshold Voltage Control through Multiple Supply Voltages for Power-Efficient FinFET Interconnects.**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |