the proceedings contain 23 papers. the topics discussed include: user-definable rule priorities for CHR;detecting defects in Erlang programs using static analysis;practical use of polynomials over the reals in proofs ...
详细信息
ISBN:
(纸本)1595937692
the proceedings contain 23 papers. the topics discussed include: user-definable rule priorities for CHR;detecting defects in Erlang programs using static analysis;practical use of polynomials over the reals in proofs of termination;type safe dynamic linking for JVM access control;systematic generation of glass-box test cases for functional logic programs;mechanized metatheory model-checking;relational semantics for effect-based program transformations with dynamic allocation;higher-order semantic labelling for inductive datatype systems;observing intermediate structures in a parallel lazy functional language;computing with subspaces;real-time rewriting semantics of orc;a larger decidable semiunification problem;local reasoning about storable locks;induction for positive almost sure termination;unfolding in CHR;and nonmonotonic inductive logic programming by instance patterns.
the proceedings contain 3 papers. the topics discussed include: Peace COrP: learning to solve conflicts between contexts;the declarative nature of implicit layer activation;and push-based reactive layer activation in ...
ISBN:
(纸本)9781450349710
the proceedings contain 3 papers. the topics discussed include: Peace COrP: learning to solve conflicts between contexts;the declarative nature of implicit layer activation;and push-based reactive layer activation in context-oriented programming.
the proceedings contain 9 papers. the topics discussed include: PDDL+ planning via constraint answer set programming;equilibrium graphs;BreakID: static symmetry breaking for ASP (system description);vicious circle pri...
the proceedings contain 9 papers. the topics discussed include: PDDL+ planning via constraint answer set programming;equilibrium graphs;BreakID: static symmetry breaking for ASP (system description);vicious circle principle and formation of sets in ASP based languages;knowledge representation analysis of graph mining;implementing a relevance Tracker module;a parallel memory-efficient epistemic logic program solver: harder, better, faster;and achievements in answer set programming.
the proceedings contain 7 papers. the special focus in this conference is on Rewriting and programming. the topics include: Extensional and intensional strategies;superdevelopments for weak reduction;strategies in PrL...
the proceedings contain 7 papers. the special focus in this conference is on Rewriting and programming. the topics include: Extensional and intensional strategies;superdevelopments for weak reduction;strategies in PrLog;specification of products and product lines;extending context-sensitivity in term rewriting;principal typings in a restricted intersection type system for beta normal forms with de bruijn indices and stream productivity by outermost termination.
the proceedings contain 6 papers. the topics discussed include: analysis of validating and verifying OpenACC compilers 3.0 and above;OmpSs-2 and OpenACC interoperation;extending MAGMA portability with OneAPI;KokkACC: ...
ISBN:
(纸本)9781665490191
the proceedings contain 6 papers. the topics discussed include: analysis of validating and verifying OpenACC compilers 3.0 and above;OmpSs-2 and OpenACC interoperation;extending MAGMA portability with OneAPI;KokkACC: enhancing Kokkos with OpenACC;SPEL: software tool for porting E3SM land model with OpenACC in a function unit test framework;and GPU-accelerated sparse matrix vector product based on element-by-element method for unstructured FEM using OpenACC.
the proceedings contain 20 papers. the topics discussed include: Quarantine: a framework to mitigate memory errors in JNI applications;portable and accurate collection of calling-context-sensitive byte-code metrics fo...
ISBN:
(纸本)9781450309356
the proceedings contain 20 papers. the topics discussed include: Quarantine: a framework to mitigate memory errors in JNI applications;portable and accurate collection of calling-context-sensitive byte-code metrics for the Java virtual machine;the Java virtual machine in retargetable, high-performance instruction set simulation;a DSL for writing type systems for Xtext languages, space-based multi-core programming in Java;Habanero-Java: the new adventures of old X10;ejIP: a TCP/IP stack for embedded Java;the soul tool suite for querying programs in symbiosis with Eclipse;Jazz2: a flexible and extensible framework for structural testing;object reuse and behavior adaptation in Java-like languages;trace-based compilation for the Java hotspot virtual machine;tool demonstration: overseer - low-level hardware monitoring and management for java;and optimized memory management for class metadata in a JVM.
the proceedings contain 14 papers. the topics discussed include: on the fence: an offload approach to ordering one-sided communication;caching puts and gets in a PGAS language runtime;impact of frequency scaling on on...
ISBN:
(纸本)9781509001859
the proceedings contain 14 papers. the topics discussed include: on the fence: an offload approach to ordering one-sided communication;caching puts and gets in a PGAS language runtime;impact of frequency scaling on one sided remote memory accesses;implementing high-performance geometric multigrid solver with naturally grained messages;an evaluation of anticipated extensions for fortran coarrays;preliminary implementation of coarray Fortran translator based on omni XcalableMP;using the parallel research kernels to study PGAS models;PHLAME: hierarchical locality exploitation using the PGAS model;a compiler transformation to overlap communication with dependent computation;toward a data-centric profiler for PGAS applications;scaling HabaneroUPC++ on heterogeneous supercomputers;PySHMEM: a high productivity OpenSHMEM interface for Python;and ISx: a scalable integer sort for co-design in the exascale era.
the proceedings contain 30 papers. the special focus in this conference is on Logic for programming, Artificial Intelligence, and Reasoning. the topics include: Improving on-demand strategy annotations;first-order log...
ISBN:
(纸本)3540000100
the proceedings contain 30 papers. the special focus in this conference is on Logic for programming, Artificial Intelligence, and Reasoning. the topics include: Improving on-demand strategy annotations;first-order logic as a constraint programming language;maintenance of formal software developments by stratified verification;a note on universal measures for weak implicit computational complexity;extending compositional message sequence graphs;searching for invariants using temporal resolution;proof planning for feature interactions;an extension of BDICTL withfunctional dependencies and components;directed automated theorem proving;a framework for splitting BDI agents;on the complexity of disjunction and explicit definability properties in some intermediate logics;using BDDs with combinations of theories;on expressive description logics with composition of roles in number restrictions;query optimization of disjunctive databases with constraints through binding propagation;a non-commutative extension of MELL;procedural semantics for fuzzy disjunctive programs;pushdown specifications;theorem proving with sequence variables and flexible arity symbols;parallelism and tree regular constraints;a semantics for proof plans with applications to interactive proof planning;an isomorphism between a fragment of sequent calculus and an extension of natural deduction;a local system for linear logic;investigating type-certifying compilation with isabelle;automating type soundness proofs via decision procedures and guided reductions and abox satisfiability reduced to terminological reasoning in expressive description logics.
the proceedings contain 33 papers. the topics discussed include: logic programming and nonmonotic reasoning: from theory to systems and applications;policy based computing: from systems and applications to theory;the ...
详细信息
ISBN:
(纸本)9783540721994
the proceedings contain 33 papers. the topics discussed include: logic programming and nonmonotic reasoning: from theory to systems and applications;policy based computing: from systems and applications to theory;the first answer set programming system competition;CR-models: an inference engine for CR-prolog;debugging ASP programs by means of ASP;conflict-driven answer set enumeration;head-elementary-set-free logic programs;a deductive system for PC(ID);modularity aspects of disjunctive stable models;a unified semantics for constraint handling rules in transaction;conditional planning with external functions;general default logic;the LP-OD system logic programming meets outlier detection;a conflict-driven answer set solver;programming applications in CIFF;an application of defeasible logic programming to decision making in a robotic environment;on the effectiveness of looking ahead in search for answer sets;and modularity in SMODELS programs.
the proceedings contain 41 papers. the topics discussed include: essence: facilitating agile innovation;scrum and team effectiveness: theory and practice;misfit or misuse? lessons from implementation of scrum in radic...
ISBN:
(纸本)3540682546
the proceedings contain 41 papers. the topics discussed include: essence: facilitating agile innovation;scrum and team effectiveness: theory and practice;misfit or misuse? lessons from implementation of scrum in radical product innovation;method configuration: the eXtreme programming case;adopting agile in a large organization;an observational study of a distributed card based planning environment;the TDD-guide training and guidance tool for test-driven development;an agile development process and its assessment using quantitative object-oriented metrics;historical roots of agile methods: where did 'agile thinking' come from?;seven years of XP - 50 customers, 100 projects and 500 programmers - lessons learnt and ideas for improvement;investigating the usefulness of pair-programming in a mature agile team;and just enough structure at the edge of chaos: agile information system development in practice.
暂无评论