1027 search results - page 80 / 206 » Language Support for Connector Abstractions |
ASIAN
2009
Springer
13 years 10 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...
GPCE
2005
Springer
14 years 2 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...
GPCE
2007
Springer
14 years 3 months 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...
IFL
1998
Springer
14 years 1 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...
WWW
2005
ACM
14 years 9 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...