1320 search results - page 121 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
117
click to vote
FOAL
2008
ACM
15 years 5 months ago
2008
ACM
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
113
Voted
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
233
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
146
click to vote
DFG
2004
Springer
15 years 7 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
111
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...