Nothing Special   »   [go: up one dir, main page]

Owre et al., 1993 - Google Patents

User guide for the PVS specification and verification system (Beta release)

Owre et al., 1993

View PDF
Document ID
17099072963626376762
Author
Owre S
Shankar N
Rushby J
Publication year
Publication venue
Computer Science Laboratory, SRI International, Menlo Park, CA

External Links

Snippet

The Prototype Veri cation System (PVS) provides an integrated environment for the development and analysis of formal speci cations, and supports a wide range of activities involved in creating, analyzing, modifying, managing, and documenting theories and proofs …
Continue reading at citeseerx.ist.psu.edu (PDF) (other versions)

Classifications

    • 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/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/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/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
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • G06F8/42—Syntactic analysis
    • 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/34—Graphical or visual programming
    • 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
    • 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/60—Software deployment
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity

Similar Documents

Publication Publication Date Title
Owre et al. User guide for the PVS specification and verification system (Beta release)
Owre et al. PVS system guide
Reps et al. The Synthesizer Generator: A system for constructing language-based editors
Medina-Mora Syntax-directed editing: towards integrated programming environments
US5748975A (en) System and method for textual editing of structurally-represented computer programs with on-the-fly typographical display
US5813019A (en) Token-based computer program editor with program comment management
Crow et al. A tutorial introduction to PVS
US5748961A (en) Efficient method and apparatus for compiling and linking modules of computer code in a large software system
US6367068B1 (en) Dynamic parsing
US5752058A (en) System and method for inter-token whitespace representation and textual editing behavior in a program editor
JPH08512152A (en) Incremental generation system
Hayes et al. Graceful interaction through the COUSIN command interface
Zhang et al. Overwatch: Learning patterns in code edit sequences
Reps et al. Language processing in program editors
Carroll et al. A development environment for large natural language grammars
Nipkow et al. A Proof Assistant for Higher-Order Logic
Kreitz The Nuprl Proof Development System, Version 5: Reference Manual and User’s Guide
Clemm THE ODIN SYSTEM: AN OBJECT MANAGER FOR EXTENSIBLE SOFTWARE ENVIRONMENTS (EFFICIENT, FILE SYSTEM, PROGRAMMING, DATABASE, TOOL)
Nakajima et al. The IOTA programming system: a modular programming environment
Kaplan et al. Grammar writer’s workbench
Henderson et al. The Lispkit Manual
Ducasse et al. Pharo by Example 5.0
Sankar Automatic runtime consistency checking and debugging of formally specified programs
Aspinall et al. Parsing, editing, proving: The PGIP display protocol
Ryder Bash Quick Start Guide: Get up and running with shell scripting with Bash