1027 search results - page 80 / 206 » Language Support for Connector Abstractions |
312
click to vote
ASIAN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper provides a Hoare-style logic for quantum computation. While the usual Hoare logic helps us to verify classical deterministic programs, our logic supports quant...
141
click to vote
GPCE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper presents FeatureC++, a novel language extension to C++ that supports Feature-Oriented Programming (FOP) and Aspect-Oriented Programming (AOP). Besides well-kno...
171
click to vote
GPCE
2007
Springer
16 years 8 days ago
2007
Springer
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
187
click to vote
IFL
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
141
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
The increased importance of XML as a data representation format has led to several proposals for facilitating the development of applications that operate on XML data. These propo...