705 search results - page 22 / 141 » New Compilation Languages Based on Structured Decomposabilit... |
GG
2004
Springer
15 years 3 months ago
2004
Springer
Graphs are well-known, well-understood, and frequently used means to depict networks of related items. They are successfully used as the underlying mathematical concept in various ...
ENTCS
2007
14 years 9 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
AOSD
2005
ACM
15 years 3 months ago
2005
ACM
Abstract. Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation t...
INFORMATICALT
2002
14 years 9 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
ELPUB
1999
ACM
15 years 2 months ago
1999
ACM
Internet technology together with the SGML based XML language family provide means to develop technical customer document management in inter-organisational industrial projects. T...