1216 search results - page 63 / 244 » Hybrid type checking |
134
click to vote
ESOP
2012
Springer
13 years 7 months ago
2012
Springer
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
198
click to vote
POPL
2005
ACM
16 years 6 days ago
2005
ACM
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermedia...
139
click to vote
SIGSOFT
1996
ACM
15 years 4 months ago
1996
ACM
Abstract -- Software architectures enable large-scale software development. Component reuse and substitutability, two key aspects of large-scale development, must be planned for du...
117
click to vote
ESOP
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
ENTCS
2007
14 years 12 months ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...