Sciweavers

2370 search results - page 293 / 474
» On the Revival of Dynamic Languages
Sort
View
ECOOP
2004
Springer
16 years 16 days ago
Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability
After two decades of effort, type inference for dynamically typed languages scales to programs of a few tens of thousands of lines of code, but no further. For larger programs, th...
S. Alexander Spoon, Olin Shivers
GI
2004
Springer
16 years 16 days ago
Type Safe Programming of XML-based Applications
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
Martin Kempa, Volker Linnemann
UML
2004
Springer
16 years 15 days ago
Behavioral Domain Analysis - The Application-Based Domain Modeling Approach
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
Iris Reinhartz-Berger, Arnon Sturm
MSWIM
2003
ACM
16 years 12 days ago
Parallel adaptive mobile web clipping
– Wireless mobile access to the Internet is an indispensable tool for private and corporate users alike; but both industry and academia recognize the need for better service. Imp...
Alex Vrenios
AGENTCL
2003
Springer
16 years 12 days ago
Conventional Signalling Acts and Conversation
This article aims to provide foundations for a new approach to Agent Communication Languages (ACLs). First, we present the theory of signalling acts. In contrast to current approa...
Andrew J. I. Jones, Xavier Parent