4008 search results - page 329 / 802 » An expressive language of signatures |
204
click to vote
IUI
2005
ACM
16 years 10 days ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
163
click to vote
GPCE
2005
Springer
16 years 8 days 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...
161
click to vote
PPDP
2005
Springer
16 years 7 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
206
click to vote
DOCENG
2003
ACM
16 years 16 hour ago
2003
ACM
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...
164
click to vote
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...