Search Sciweavers | Sciweavers

1051 search results - page 25 / 211

» Toward Team-Oriented Programming

click to vote

PODC
1994
ACM

105views Distributed and Parallel Com...» more PODC 1994»

Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming

13 years 11 months ago

Download pubs.doc.ic.ac.uk

Matthias Radestock, Susan Eisenbach

claim paper

Read More »

click to vote

BIRTHDAY
2009
Springer

151views Applied Computing» more BIRTHDAY 2009»

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantic

13 years 11 months ago

Download www.brics.dk

Machines Olivier Danvy BRICS Report Series RS-08-7 ISSN 0909-0878 July 2008 08-7O.Danvy:DenotationalSemantics,NaturalSemantics,andAbstractMachinesforScheme

Olivier Danvy

claim paper

Read More »

click to vote

BIRTHDAY
2009
Springer

170views Applied Computing» more BIRTHDAY 2009»

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics

13 years 11 months ago

Download www.schemeworkshop.org

Malgorzata Biernacka, Olivier Danvy

claim paper

Read More »

click to vote

COMPSAC
2007
IEEE

104views Software Engineering» more COMPSAC 2007»

Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures

13 years 11 months ago

Download hub.hku.hk

Mesh simplification is a mainstream technique to render graphics responsively in modern graphical software. However, the graphical nature of the output poses a test oracle problem...

W. K. Chan, Jeffrey C. F. Ho, T. H. Tse

claim paper

Read More »

click to vote

SP
2010
IEEE

161views Security Privacy» more SP 2010»

Towards Static Flow-Based Declassification for Legacy and Untrusted Programs

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers