Title of article
On pushout consistency, modularity and interpolation for logical specifications
Author/Authors
Paulo A. S. Veloso، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1996
Pages
8
From page
59
To page
66
Keywords
Software engineering , Formal specifications , Data types , Interpretations , Extensions , Consistency , modularity , interpolation , Internalization , Pushout , CoequaIizer , Theory of computation
Journal title
Information Processing Letters
Serial Year
1996
Journal title
Information Processing Letters
Record number
128567
Link To Document