10899 search results - page 165 / 2180 » The GP Programming System |
90
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...
CC
2003
Springer
15 years 7 months ago
2003
Springer
151
Voted
TOOLS
1998
IEEE
15 years 6 months ago
1998
IEEE
There are a number of programmable macro systems such as Lisp's. While they can handle complex program transformation, they still have difficulty in handling some kinds of tr...
114
Voted
SDM
2008
SIAM
15 years 4 months ago
2008
SIAM
Network security has been a serious concern for many years. For example, firewalls often record thousands of exploit attempts on a daily basis. Network administrators could benefi...
144
Voted
APLAS
2003
ACM
15 years 7 months ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...