Sciweavers

439 search results - page 11 / 88
» Program Generators and the Tools to Make Them
Sort
View
ICFP
2007
ACM
15 years 11 months ago
Ott: effective tool support for the working semanticist
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
Peter Sewell, Francesco Zappa Nardelli, Scott Owen...
107
Voted
ENTCS
2002
98views more  ENTCS 2002»
14 years 11 months ago
Verified Code Generation for Embedded Systems
Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these ope...
Sabine Glesner, Rubino Geiß, Boris Boesler
SIGCSE
2009
ACM
132views Education» more  SIGCSE 2009»
16 years 6 days ago
Retina: helping students and instructors based on observed programming activities
It is difficult for instructors of CS1 and CS2 courses to get accurate answers to such critical questions as "how long are students spending on programming assignments?"...
Christian Murphy, Gail E. Kaiser, Kristin Loveland...
86
Voted
ECTEL
2007
Springer
15 years 5 months ago
Community Tools for Repurposing Learning Objects
A critical success factor for the reuse of learning objects is the ease by which they may be repurposed in order to enable reusability in a different teaching context from which th...
Chu Wang, Kate Dickens, Hugh C. Davis, Gary Wills
POPL
2010
ACM
15 years 9 months ago
From Program Verification to Program Synthesis
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Fost...