10916 search results - page 2106 / 2184 » On Constructive Connectives and Systems |
ICSE
2011
IEEE-ACM
14 years 1 months ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
118
click to vote
LOGCOM
2011
14 years 28 days ago
2011
Planning as Satisfiability is one of the most well-known and effective techniques for classical planning: satplan has been the winning system in the deterministic track for optim...
POPL
2011
ACM
14 years 28 days ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
SAC
2011
ACM
14 years 27 days ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
57
Voted
AEOG
2011
13 years 10 months ago
2011
The generalization index system is one of the critical issues for computer-aided land use database generalization. This paper studies the scale and land use pattern effects on lan...