3311 search results - page 348 / 663 » Deductive Object Programming |
125
Voted
ESOP
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...
141
click to vote
VIS
2004
IEEE
16 years 4 months ago
2004
IEEE
Modern object-oriented programs are hierarchical systems with many thousands of interrelated subsystems. Visualization helps developers to better comprehend these large and comple...
121
Voted
DAC
2000
ACM
16 years 4 months ago
2000
ACM
We propose practical iterated methods for layout density control for CMP uniformity, based on linear programming, Monte-Carlo and greedy algorithms. We experimentally study the tr...
106
click to vote
CADE
2006
Springer
16 years 3 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
119
click to vote
SIGCSE
2010
ACM
15 years 10 months ago
2010
ACM
Video game development is an attractive career objective for many computer science students. Colleges are starting degree programs and specializations to serve this interest, but ...