Search Sciweavers | Sciweavers

6016 search results - page 104 / 1204

» The semantics of graphical languages

122

click to vote

AGP
2003
IEEE

127views Artificial Intelligence» more AGP 2003»

Operational Semantics of an Imperative Language in Definite Clauses

15 years 10 months ago

Download akira.ruc.dk

Jørgen Villadsen

claim paper

Read More »

click to vote

ISCA
2010
IEEE

131views Hardware» more ISCA 2010»

Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races

15 years 9 months ago

Download www.cs.washington.edu

Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qade...

claim paper

Read More »

125

Voted

APN
2001
Springer

95views Artificial Intelligence» more APN 2001»

A Concurrent Semantics of Static Exceptions in a Parallel Programming Language

15 years 9 months ago

Download hal.archives-ouvertes.fr

Hanna Klaudel, Franck Pommereau

claim paper

Read More »

122

click to vote

ECBS
1996
IEEE

111views Hardware» more ECBS 1996»

Semantic Preserving Language Conversion by Simple Pattern Matching

15 years 8 months ago

Download www.pdbm.de

Bernd Müller

claim paper

Read More »

121

Voted

CSL
1993
Springer

98views Automated Reasoning» more CSL 1993»

ERRATA to "The Semantics of the C Programming Language"

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers