4340 search results - page 353 / 868 » Formal Methods and Cryptography |
186
click to vote
TYPES
2004
Springer
16 years 2 days ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
169
click to vote
MEMOCODE
2003
IEEE
16 years 14 hour ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
194
click to vote
TLDI
2003
ACM
15 years 12 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
156
click to vote
BPM
2003
Springer
15 years 12 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...
212
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...