Owre et al., 1999 - Google Patents

PVS system guide

Owre et al., 1999

Document ID: 801378143247610731
Author: Owre S; Shankar N; Rushby J; Stringer-Calvert D
Publication year: 1999
Publication venue: Computer Science Laboratory, SRI International, Menlo Park, CA

External Links

Cited by

Snippet

The Prototype Verification System (PVS) provides an integrated environment for the development and analysis of formal specifications, and supports a wide range of activities involved in creating, analyzing, modifying, managing, and documenting theories and proofs …

Continue reading at pvs.csl.sri.com (PDF) (other versions)

241000710179 Potato virus S 0 title 1

Classifications

- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for programme control, e.g. control unit
- G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
- G06F9/44—Arrangements for executing specific programmes
- G06F9/455—Emulation; Software simulation, i.e. virtualisation or emulation of application or operating system execution engines
- G06F9/45504—Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
- G06F9/45508—Runtime interpretation or emulation, e g. emulator loops, bytecode interpretation
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/20—Handling natural language data
- G06F17/21—Text processing
- G06F17/22—Manipulating or registering by use of codes, e.g. in sequence of text characters
- G06F17/2288—Version control
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/20—Handling natural language data
- G06F17/21—Text processing
- G06F17/22—Manipulating or registering by use of codes, e.g. in sequence of text characters
- G06F17/2247—Tree structured documents; Markup, e.g. Standard Generalized Markup Language [SGML], Document Type Definition [DTD]
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for programme control, e.g. control unit
- G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
- G06F9/44—Arrangements for executing specific programmes
- G06F9/4443—Execution mechanisms for user interfaces
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/20—Handling natural language data
- G06F17/21—Text processing
- G06F17/24—Editing, e.g. insert/delete
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/20—Handling natural language data
- G06F17/21—Text processing
- G06F17/211—Formatting, i.e. changing of presentation of document
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/20—Handling natural language data
- G06F17/27—Automatic analysis, e.g. parsing
- G06F17/2705—Parsing
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for programme control, e.g. control unit
- G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
- G06F9/44—Arrangements for executing specific programmes
- G06F9/445—Programme loading or initiating
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
- G06F17/30861—Retrieval from the Internet, e.g. browsers
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
- G06F17/30067—File systems; File servers
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/60—Software deployment
- G06F8/65—Update
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformations of program code
- G06F8/41—Compilation
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/38—Implementation of user interfaces
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software

Similar Documents

Publication	Publication Date	Title
Owre et al.	1999	PVS system guide
Owre et al.	1993	User guide for the PVS specification and verification system (Beta release)
US5999942A (en)	1999-12-07	Method and apparatus for enforcement of behavior of application processing systems without modifying application processing systems
US6957439B1 (en)	2005-10-18	Method, system, and program for mapping objects in different language formats
Medina-Mora	1982	Syntax-directed editing: towards integrated programming environments
US8078960B2 (en)	2011-12-13	Rendering an HTML electronic form by applying XSLT to XML using a solution
US7197515B2 (en)	2007-03-27	Declarative solution definition
US6854123B1 (en)	2005-02-08	Method, system, and program for mapping standard application program interfaces (APIs) to user interface APIs
US7624401B2 (en)	2009-11-24	Reflection-based processing of input parameters for commands
US20040268229A1 (en)	2004-12-30	Markup language editing with an electronic form
KR101130455B1 (en)	2012-07-03	Mechanism for obtaining and applying constraints to constructs within an interactive environment
KR20010106514A (en)	2001-11-29	Method and system for an extensible macro language
US6941520B1 (en)	2005-09-06	Method, system, and program for using a user interface program to generate a user interface for an application program
KR20070007217A (en)	2007-01-15	Mechanism for providing data driven command line output
KR20060114617A (en)	2006-11-07	Mechanism for providing extended functionality to command line instructions
WO2001044932A1 (en)	2001-06-21	Methods and systems for dynamically creating user interfaces
KR20070051250A (en)	2007-05-17	Mechanism for analyzing partially unresolved input
Wenzel	2013	Isabelle/jEdit
Kreitz	2002	The Nuprl Proof Development System, Version 5: Reference Manual and User’s Guide
Kaplan et al.	1994	Grammar writer’s workbench
MacKenzie et al.	2002	Comparing and Merging Files with GNU diff and patch
Bullen et al.	2005	Professional Excel development: the definitive guide to developing applications using Microsoft Excel and VBA
Meisels	2000	Software Manual for Windows Z/EVES Version 2.1
Graham	2005	Languages and interactive software development
Wielemaker	1990	SWI-Prolog 5.1