1715 search results - page 11 / 343 » Domain-Specific Program Checking |
117
Voted
ACMSE
2008
ACM
15 years 5 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...
181
Voted
POPL
2002
ACM
16 years 4 months ago
2002
ACM
123
Voted
EUROGP
2007
Springer
15 years 10 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. ...
101
Voted
SAS
2009
Springer
16 years 4 months ago
2009
Springer
147
Voted
POPL
2012
ACM
13 years 11 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 ...