1559 search results - page 90 / 312 » Fundamentals of Generic Programming |
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...
103
click to vote
WCRE
2005
IEEE
15 years 3 months ago
2005
IEEE
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...
POPL
1991
ACM
15 years 1 months ago
1991
ACM
We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization,...
SIGPLAN
2002
14 years 9 months ago
2002
In this paper, we present a new framework for the definition of various data structures (including trees and arrays) together with a generic language of filters enabling a rule-ba...
196
click to vote
Book
"Much of the motivation and effort for this edition is to bring the book up to date with the Java JDK 1.4 release of the language. However, it has also become clear that most ...