Sciweavers

6016 search results - page 110 / 1204

» The semantics of graphical languages

102

RWEB
2010
Springer

211views Automated Reasoning» more RWEB 2010»

Bridging Query Languages in Semantic and Graph Technologies

15 years 3 months ago

Bridging Query Languages in Semantic and Graph Technologies

Download reasoningweb.org

Hannes Schwarz, Jürgen Ebert

claim paper

Read More »

133

TOPLAS
2010

93views more TOPLAS 2010»

Semantic foundations for typed assembly languages

15 years 3 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 »

122

WRLA
2010

113views Logical Reasoning» more WRLA 2010»

K-Maude: A Rewriting Based Tool for Semantics of Programming Languages

15 years 3 months ago

K-Maude: A Rewriting Based Tool for Semantics of Programming Languages

Download fsl.cs.uiuc.edu

Traian-Florin Serbanuta, Grigore Rosu

claim paper

Read More »

118

CORR
2009
Springer

86views Education» more CORR 2009»

Rewriting Logic Semantics of a Plan Execution Language

15 years 2 months ago

Rewriting Logic Semantics of a Plan Execution Language

Download shemesh.larc.nasa.gov

Gilles Dowek, César Muñoz, Camilo Ro...

claim paper

Read More »

241

POPL
2006
ACM

138views Programming Languages» more POPL 2006»

The next 700 data description languages

16 years 5 months ago

The next 700 data description languages

Download www.padsproj.org

In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...

Kathleen Fisher, Yitzhak Mandelbaum, David Walker

claim paper

Read More »

« Prev « First page 110 / 1204 Last » Next »