Search Sciweavers | Sciweavers

2685 search results - page 26 / 537

» A Formal Semantics for SPKI

Voted

ISSS
2002
IEEE

109views Hardware» more ISSS 2002»

The Formal Execution Semantics of SpecC

15 years 6 months ago

Download users.ece.utexas.edu

Rainer Dömer, Andreas Gerstlauer, Wolfgang M&...

claim paper

Read More »

Voted

UML
2001
Springer

134views Natural Language Processing» more UML 2001»

A Formal Semantics for OCL 1.4

15 years 6 months ago

Download www.pst.informatik.uni-muenchen.de

María Victoria Cengarle, Alexander Knapp

claim paper

Read More »

click to vote

INFORMATIKTAGE
2010

147views Information Technology» more INFORMATIKTAGE 2010»

Formal Semantics for the Java Modeling Language

15 years 3 months ago

Download lfm.iti.uni-karlsruhe.de

Daniel Bruns

claim paper

Read More »

click to vote

PARCO
2007

92views Distributed And Parallel Com...» more PARCO 2007»

Formal Semantics Applied to the Implementation of a Skeleton-Based Parallel Programming Library

15 years 3 months ago

Download www.fz-juelich.de

Joel Falcou, Jocelyn Sérot

claim paper

Read More »

click to vote

COLING
2000

77views Computational Linguistics» more COLING 2000»

Formal Syntax and Semantics of Case Stacking Languages

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers