918 search results - page 103 / 184 » An Aspect Language for Robust Programming |
KI
1995
Springer
14 years 15 days ago
1995
Springer
The integration of vision and natural languageprocessingincreasingly attracts attention in different areas of AI research. Up to now, however, there have only been a few attempts a...
ECOOP
2004
Springer
14 years 2 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
JSS
2008
13 years 9 months ago
2008
This paper focuses on the proposal, design, and implementation of AWL, the Adaptive Web Language. Also, an example application named PENS is explained and implemented in AWL. AWL ...
LCR
2000
Springer
14 years 16 days ago
2000
Springer
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...