the proceedings contain 22 papers. the special focus in this conference is on theorem Proving in Higher Order Logics. the topics include: An isabelle-based theorem prover for VDM-SL;executing formal specifications by ...
ISBN:
(纸本)3540611576
the proceedings contain 22 papers. the special focus in this conference is on theorem Proving in Higher Order Logics. the topics include: An isabelle-based theorem prover for VDM-SL;executing formal specifications by translation to higher order logic programming;human-style theorem proving using PVS;a hybrid approach to verifying liveness in a symmetric multi processor;programs in LP and in COQ;ML programming in constructive type theory;possibly infinite sequences in theorem provers;proof normalization for a first-order formulation of higher-order logic;using a PVS embedding of CSP to verify authentication protocols;verifying the accuracy of polynomial approximations in HOL;a full formalisation of rr-calculus theory in the calculus of constructions;rewriting, decision procedures and lemma speculation for automated hardware verification;refining reactive systems in HOL using action systems;on formalization of bicategory theory;towards an object-oriented progification language;verification for robust specification;a theory of structured model-based specifications in isabelle/HOL;proof presentation for isabette;derivation and use of induction schemes in higher-order logic;higher order quotients and their implementation in isabelle HOL;type classes and overloading in higher-order logic and a comparative study of Coq and HOL.
the proceedings contain 23 papers. the special focus in this conference is on object-orientedprogramming. the topics include: On unifying relational and object-oriented database systems;import is not inheritance why ...
ISBN:
(纸本)9783540556688
the proceedings contain 23 papers. the special focus in this conference is on object-orientedprogramming. the topics include: On unifying relational and object-oriented database systems;import is not inheritance why we need both: modules and classes;object-oriented multi-methods in cecil;aggregation in a behavior orientedobject model;reasoning and refinement in object-oriented specification languages;combining object-oriented and logic paradigms: a modal logic programming approach;an incremental class reorganization approach;system design by composing structures of interacting objects;unifying the design and implementation of user interfaces through the object paradigm;nesting actions through asynchronous message passing;inheritance of synchronization constraints in concurrent object-orientedprogramming languages;an eiffel environment to program distributed memory parallel computers;using object-orientedprogramming techniques for implementing ISDN supplementary services;an object model for engineering design;an object-oriented class library for scalable parallel heuristic search;integrating constraints with an object-oriented language;specifying reusable components using contracts;a type system for object-orientedprogramming based on abstract and concrete classes;making type inference practical;an object-oriented language-database integration model: the composition-filters approach;supporting physical independence in an object database server and developing a class hierarchy for object-oriented transaction processing.
objectoriented Interoperability is an extension and generalization of the Procedure oriented Interoperability approaches taken in the past. It provides an interoperability support frame by considering the object as t...
详细信息
this paper describes the use of the object-orientedprogramming language BETA for modelling and implementing a simple prototype of an ISDN D-channel layer 3 (I.451) entity. In particular, the implementation of ISDN su...
详细信息
Software components developed with an object-oriented language require frequent reorganizations before they become stable, reusable classes. We propose a new algoritlun that analyses the redefinitions carried out on i...
详细信息
this paper describes a formal object-oriented specification language, Z++, and identifies proof rules and associated specification structuring and development styles for the facilitation of validation and verification...
详细信息
Multiple dispatching provides increased expressive power over single dispatching by guiding method lookup using the values of all arguments instead of only the receiver. However, existing languages with multiple dispa...
详细信息
this paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. the focus is on providing persistent dynamic data st...
详细信息
this paper presents SIROCO, a research on user interface design and development support in an object-orientedprogramming environment. User interface (UI) design in SIROCO focuses on conceptual modeling;a fully object...
详细信息
暂无评论