1438 search results - page 195 / 288 » An Expressive Extension of TLC |
169
click to vote
ECOOP
2007
Springer
16 years 17 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to...
192
click to vote
ECOOP
2007
Springer
16 years 17 days ago
2007
Springer
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...
161
click to vote
ESOP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
172
click to vote
EUROCRYPT
2007
Springer
16 years 17 days ago
2007
Springer
sion of an extended abstract to be published in Advances in Cryptology—EUROCRYPT 2007, Springer-Verlag, 2007. Available online from the IACR Cryptology ePrint Archive as Report 2...
182
click to vote
FMCO
2007
Springer
16 years 16 days ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...