Yellamraju V. Srinivas

Publication Activity (10 Years)

Years Active: 1986-1997
Publications (10 Years): 0

Publications

Yellamraju V. Srinivas
Refinement of parameterized algebraic specifications. Algorithmic Languages and Calculi (1997)
Richard Jüllig, Yellamraju V. Srinivas, J. Liu
SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems. AMAST (1996)
Yellamraju V. Srinivas, Richard Jüllig
Specware: Formal Support for Composing Software. MPC (1995)
Yellamraju V. Srinivas
Augmenting Algebraic Specifications with Structured Sorts and Structural Subsorting. PROCOMET (1994)
Richard Jüllig, Yellamraju V. Srinivas
Diagrams for software synthesis. KBSE (1993)
Yellamraju V. Srinivas
A Sheaf-Theoretic Approach to Pattern Matching and Related Problems. Theor. Comput. Sci. 112 (1) (1993)
Yellamraju V. Srinivas
Derivation of a Parallel Matching Algorithm. MPC (1992)
Yellamraju V. Srinivas
Pattern Matching: A Sheaf-Theoretic Approach. AMAST (1991)
Yellamraju V. Srinivas, Rajeev Sangal
A Generalization of Backus' FP. FSTTCS (1986)