18429 search results - page 118 / 3686 » Typing dynamic typing |
142
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A classic result known as the speed-up theorem in machineindependent complexity theory shows that there exist some computable functions that do not have best programs for...
127
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
123
click to vote
APLAS
2003
ACM
15 years 9 months ago
2003
ACM
When constructing programs to process XML documents, we immediately face the question as to how XML documents should be represented internally in the programming language we use. C...
117
click to vote
AI
2003
Springer
15 years 9 months ago
2003
Springer
Agent communication languages (ACLs) invoke speech act theory and define individual message types by reference to particular combinations of beliefs and desires of the speaker (fea...
137
Voted
ECOOP
1997
Springer
15 years 8 months ago
1997
Springer
A type inclusion test is a procedure to decide whether two types are related by a given subtyping relationship. An efficient implementation of the type inclusion test plays an impo...