2944 search results - page 364 / 589 » On Well Quasi-orders on Languages |
162
click to vote
WISE
2005
Springer
16 years 5 days ago
2005
Springer
Asynchronous interactions are becoming more and more important in the realization of complex B2B Web applications, and Web services are at the moment the most innovative and well-e...
163
click to vote
WSE
2005
IEEE
16 years 5 days ago
2005
IEEE
We explore the evolution benefits of adopting aspects in a J2EE setting by studying crosscutting concerns in a typical J2EE application. To identify these concerns, we take a top...
159
click to vote
AOSD
2005
ACM
16 years 5 days ago
2005
ACM
Aspect-oriented programming (AOP) promises to benefit engineering by providing a layer of abstraction that can modularize system-level concerns. AOP is still a very young area of ...
180
click to vote
TLDI
2005
ACM
16 years 5 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
131
click to vote
CALCO
2005
Springer
16 years 4 days 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...