642 search results - page 14 / 129 » Once Upon a Type |
CAISE
1995
Springer
15 years 3 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
We present the derivation of a space efficient parser combinator library: the constructed parsers do not keep unnecessary references to the input, produce online results and effic...
ACL
2009
14 years 9 months ago
2009
Discourse connectives are words or phrases such as once, since, and on the contrary that explicitly signal the presence of a discourse relation. There are two types of ambiguity t...
CGO
2005
IEEE
15 years 5 months ago
2005
IEEE
Pointer analysis is traditionally performed once, early in the compilation process, upon an intermediate representation (IR) with source-code semantics. However, performing pointe...
PPSN
2004
Springer
15 years 5 months ago
2004
Springer
Adaptive multiagent algorithms based upon the behaviour of social insects are powerful decentralised systems capable of solving complex problems. The intelligence of such a system ...