2604 search results - page 121 / 521 » General constant expressions for system programming language... |
PEPM
2004
ACM
14 years 2 months ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
Keyword programming is a novel technique for reducing the need to remember details of programming language syntax and APIs, by translating a small number of keywords provided by t...
VLDB
2001
ACM
14 years 1 months ago
2001
ACM
With the advent of XML as a standard for data representation and exchange on the Internet, storing and querying XML data becomes more and more important. Several XML query languag...
CALCO
2005
Springer
14 years 2 months ago
2005
Springer
In the specific situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...
SIGMETRICS
2010
ACM
13 years 7 months ago
2010
ACM
As modern multi-tier systems are becoming increasingly large and complex, it becomes more difficult for system analysts to understand the overall behavior of the system, and diag...