12452 search results - page 337 / 2491 » An exploration of program as language |
168
click to vote
VL
1999
IEEE
15 years 11 months ago
1999
IEEE
Sonnet was designed as a visual language for implementing real-time processes. Early design and development of behavioral components has largely focused on the domain of music pro...
162
click to vote
SIGMOD
1989
ACM
15 years 11 months ago
1989
ACM
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
165
click to vote
ENTCS
2007
15 years 6 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
198
click to vote
ICCL
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. We present here a methodology for programming active networks in the environment de ned by our new language PLAN (Packet Language for Active Networks). This environment p...
186
click to vote
APLAS
2003
ACM
15 years 10 months ago
2003
ACM
A dataflow-based pointcut is proposed for aspect-oriented programming (AOP) languages. The pointcut specifies where aspects should be applied based on the origins of values. It is ...