Pages that link to "Item:Q2958920"
From MaRDI portal
The following pages link to Modeling inheritance as coercion in a symbolic computation system (Q2958920):
Displaying 5 items.
- Synthesized and inherited functions. A new computational model for syntax-directed semantics (Q1338894) (← links)
- Subtyping inheritance and its application in languages for symbolic computation systems (Q1895396) (← links)
- (Q3204024) (← links)
- The inheritance of PN-COOPN (Q4245984) (← links)
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)