2004 search results - page 172 / 401 » Interaction nets: programming language design and implementa... |
152
click to vote
SIGSOFT
2004
ACM
15 years 12 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriï...
192
click to vote
POS
1994
Springer
15 years 10 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
190
click to vote
JOT
2008
15 years 6 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
294
click to vote
AAIP
2009
15 years 7 months ago
2009
This paper describes our efforts and solutions in porting our IP system IGOR 2 from the termrewriting language MAUDE to HASKELL. We describe how, for our purpose necessary feature...
150
click to vote
DAGSTUHL
2001
15 years 7 months ago
2001
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in lec...