1226 search results - page 181 / 246 » Proofs, Programs and Abstract Complexity |
152
click to vote
HASKELL
2007
ACM
15 years 7 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
255
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
123
click to vote
OSDI
2008
ACM
16 years 3 months ago
2008
ACM
Because writing computer programs is hard, computer programmers are taught to use encapsulation and modularity to hide complexity and reduce the potential for errors. Their progra...
122
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
112
click to vote
ESWS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...