Search Sciweavers | Sciweavers

2685 search results - page 26 / 537

» A Formal Semantics for SPKI

112

Voted

ISSS
2002
IEEE

109views Hardware» more ISSS 2002»

The Formal Execution Semantics of SpecC

15 years 10 months ago

Download users.ece.utexas.edu

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

claim paper

Read More »

115

click to vote

UML
2001
Springer

134views Natural Language Processing» more UML 2001»

A Formal Semantics for OCL 1.4

15 years 10 months ago

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

María Victoria Cengarle, Alexander Knapp

claim paper

Read More »

119

click to vote

INFORMATIKTAGE
2010

147views Information Technology» more INFORMATIKTAGE 2010»

Formal Semantics for the Java Modeling Language

15 years 7 months ago

Download lfm.iti.uni-karlsruhe.de

Daniel Bruns

claim paper

Read More »

106

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers