Search Sciweavers | Sciweavers

2685 search results - page 26 / 537

» A Formal Semantics for SPKI

141

click to vote

ISSS
2002
IEEE

109views Hardware» more ISSS 2002»

The Formal Execution Semantics of SpecC

16 years 12 days ago

Download users.ece.utexas.edu

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

claim paper

Read More »

147

click to vote

UML
2001
Springer

134views Natural Language Processing» more UML 2001»

A Formal Semantics for OCL 1.4

15 years 12 months ago

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

María Victoria Cengarle, Alexander Knapp

claim paper

Read More »

156

click to vote

INFORMATIKTAGE
2010

147views Information Technology» more INFORMATIKTAGE 2010»

Formal Semantics for the Java Modeling Language

15 years 9 months ago

Download lfm.iti.uni-karlsruhe.de

Daniel Bruns

claim paper

Read More »

132

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 9 months ago

Download www.fz-juelich.de

Joel Falcou, Jocelyn Sérot

claim paper

Read More »

126

Voted

COLING
2000

77views Computational Linguistics» more COLING 2000»

Formal Syntax and Semantics of Case Stacking Languages

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers