Sciweavers

5451 search results - page 58 / 1091
» Typed Operational Semantics
Sort
View
100
Voted
INFORMS
1998
87views more  INFORMS 1998»
15 years 2 months ago
On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend
Hemant K. Bhargava, Ramayya Krishnan, Peter Piela
TOPLAS
2010
93views more  TOPLAS 2010»
15 years 24 days ago
Semantic foundations for typed assembly languages
Amal Ahmed, Andrew W. Appel, Christopher D. Richar...
ENTCS
2008
142views more  ENTCS 2008»
15 years 2 months ago
An Open System Operational Semantics for an Object-Oriented and Component-Based Language
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
Jasmin Christian Blanchette, Olaf Owe