15784 search results - page 722 / 3157 » Mega Software Engineering |
196
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
We refine previous analyses of Hyland-Ong game semantics and its relation to - and
182
click to vote
APAQS
2001
IEEE
15 years 11 months ago
2001
IEEE
Data Types Tim Miller Paul Strooper May 2001 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http://svrc.it.uq.edu.au
185
click to vote
AC
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception
179
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
Subdomains of a program's input space are a concept around which ideas about testing can be organized. This paper considers the questions, "What are the best subdomains ...
193
click to vote
AMAST
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.