58 search results - page 1 / 12 » The Static Part of the Design Language COLD-K |
SOSL
1993
14 years 3 months ago
1993
DLS
2007
14 years 2 months ago
2007
Although the C-based interpreter of Python is reasonably fast, implementations on the CLI or the JVM platforms offers some advantages in terms of robustness and interoperability. ...
ICSE
2011
IEEE-ACM
13 years 2 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...
SAC
2010
ACM
13 years 11 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
POPL
2012
ACM
12 years 6 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...