2477 search results - page 218 / 496 » First-Order Interactive Programming |
VLDB
2001
ACM
14 years 2 months ago
2001
ACM
We present new techniques for supervised wrapper generation and automated web information extraction, and a system called Lixto implementing these techniques. Our system can gener...
IWPC
2000
IEEE
14 years 2 months ago
2000
IEEE
We combine type inference and concept analysis in order to gain insight into legacy software systems. Type inference for COBOL yields the types for variables and program parameter...
CP
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
SIGCSE
1999
ACM
14 years 2 months ago
1999
ACM
We describe a Computer Science General Education course offered at Hope College. This course stressesproblem-solving. It uses traditional concepts of programming, but does it with...
JAVA
1999
Springer
14 years 2 months ago
1999
Springer
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. The Java memory model is hard to interp...