3713 search results - page 233 / 743 » Constructing a Calculus of Programs |
129
click to vote
ASE
2006
15 years 3 months ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
140
click to vote
TAICPART
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract. Writing multithreaded software for multicore computers confronts many developers with the difficulty of finding parallel programming errors. In the past, most parallel d...
228
click to vote
AOSD
2011
ACM
14 years 11 months ago
2011
ACM
This paper proposes EventCJ, a context-oriented programming (COP) language that can modularly control layer activation based on user-defined events. In addition to defining cont...
119
click to vote
DBPL
2007
Springer
15 years 10 months ago
2007
Springer
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing impera...
134
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Aspects are defined as well-modularized crosscutting concerns. Despite being a core tenet of Aspect Oriented Programming, little research has been done in characterizing and measur...