3516 search results - page 13 / 704 » Programming Languages: Application and Interpretation |
67
Voted
IFIP
1993
Springer
15 years 1 months ago
1993
Springer
ICALP
1989
Springer
15 years 1 months ago
1989
Springer
IWOMP
2010
Springer
15 years 1 months ago
2010
Springer
WWW
2001
ACM
15 years 10 months ago
2001
ACM
We present the design and implementation of XEBRA system. XEBRA is an integrated programming environment for XML processing and browsing on which users can build their own XML pro...
172
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...