the proceedings contain 18 papers. the special focus in this conference is on programming Languages and Systems. the topics include: Concurrent constraint programming based on functionalprogramming;a bisimulation met...
ISBN:
(纸本)3540643028
the proceedings contain 18 papers. the special focus in this conference is on programming Languages and Systems. the topics include: Concurrent constraint programming based on functionalprogramming;a bisimulation method for cryptographic protocols;a polyvariant binding-time analysis for off-line partial deduction;complexity of concrete type-inference in the presence of exceptions;an efficient new fixpoint algorithm for distributive constraint systems;reasoning about classes in object-oriented languages;language primitives and type discipline for structured communication-based programming;recursive object types in a logic of object-oriented programs;about modes and states for reactive systems;building a bridge between pointer aliases and program dependences;a complete declarative debugger of missing answers;systematic change of data representation and a generic framework for specialization.
Crawlers, also called robots and spiders, are programs that browse the World Wide Web autonomously. this paper describes SPHINX, a Java toolkit and interactive development environment for Web crawlers. Unlike other cr...
详细信息
Crawlers, also called robots and spiders, are programs that browse the World Wide Web autonomously. this paper describes SPHINX, a Java toolkit and interactive development environment for Web crawlers. Unlike other crawler development systems, SPHINX is geared towards developing crawlers that are Web-site-specific, personally customized, and relocatable. SPHINX allows site-specific crawling rules to be encapsulated and reused in content analyzers, known as classifiers. Personal crawling tasks can be performed (often without programming) in the Crawler Workbench, an interactive environment for crawler development and testing. For efficiency, relocatable crawlers developed using SPHINX can be uploaded and executed on a remote Web server. (C) 1998 Published by Elsevier Science B.V. All rights reserved.
In this paper, we discuss some drawbacks of the Java programming language, and propose some potential improvements for concurrent object-oriented software development. In particular, we argue that Javas passive object...
详细信息
In this paper, we discuss some drawbacks of the Java programming language, and propose some potential improvements for concurrent object-oriented software development. In particular, we argue that Javas passive object model does not provide an effective means for building distributed applications. critical for the future of Web-based next-generation information systems. Specifically. we suggest improvements to Java's existing mechanisms for maintaining consistency across multiple threads (e.g. synchronized), sending asynchronous messages (e.g. start/run methods) and controlling resources (e.g. thread scheduling). We drive the discussion with examples and suggestions from our own work on the Actor model of computation. (C) 1998 Published by Elsevier Science B.V. All rights reserved.
Schema-based logic program transformation has proven to be an eective technique for the optimisation of programs. this paper results from the research that began by investigating the suggestions in [11] to construct a...
详细信息
A number of essential issues in translating Smalltalk to Java are addressed. A convention is proposed for mapping Smalltalk method selectors to Java method names. In addition, a Java class hierarchy that parallels the...
详细信息
ISBN:
(纸本)3540643044
A number of essential issues in translating Smalltalk to Java are addressed. A convention is proposed for mapping Smalltalk method selectors to Java method names. In addition, a Java class hierarchy that parallels the Smalltalk class hierarchy (including the metaclass objects) is suggested these proposals are used to support ways of mapping both Smalltalk instance and class methods to their Java counterparts.
Complex decision support queries, as exemplified by the TPC-D benchmark, make heavy use of join, aggregation and sorting operations. these operations can be very memory intensive and it is unlikely (particularly in a ...
详细信息
ISBN:
(纸本)9781581130614
Complex decision support queries, as exemplified by the TPC-D benchmark, make heavy use of join, aggregation and sorting operations. these operations can be very memory intensive and it is unlikely (particularly in a multi-user environment) that a database system will always have enough memory to completely satisfy the demands of all concurrently running operators. In this paper we propose, analyze and evaluate four different algorithms that distribute available memory among operators in ways that satisfy all operator requirements and concurrent schedulability constraints. One of these algorithms, based on linear programming, is also optimal in that it is guaranteed to produce the best query response time. We also show how these algorithms can be extended to work on shared-nothing parallel database systems. All the proposed strategies are completely general and can be used with any extended relational operations that show a linear improvement in performance with increased memory availability. Copyright ACM 1998.
the proceedings contain 24 papers. the special focus in this conference is on Compiler Construction. the topics include: Myths and facts about the efficient implementation of finite automata and lexical analysis;gener...
ISBN:
(纸本)3540643044
the proceedings contain 24 papers. the special focus in this conference is on Compiler Construction. the topics include: Myths and facts about the efficient implementation of finite automata and lexical analysis;generalised recursive descent parsing and follow-determinism;analyzing direct non-local dependencies in attribute grammars;storage allocation strategies for recursive attribute evaluators;basic-block graphs;analysis of loops;a new approach to control flow analysis;flow logics for constraint based analysis;introducing SSA properties to languages with multi-level pointers;strength reduction via SSAPRE;detecting parallelism in C programs with recursive data structures;live range splitting in a graph coloring register allocator;challenges and opportunities visual programming languages bring to programming language research;local stack allocation;a new fast algorithm for optimal register allocation in modulo scheduled loops;a code motion framework for global instruction scheduling;VLIW compilation techniques for superscalar architectures;issues in translating smalltalk to java;intermodular slicing of object-oriented programs;portable debugging and profiling;the eli system;a generator for incremental language-oriented tools;an extended static checker for module-3 and a control-flow generator for system analysis.
In this paper we describe the SALIERI System, an interactive software environment for structure oriented composition, manipulation, and analysis of music. the system is built on the newly developed SALIERI Language, a...
详细信息
暂无评论