Managing Proof Documents for Asynchronous Processing
TL;DR: A novel state model for commands that synchronizes the possibly parallel accesses of the user interface and prover and is complemented by a communication protocol that places minimal requirements on the prover.
read more
About: This article is published in Electronic Notes in Theoretical Computer Science. The article was published on 01 Jan 2009. and is currently open access. The article focuses on the topics: Proof assistant & Asynchronous communication.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Journal Article
Proof development with ΩMEGA
Jörg H. Siekmann,Christoph Benzmüller,Vladimir Brezhnev,Lassaad Cheikhrouhou,Armin Fiedler,Andreas Franke,Helmut Horacek,Michael Kohlhase,Andreas Meier,Erica Melis,Markus Moschner,Immanuel Normann,Martin Pollet,Volker Sorge,Carsten Ullrich,Claus-Peter Wirth,Jürgen Zimmer +16 more
TL;DR: An overview of the architecture of the OMEGA system is presented and some of its novel features are sketched, including methods to develop proofs at a knowledge-based level.
30
A change-oriented architecture for mathematical authoring assistance
Marc Wagner
- 01 Jan 2010
TL;DR: In this article, the authors propose a method to solve the problem of "missing links" and "missing connections" in the context of data augmentation, i.i.IX
Patent
Change notifications from an updated data representation
Paul J. Kwiatkowski,Shawn A. Van Ness,Nicolas Brun,Michael A. Nelte,Arpit S. Shah,Paul A. Gusmorino +5 more
- 08 Dec 2010
TL;DR: In this article, an original representation of an original set of data in a data source can be provided, and an updated representation of the updated representation can be received by comparing it with the original representation.
7
Patent
Optimistic application of data edits
Paul J. Kwiatkowski,Shawn A. Van Ness,Nicolas Brun,Michael A. Nelte,Arpit S. Shah,Paul A. Gusmorino +5 more
- 20 May 2011
TL;DR: In this paper, a data representation that represents source data at a data source can be maintained, and a request to perform an edit can be received from a client, and the request to make the edit to the source data can be sent to the data source.
7
Towards Merging PlatΩ and PGIP
TL;DR: The PGIP protocol and middleware broker is extended to support the functionalities provided by [email protected] and beyond and it is hoped that this work will also provide guidance for extending provers to handle multiple foci.
3
References
•Book
Design Patterns: Elements of Reusable Object-Oriented Software
Erich Gamma,Richard Helm,Ralph E. Johnson,John Vlissides +3 more
- 01 Jan 1994
TL;DR: The book is an introduction to the idea of design patterns in software engineering, and a catalog of twenty-three common patterns, which most experienced OOP designers will find out they've known about patterns all along.
24.8K
Designing the user interface: strategies for effective human-computer interaction
Ben Shneiderman
- 01 Mar 1998
TL;DR: The Sixth Edition of Designing the User Interface provides a comprehensive, authoritative, and up-to-date introduction to the dynamic field of human-computer interaction and user experience (UX) design as discussed by the authors.
1.2K
•Book
Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects
Douglas C. Schmidt,Michael Stal,Hans Rohnert,Frank Buschmann +3 more
- 14 Sep 2000
TL;DR: The patterns catalogued in this second volume of Pattern-Oriented Software Architectures (POSA) form the basis of a pattern language that addresses issues associated with concurrency and networking.
•Book
Concurrent Programming in Java. Second Edition: Design Principles and Patterns
Doug Lea
- 01 Oct 1999
TL;DR: Taking a design pattern approach, the book offers standard design techniques for creating and implementing components that solve common concurrent programming challenges.
210
The unified modelling language.
Peter King,Rob Pooley +1 more
- 01 Jan 1999
TL;DR: The paper reviews past work in Software Performance Engineering, summarises the Unified Modelling Language and presents encouraging results from merging these two techniques.
200