226 search results - page 30 / 46 » Modular Compilation of a Synchronous Language |
ECOOP
2004
Springer
15 years 5 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...
ECOOP
2001
Springer
15 years 4 months ago
2001
Springer
AspectJ™ is a simple and practical aspect-oriented extension to Java™. With just a few new constructs, AspectJ provides support for modular implementation of a range of crosscu...
92
Voted
OOPSLA
1997
Springer
15 years 3 months ago
1997
Springer
In an object-oriented programming language, method selection is (usually) done at run-time using the class of the receiver. Some object-orientedlanguages(such as CLOS) have multi-...
84
Voted
ICFP
2001
ACM
15 years 11 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
105
Voted
ACSD
2008
IEEE
15 years 6 months ago
2008
IEEE
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...