1715 search results - page 11 / 343 » Domain-Specific Program Checking |
ACMSE
2008
ACM
13 years 10 months ago
2008
ACM
Using a problem domain motivated by Bentley's"Little Languages" column [1], this paper explores the use of the Ruby programming language's flexible syntax, dyn...
POPL
2002
ACM
14 years 9 months ago
2002
ACM
EUROGP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
SAS
2009
Springer
14 years 9 months ago
2009
Springer
POPL
2012
ACM
12 years 4 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 ...