[go: up one dir, main page]

Kahn, 1992 - Google Patents

Concurrent Constraint Programs to Parse and Animate Pictures of Concurrent Constraint Programs.

Kahn, 1992

View PDF
Document ID
420208853791292807
Author
Kahn K
Publication year
Publication venue
FGCS

External Links

Snippet

The design and implementation of a visual programming environment for concurrent constraint programming is described. The system is implemented in Strand, a çommercially available concurrentlogic programming language. Three components are now operational …
Continue reading at www.ueda.info.waseda.ac.jp (PDF) (other versions)

Classifications

    • 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
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • G06F11/3636—Software debugging by tracing the execution of the program
    • 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/44—Encoding
    • 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/4421—Execution paradigms
    • 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
    • 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
    • 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/46—Multiprogramming arrangements
    • 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/50—Computer-aided design
    • 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
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06T—IMAGE DATA PROCESSING OR GENERATION, IN GENERAL
    • G06T13/00—Animation

Similar Documents

Publication Publication Date Title
Falcou et al. Quaff: efficient C++ design for parallel skeletons
Green Report on dialogue specification tools
Zündorf Rigorous object oriented software development
Kunz et al. Poet: Target-system independent visualizations of complex distributed-application executions
Kahn Concurrent Constraint Programs to Parse and Animate Pictures of Concurrent Constraint Programs.
Blostein et al. Computing with graphs and graph transformations
Zhang Software Visualization: From Theory to Practice
Anlauff et al. Formal aspects of and development environments for montages
Dunchev et al. PROOFTOOL: a GUI for the GAPT framework
Eertink Executing LOTOS specifications: The SMILE tool
Bull et al. An architecture to support model driven software visualization
Björklund et al. Towards efficient code synthesis from statecharts
Takahashi et al. A constraint-based approach for visualization and animation
Lohmann et al. Towards automatical migration of transformation rules after grammar extension
Kunisetty Workflow modeling and simulation using an extensible object- oriented knowledge base management system
Bardohl et al. AGG and GenGED: Graph Transformation-Based Specification and Analysis Techniques for Visual Languages
van Liere et al. Introduction to dialogue cells
Winstanley Reflections on instance derivation
US8312420B1 (en) System and method for performing structural templatization
Jeffery A framework for monitoring program execution
Harsu Re-engineering legacy software through language conversion
Wu OO-IP hybrid language design and a framework approach to the GIPC
CN100361077C (en) Microcompiled Grid Service Construction Method for Microcompiled Grid Service Builder
Pereira et al. Visualization/animation of programs based on abstract representations and formal mappings
Granell Escalfet Accelerating Halide on an FPGA