5415 search results - page 756 / 1083 » The Implementation of Functional Programming Languages |
164
click to vote
SEFM
2005
IEEE
16 years 9 days ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
163
click to vote
AOSD
2005
ACM
16 years 9 days ago
2005
ACM
Aspect-oriented programming (AOP) promises to benefit engineering by providing a layer of abstraction that can modularize system-level concerns. AOP is still a very young area of ...
212
click to vote
CCS
2005
ACM
16 years 8 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
211
click to vote
ICLP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
154
click to vote
ADAEUROPE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...