Travelled to:1 × France
1 × Israel
5 × USA
Collaborated with:J.You ∅ M.Yu J.D.Gabbe
Talks about:program (4) logic (3) function (2) evalu (2) equat (2) nondetermin (1) floorplan (1) confluent (1) asynchron (1) algorithm (1)
Person: P. A. Subrahmanyam
DBLP: Subrahmanyam:P=_A=
Contributed to:
199219891987
1986
19861984
19841981Wrote 8 papers:
- DAC-1992-YuS #approach #design
- A Path-Oriented Approach for Reducing Hazards in Asynchronous Designs (MLY, PAS), pp. 239–244.
- DAC-1989-GabbeS #clustering
- A Note on Clustering Modules for Floorplanning (JDG, PAS), pp. 594–597.
- DAC-1987-Subrahmanyam #deduction #named
- LCS — A Leaf Cell Synthesizer Employing Formal Deduction Techniques (PAS), pp. 459–465.
- ICALP-1986-YouS #algorithm #confluence #term rewriting
- E-Unification Algorithms for a Class of Confluent Term Rewriting Systems (JHY, PAS), pp. 454–463.
- POPL-1986-YouS #equation #logic programming
- Equational Logic Programming: An Extension to Equational Programming (JHY, PAS), pp. 209–218.
- POPL-1984-SubrahmanyamY #evaluation #functional #lazy evaluation #logic programming #reduction #source code
- Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs (PAS, JHY), pp. 228–234.
- SLP-1984-SubrahmanyamY84 #concept #evaluation #functional #logic programming
- Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming (PAS, JHY), pp. 144–153.
- ICALP-1981-Subrahmanyam #data type #nondeterminism
- Nondeterminism in Abstract Data Types (PAS), pp. 148–164.