8828 search results - page 105 / 1766 » Formal methods in practice |
138
click to vote
SBMF
2009
Springer
15 years 10 months ago
2009
Springer
Motivated by issues in designing practical total functional programming languages, we are interested in structured recursive equations that uniquely describe a function not because...
116
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...
111
click to vote
SAS
2005
Springer
15 years 9 months ago
2005
Springer
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...
127
Voted
BPM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. It...
139
Voted
FM
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...