Search Sciweavers | Sciweavers

1050 search results - page 34 / 210

» Towards programming for the non-technical

BIRTHDAY
2009
Springer

151views Applied Computing» more BIRTHDAY 2009»

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

14 years 20 days 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

14 years 20 days 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

14 years 18 days 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

14 years 16 days ago