The proceedings contain 27 papers. The special focus in this conference is on programminglanguages and systems. The topics include: On a method of global optimization;observing asymmetry and mismatch;expressive synch...
ISBN:
(纸本)9783540400189
The proceedings contain 27 papers. The special focus in this conference is on programminglanguages and systems. The topics include: On a method of global optimization;observing asymmetry and mismatch;expressive synchronization types for inheritance in the join calculus;useless-code elimination and program slicing for the pi-calculus;constraint functional logic programming for origami construction;a typeful and tagless representation for XML documents;dataflow pointcut in aspect-oriented programming;affine-based size-change termination;using locality of flow in dataflow analyses;a differential fixpoint evaluation framework for non-distributive systems;from hardware to software;executing verified compiler specification;controlling and optimizing the usage of one resource;resource usage verification;automatic construction of hoare proofs from abstract interpretation results;a program inverter for a functional language with equality and constructors;a faithful formalization of an efficient constraint solver;continuation semantics for parallel haskell dialects;translating a continuous-time temporal logic into timed automata;the semantic layers of timber;correctness of a higher-order removal transformation through a relational reasoning;extensional polymorphism by flow graph dispatching;register allocation based on a reference flow analysis and lazy stack copying and stack copy sharing for the efficient implementation of continuations.
A dataflow-based pointcut is proposed for aspect-oriented programming (AOP) languages. The pointcut specifies where aspects should be applied based on the origins of values. It is designed to be compatible with the ot...
详细信息
ISBN:
(纸本)3540205365
A dataflow-based pointcut is proposed for aspect-oriented programming (AOP) languages. The pointcut specifies where aspects should be applied based on the origins of values. It is designed to be compatible with the other kinds of pointcuts in existing AOP languages. Primary application fields of the pointcut are the aspects in which flow of information is important, such as security. This paper presents the design of the pointcut with a web-application example, and its prototype implementation.
We are interested in type inference in the presence of structural subtyping from a pragmatic perspective. This work combines theoretical and practical contributions: first, it provides a faithful description of an eff...
详细信息
ISBN:
(纸本)3540205365
We are interested in type inference in the presence of structural subtyping from a pragmatic perspective. This work combines theoretical and practical contributions: first, it provides a faithful description of an efficient algorithm for solving and simplifying constraints;whose correctness is formally proved. Besides, the framework has been implemented in Objective Caml, yielding a generic type inference engine. Its efficiency is assessed by a complexity result and a series of experiments in realistic cases.
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which describe the geometric properties of pape...
详细信息
ISBN:
(纸本)3540205365
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which describe the geometric properties of paper folds. We developed two software components: one that provides primitives to construct, manipulate and visualize paper folds and the other that solves the systems of equations. Using these components, we illustrate computer-supported origami construction and show the significance of the constraint functional logic programming paradigm in the program development.
Fifty papers were presented at the symposium held at Tallinn, USSR in May, 1976. Areas covered were industrial process control, real-time operating systems, control of experiments and testing, computer-aided design, c...
详细信息
Fifty papers were presented at the symposium held at Tallinn, USSR in May, 1976. Areas covered were industrial process control, real-time operating systems, control of experiments and testing, computer-aided design, computer programminglanguages and interactive systems.
With warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguished professors and scholars from countries and regions such as Japan,...
详细信息
ISBN:
(数字)9783540400189
ISBN:
(纸本)9783540205364
With warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguished professors and scholars from countries and regions such as Japan, South Korea, Singapore, and Taiwan, the 1stasiansymposium on programminglanguages andsystems(APLAS2003)***76papers,among which 24 were selected for the proceedings after serious evaluation, which fully demonstrates the high quality of the collected papers. I hereby, on behalf of the Program Committee and the Organization Committee of the symposium, would like to extend the warmest welcome and hearty thanks to all colleagues who attended the symposium, all scholars who generously contributed their papers, and all those who were actively dedicated to the organization of this symposium. Over the past decade, the asian economy has undergone rapid development. Keeping pace with this accelerated economic growth, Asia has made great he- way in software, integrated circuits, mobile communication and the Internet. All this has laid a ?rm material foundation for undertaking theoretical research on computer science and programminglanguages. Therefore, to meet the incr- sing demands of the IT market, great opportunities and challenges in advanced research in these ?elds. I strongly believe that in the coming future, with the persistent e?orts of our colleagues, the asian software industry and research on computer science will be important players in the world economy, on an equal footing with their counterparts in the United states and Europe.
In this paper, we present a new language called ParCeL-1, dedicated to connectionist and explicitely parallel AI programming. ParCeL-1 is a language based on agents, not unlike actor languages. Its agents are autonomo...
详细信息
ISBN:
(纸本)0780333675
In this paper, we present a new language called ParCeL-1, dedicated to connectionist and explicitely parallel AI programming. ParCeL-1 is a language based on agents, not unlike actor languages. Its agents are autonomous and follow a computational model in which the communications are non-blocking and the communication scheme is explicit. ParCeL-1 has a parallel implementation and runs on several multi-processor architectures. We give an example of connectionistprogramming (the Kohonen map) and show several performance results on a Transputer based multi-processor architecture and on the Gray T3D parallel computer.
Several languages have been developed for or applied to the problem of describing digital hardware systems. This paper points out some of the problems encountered in hardware descriptions, particularly where they are ...
详细信息
Mobile objects (or mobile agents) attract the attention of many researchers in many network-related research areas. Despite the broad attraction, the implementation schemes of mobile object systems are inclined to ado...
详细信息
ISBN:
(纸本)0769503403
Mobile objects (or mobile agents) attract the attention of many researchers in many network-related research areas. Despite the broad attraction, the implementation schemes of mobile object systems are inclined to adopt programming language- centric approach;that is, the functionality of mobile object computing is so tightly incorporated into the design of a brand-new programming language that users are obliged to use the single programming language. Besides the programming-language-centricity, there is another trend in most current mobile object systems: byte code interpretation- basis, whereby the state of objects and/or computation activity can be handled in a straightforward and neat way, the platform-heterogeneity can be easily dealt with, and security-handling is not so difficult in principle.
The HotSpot™ Serviceability Agent (SA) is a set of APIs for the Java programming language which model the state of Sun Microsystems' Java™ HotSpot Virtual Machine. Unlike most previous debugging systems for dynami...
详细信息
暂无评论