Search Sciweavers | Sciweavers

1715 search results - page 24 / 343

» Domain-Specific Program Checking

click to vote

ICALP
2007
Springer

111views Programming Languages» more ICALP 2007»

Checking and Spot-Checking the Correctness of Priority Queues

14 years 2 months ago

Download www.cs.umass.edu

We revisit the problem of memory checking considered by Blum et al. [3]. In this model, a checker monitors the behavior of a data structure residing in unreliable memory given an a...

Matthew Chu, Sampath Kannan, Andrew McGregor

claim paper

Read More »

click to vote

ENTCS
2008

78views more ENTCS 2008»

Silver: an Extensible Attribute Grammar System

13 years 8 months ago

Download www-users.cs.umn.edu

Attribute grammar specification languages, like many domain specific languages, offer significant advantages to their users, such as high-level declarative constructs and domain-s...

Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krish...

claim paper

Read More »

click to vote

COMPUTER
2006

160views more COMPUTER 2006»

Developing Applications Using Model-Driven Design Environments

13 years 8 months ago

Download www.dre.vanderbilt.edu

Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...

Krishnakumar Balasubramanian, Aniruddha S. Gokhale...

claim paper

Read More »

click to vote

HASKELL
2006
ACM

117views Programming Languages» more HASKELL 2006»

Extended static checking for haskell

14 years 2 months ago

Download pauillac.inria.fr

Dana N. Xu

claim paper

Read More »