1226 search results - page 136 / 246 » Proofs, Programs and Abstract Complexity |
116
Voted
CD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Plugins are optional components which can be used to enable the dynamic construction of flexible and complex systems, passing as much of the configuration management ef...
117
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The Regular Post Embedding Problem is a variant of Post’s Correspondence Problem where one compares strings with the subword relation and imposes additional regular con...
132
Voted
ESOP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...
121
click to vote
ECOOP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. An object-oriented language that permits changing the behavior of a class or of a single object is said to support computational reflection. Existing reflective facilitie...
160
Voted
DALT
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper, we describe the declarative agent programming language Jadl (JIAC Agent Description Language). Based on threevalued logic, it incorporates ontologies, FIPA...