BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Subrahmanyam:P=_A=

Contributed to:

DAC 19921992
DAC 19891989
DAC 19871987
ICALP 19861986
POPL 19861986
POPL 19841984
SLP 19841984
ICALP 19811981

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.