Sciweavers

5451 search results - page 58 / 1091

» Typed Operational Semantics

101

CORR
2004
Springer

104views Education» more CORR 2004»

Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics

15 years 3 months ago

Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics

Download akira.ruc.dk

Jørgen Villadsen

claim paper

Read More »

105

INFORMS
1998

87views more INFORMS 1998»

On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend

15 years 2 months ago

On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend

Download www.heinz.cmu.edu

Hemant K. Bhargava, Ramayya Krishnan, Peter Piela

claim paper

Read More »

88

CORR
2010
Springer

79views Education» more CORR 2010»

Semantics of a Typed Algebraic Lambda-Calculus

15 years 2 months ago

Semantics of a Typed Algebraic Lambda-Calculus

Download www.monoidal.net

Benoît Valiron

claim paper

Read More »

120

TOPLAS
2010

93views more TOPLAS 2010»

Semantic foundations for typed assembly languages

15 years 1 months ago

Semantic foundations for typed assembly languages

Download www.cse.lehigh.edu

Amal Ahmed, Andrew W. Appel, Christopher D. Richar...

claim paper

Read More »

137

ENTCS
2008

142views more ENTCS 2008»

An Open System Operational Semantics for an Object-Oriented and Component-Based Language

15 years 3 months ago

An Open System Operational Semantics for an Object-Oriented and Component-Based Language

Download www4.in.tum.de

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

claim paper

Read More »

« Prev « First page 58 / 1091 Last » Next »