the proceedings contain 15 papers. the topics discussed include: a formal foundation for dynamic delta-oriented software product lines;family-based deductive verification of software product lines;reasoning of feature...
ISBN:
(纸本)9781450311298
the proceedings contain 15 papers. the topics discussed include: a formal foundation for dynamic delta-oriented software product lines;family-based deductive verification of software product lines;reasoning of feature models from derived features;synthesizing iterators from abstraction functions;package templates: a definition by semantics-preserving source-to-source transformations to efficient java code;an inheritance system for structural & behavioral reuse in component-based software programming;a three-level component model in component based software development;pushouts in software architecture design;pol: specification-driven synthesis of architectural code frameworks for platform-based applications;faster program adaptation through reward attribution inference;and a calculus for modeling and implementing variation.
the proceedings contain 50 papers. the topics discussed include: independently checkable proofs from decision procedures: issues and progress;Zap: automated theorem proving for software analysis;scaling up: computers ...
详细信息
the proceedings contain 50 papers. the topics discussed include: independently checkable proofs from decision procedures: issues and progress;Zap: automated theorem proving for software analysis;scaling up: computers vs. common sense;a new constraint solver for 3D lattices and its application to the protein folding problem;disjunctive constraint lambda calculi;optimizing the runtime processing of types in polymorphic logic programming languages;the four sons of penrose;termination of fair computations in term rewriting;matching with regular constraints;automating coherent logic;regular derivations in basic superposition-based calculi;on the specification on sequent systems;experimental evaluation of classical automata constructions;reasoning about incompletely defined programs;a unified memory model for pointers;pushdown module checking;functional correctness proofs of encryption algorithms;and algebraic intruder deductions.
the proceedings contain 55 papers. the topics discussed include: integrating temporal extensions of answer set programming;the fourth answer set programming competition: preliminary report;WASP: a native ASP solver ba...
ISBN:
(纸本)9783642405631
the proceedings contain 55 papers. the topics discussed include: integrating temporal extensions of answer set programming;the fourth answer set programming competition: preliminary report;WASP: a native ASP solver based on constraint learning;symbolic system synthesis using answer set programming;accurate computation of sensitizable paths using answer set programming;encoding higher level extensions of Petri nets in answer set programming;Cplus2ASP: computing action language C+ in answer set programming;event-object reasoning with curated knowledge bases: deriving missing information;towards query answering in relational multi-context systems;spectra in abstract argumentation: an analysis of minimal change;an ASP application in integrative biology: identification of functional gene units;extending the metabolic network of ectocarpus siliculosus using answer set programming;and efficient approximation of well-founded justification and well-founded domination.
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a commercial product has led us to the conclu...
详细信息
ISBN:
(纸本)9781595938152
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a commercial product has led us to the conclusion that while functional languages have some disadvantages, in the case of Reactis the benefits of a functional language substantially outweigh the drawbacks.
In this talk, I will consider some possible extensions to existing functionalprogramming languages that would make them more suitable for the important and growing class of artificial intelligence applications. First...
详细信息
ISBN:
(纸本)9781595938152
In this talk, I will consider some possible extensions to existing functionalprogramming languages that would make them more suitable for the important and growing class of artificial intelligence applications. First, I will motivate the need for these language extensions. then I will give some technical detail about these extensions that provide the logic programming idioms, probabilistic computation, and modal computation. Some examples will be given to illustrate these ideas which have been implemented in the Bach programming language that is an extension of Haskell.
暂无评论