this book constitutes the refereed proceedings of the 9thasiansymposium on programminglanguages and systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. the 22 revised full papers presented together with...
详细信息
ISBN:
(数字)9783642253188
ISBN:
(纸本)9783642253171
this book constitutes the refereed proceedings of the 9thasiansymposium on programminglanguages and systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. the 22 revised full papers presented together with 4 invited talks and one system and tool presentations were carefully reviewed and selected from 64 submissions. the papers are organized in topical sections on program analysis; functional programming; compiler; concurrency; semantics; as well as certification and logic.
the proceedings contain 19 papers. the topics discussed include: convergence in language design: a case of lightning striking four times in the same place;ruler: programming type rules;a framework for extended algebra...
详细信息
ISBN:
(纸本)3540334386
the proceedings contain 19 papers. the topics discussed include: convergence in language design: a case of lightning striking four times in the same place;ruler: programming type rules;a framework for extended algebraic data types;lock free data structures using STM in Haskell;XML type checking using high-level tree transducer;a computational approach to Pocklington certificates in type theory;defining and reasoning about recursive functions: a practical tool for the coq proof assistant;typed contracts for functional programming;contracts as pairs of projections;iData for the world wide web programming interconnected web forms;crossing state lines: adapting object-oriented frameworks to functional reactive languages;and WASH server pages.
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. this phase of constraint processing may require translations between constraint prog...
详细信息
My father counseled me not to give advice to others. Inspite of that admonition, I have an irrepressible desire to make some highly subjective, potentially pompous remarks about introductory programming language textb...
详细信息
ISBN:
(纸本)9781450374101
My father counseled me not to give advice to others. Inspite of that admonition, I have an irrepressible desire to make some highly subjective, potentially pompous remarks about introductory programming language textbooks. During the past nine years I have evaluated dozens of manuscripts for eight publishers and hundreds of books for teaching term-length introductory courses in FORTRAN, BASIC, PL/I, PASCAL, COBOL and assembly languages. I have coauthored two FORTRAN texts and developed two independent study guides to programming. Each time I see a text, I make judgments by reacting to the material, rather than by comparing the material to a pre-determined set of criteria. In order to provide a "structured" review process (no computer-science oriented paper is complete without a reference to "structure"), I offer the following criteria for evaluating texts. this list is far from complete, but it is a beginning.
this paper presents a high-level C++ framework to explore multi-CPU and multi-GPU systems called HPSM. HPSM enables parallel loops and reductions implemented over three parallel backends: Serial, OpenMP (with GCC and ...
详细信息
ISBN:
(纸本)9781538648193
this paper presents a high-level C++ framework to explore multi-CPU and multi-GPU systems called HPSM. HPSM enables parallel loops and reductions implemented over three parallel backends: Serial, OpenMP (with GCC and libKOMP runtime), and StarPU. We evaluated HPSM development effort with AXPY program, and performance withthree parallel benchmarks: N-Body, Hotspot, and CFD solver. the CPU-GPU combination attained better performance than only GPUs for all cases on a CPU-GPU system. Still, our findings provide evidence that NUMA affinity at framework level may produce different results.
the proceedings contains 14 papers from the conference on the Proceedings of the ACM SIGPLAN symposium on principles and practice of parallel programming, PPOPP. Topics discussed include: reference idempotency analysi...
详细信息
the proceedings contains 14 papers from the conference on the Proceedings of the ACM SIGPLAN symposium on principles and practice of parallel programming, PPOPP. Topics discussed include: reference idempotency analysis: a framework for optimizing speculative execution;pointer and escape analysis for multithread programs;language support for motion-order matrices;efficient load balancing for wide-area divide-and-conquer applications;scalable queue-based spin locks with timeout;contention ellimination by replication of sequential sections in distributed shared memory programs;and accurate data redistribution cost estimation in software distributes shared memory systems.
Recently there has been considerable interest in programminglanguagesthat encode security policies in type declarations. Type-checking is used to determine whether a program enforces these policies. this approach en...
详细信息
ISBN:
(纸本)3540423141
Recently there has been considerable interest in programminglanguagesthat encode security policies in type declarations. Type-checking is used to determine whether a program enforces these policies. this approach enjoys many of the benefits of static type-checking, but is particularly of interest because it can enforce information flow properties such as noninterference, for which purely dynamic mechanisms are ineffective. Enforcing information flow properties for distributed systems adds a new challenges: mutual distrust among the principals, and untrusted hosts. Our new approach, secure program partitioning, automatically rewrites a program into communicating subprograms that run securely on the set of available hosts yet collectively implement the original program. this fine-grained rewriting is based on the security types in the original program and the trust relationships among principals and hosts in the system. Computation in the original program is written in a single-host style, yet the resulting distributed system can satisfy the strong confidentiality and integrity properties specified by the program.
We present a new programming language ProFun which is aimed for the specification and prototype implementation of reactive systems. ProFun combines the paradigms of concurrent and functional programming. A formal oper...
详细信息
this volume contains the proceedings of the 4thasiansymposium on Progr- minglanguagesandsystems(APLAS2006),whichtookplaceinSydney,Japan, November 8-10, 2006. the symposium was sponsored by the asian Association for ...
详细信息
ISBN:
(数字)9783540489382
ISBN:
(纸本)9783540489375
this volume contains the proceedings of the 4thasiansymposium on Progr- minglanguagesandsystems(APLAS2006),whichtookplaceinSydney,Japan, November 8-10, 2006. the symposium was sponsored by the asian Association for Foundation of Software. In response to the call for papers, 70 full submissions were received. Each submission was reviewed by at least three Program Committee members withthe help of external reviewers. the ProgramCommittee meeting was conducted electronically over a 2-week period. After careful discussion, the Program C- mittee selected 22 papers. I would like to sincerely thank all the members of the APLAS 2006 Program Committee for their excellent job, and all the external reviewers for their invaluable contribution. the submission and review process was managed using the CyberChair system. In addition to the 22 contributed papers, the symposium also included two invited talks by Jens Palsberg (UCLA, Los Angeles, USA) and Peter Stuckey (University of Melbourne, Melbourne, Australia), and one tutorial by Matthew Flatt (University of Utah, USA). Many people helped to promote APLAS as a high-quality forum in Asia to serve programming language researchers worldwide. Following a series of we- attended workshops that were held in Singapore (2000), Daejeon (2001), and Shanghai (2002), the ?rst three formal symposiums were held in Beijing (2003), Taipei (2004) and Tsukuba (2005).
the proceedings contain 19 papers. the special focus in this conference is on programminglanguages and systems. the topics include: A decidable logic for describing linked data structures;interprocedural control flow...
ISBN:
(纸本)3540656995
the proceedings contain 19 papers. the special focus in this conference is on programminglanguages and systems. the topics include: A decidable logic for describing linked data structures;interprocedural control flow analysis;a per model of secure information flow in sequential programs;quotienting share for dependency analysis;types and subtypes for client-server interactions;types for safe locking;constructor subtyping;safe and principled language interoperation;deterministic expressions in C;a programming logic for sequential java;set-based failure analysis for logic programs and concurrent constraint programs;simpler, and more expressive;type-based decompilation;an operational investigation of the CPS hierarchy;higher-order code splicing;expressing structural properties as language constructs;polytypic compact printing and parsing and dynamic programming via static incrementalization.
暂无评论