Yellamraju V. Srinivas

According to our database, Yellamraju V. Srinivas authored at least 9 papers between 1986 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1997

Refinement of parameterized algebraic specifications.

Yellamraju V. Srinivas

Proceedings of the Algorithmic Languages and Calculi, 1997

1996

SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems.

Richard Jüllig, Yellamraju V. Srinivas, J. Liu

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Specware: Formal Support for Composing Software.

Yellamraju V. Srinivas, Richard Jüllig

Proceedings of the Mathematics of Program Construction, 1995

1994

Augmenting Algebraic Specifications with Structured Sorts and Structural Subsorting.

Yellamraju V. Srinivas

Proceedings of the Programming Concepts, 1994

1993

A Sheaf-Theoretic Approach to Pattern Matching and Related Problems.

Yellamraju V. Srinivas

Theor. Comput. Sci., 1993

Diagrams for software synthesis.

Richard Jüllig, Yellamraju V. Srinivas

Proceedings of the Eighth Knowledge-Based Software Engineering Conference, 1993

1992

Derivation of a Parallel Matching Algorithm.

Yellamraju V. Srinivas

Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992

1991

Pattern Matching: A Sheaf-Theoretic Approach.

Yellamraju V. Srinivas

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1986

A Generalization of Backus' FP.

Yellamraju V. Srinivas, Rajeev Sangal

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1986