815 search results - page 134 / 163 » Algebraic Recognizability of Languages |
VLDB
1987
ACM
15 years 3 months ago
1987
ACM
is at least ae powerful as SQL. Two well known relational query languages that have a sound theoretical foundation are relational algebra and relational calculus. As SQL is more cl...
125
click to vote
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
WWW
2004
ACM
16 years 14 days ago
2004
ACM
Recently, active behavior has received attention in the XML field to automatically react to occurred events. Aside from proprietary approaches for enriching XML with active behavi...
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
111
click to vote
AGTIVE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Aspect-orientation has gained increasing popularity, especially within the programming domain, with textual-based approaches such as AspectJ. Aspect-orientation provides ...