487 search results - page 32 / 98 » Scoping Constructs for Software Generators |
APLAS
2006
ACM
15 years 4 months ago
2006
ACM
Abstract. The Scheme language report advocates language design as the composition of a small set of orthogonal constructs, instead of a large accumulation of features. In this pape...
KBSE
2008
IEEE
15 years 5 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
IEEEINTERACT
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper introduces a method for improving program run-time performance by gathering work in an application and executing it efficiently in an integrated thread. Our methods ext...
ISORC
2009
IEEE
15 years 5 months ago
2009
IEEE
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
111
click to vote
ISSTA
2006
ACM
15 years 4 months ago
2006
ACM
Aspect-Oriented Programming (AOP) has been proposed as a methodology that provides new modularization of software systems by allowing encapsulation of cross-cutting concerns. Aspe...