[go: up one dir, main page]

Frühwirth et al., 2006 - Google Patents

Constraints in procedural and concurrent languages

Frühwirth et al., 2006

Document ID
828102669093296150
Author
Frühwirth T
Michel L
Schulte C
Publication year
Publication venue
Foundations of Artificial Intelligence

External Links

Snippet

Publisher Summary This chapter addresses the integration of constraints and search into programming languages from three different points of views. It discusses the various uses of constraints:(1) to model combinatorial optimization problem and to easily implement search …
Continue reading at www.sciencedirect.com (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/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/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • 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
    • 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
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • 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
    • G06F9/4428—Object-oriented
    • G06F9/443—Object-oriented method invocation or resolution
    • 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

Similar Documents

Publication Publication Date Title
Chambers S, R, and data science
Dahl The roots of object orientation: the Simula language
Nerode et al. Concurrent programs as strategies in games
Broy et al. 2 nd UML 2 semantics symposium: formal semantics for UML
Sunyé et al. Using UML action semantics for model execution and transformation
Sartori et al. deal2lkit: A toolkit library for high performance programming in deal. II
Frühwirth et al. Constraints in procedural and concurrent languages
Tikhonova et al. Constraint-based run-time state migration for live modeling
Augustsson et al. Paradise: a two-stage DSL embedded in Haskell
Hornstein Three grades of grammatical involvement: Syntax from a Minimalist perspective
Grigorenko et al. Visual tool for generative programming
Grust et al. Functions are data too: defunctionalization for PL/SQL
Löwe et al. Algebraic graph transformations with inheritance and abstraction
Lücke et al. A functional pattern-based language in mlir
Müller Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Naylor et al. A functional-logic library for Wired
Etien et al. Towards a unified notation to represent model transformation
Hills et al. A rewriting approach to the design and evolution of object-oriented languages
Bettin et al. Advanced modelling made simple with the gmodel metalanguage
Şutîi et al. Modular multilevel metamodeling with MetaMod
Kong et al. Semantic Support for Model Composition
Agarwal et al. Towards more efficient Software Engineering with formal MDA
Monnier et al. Inlining as staged computation
Berment et al. Heloise—A reengineering of Ariane-G5 SLLPs for application to π-languages
Suau et al. qprof: a gprof-inspired quantum profiler