Refinement of Parameterized Algebraic Specifications (English)
Free access
- New search for: Srinivas, Yellamraju V.
- New search for: Srinivas, Yellamraju V.
In:
Algorithmic Languages and Calculi
;
164-186
;
1997
- Article/Chapter (Book) / Electronic Resource
-
Title:Refinement of Parameterized Algebraic Specifications
-
Contributors:Srinivas, Yellamraju V. ( author )
-
Published in:Algorithmic Languages and Calculi ; 164-186
-
Publisher:
- New search for: Springer US
-
Place of publication:Boston, MA
-
Publication date:1997-01-01
-
Size:23 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Dynamic programming: a different perspectiveCurtis, Sharon et al. | 1997
- 24
-
Calculating With Pointer StructuresMöller, Bernhard et al. | 1997
- 49
-
Deriving a systolic regular language recognizerVaccari, Matteo / Backhouse, Roland et al. | 1997
- 76
-
A Calculational Fusion System HYLOOnoue, Y. / Hu, Z. / Iwasaki, H. / Takeichi, M. et al. | 1997
- 107
-
Refinement of data parallel programs in PEIViolard, E. / Genaud, S. / Perrin, G.-R. et al. | 1997
- 132
-
Solving Large Systems of Differential Equations in Parallel Using Covers and SkeletonsSüdholt, M. / Piepenbrock, C. / Obermayer, K. / Pepper, P. et al. | 1997
- 164
-
Refinement of Parameterized Algebraic SpecificationsSrinivas, Yellamraju V. et al. | 1997
- 187
-
Towards a Compositional Interpretation of Object DiagramsBicarregui, J. C. / Lano, K. C. / Maibaum, T. S. E. et al. | 1997
- 212
-
Defining and Detecting Feature InteractionsFrappier, Marc / Mili, Ali / Desharnais, Jules et al. | 1997
- 240
-
Synthesising InterconnectionsFiadeiro, J. L. / Lopes, A. / Maibaum, T. S. E. et al. | 1997
- 265
-
A Powerful Transformation Rule, its Applications and VariantsAchatz, Klaus / Partsch, Helmuth et al. | 1997
- 296
-
Program Derivation via List IntroductionPettorossi, Alberto / Proietti, Maurizio et al. | 1997
- 324
-
Toward a calculus for abstract syntax treesWile, D. S. et al. | 1997
- 357
-
Principled strength reductionLiu, Yanhong A. et al. | 1997
- 382
-
The Formal Reconstruction and Speedup Of The Linear Time Fragment Of Willard’s Relational Calculus SubsetGoyal, Deepak / Paige, Robert et al. | 1997
- 415
-
Predicative Semantics of LoopsNorvell, Theodore S. et al. | 1997