645 search results - page 28 / 129 » Pure patterns type systems |
117
click to vote
DALT
2006
Springer
15 years 3 months ago
2006
Springer
AgentSpeak is a well-known language for programming intelligent agents which captures the key features of reactive planning systems in a simple framework with an elegant formal sem...
SIGCSE
2004
ACM
15 years 5 months ago
2004
ACM
This paper describes two design patterns that are powerful tools to help teach how semaphores are used to solve synchronization problems. The patterns are general enough to be use...
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small da...
DEXA
2004
Springer
15 years 5 months ago
2004
Springer
Much work has been done on characterizing the workload of a database system. Previous studies focused on providing different types of statistical summaries, and modeling the run-ti...
207
click to vote
POPL
2005
ACM
16 years 1 days ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...