322 search results - page 41 / 65 » Combinations of Abstract Domains for Logic Programming |
120
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
133
click to vote
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
128
click to vote
ECOOP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In our research we are studying how to combine modelling, metamodelling, and reflection to systematically generate middleware configurations that can be targeted at diffe...
115
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
141
click to vote
GPCE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...