David Andre and John R. Koza This chapter describes the parallel implementation of genetic programming in the C programming language using a PC type computer (running Windows) acting as a host and a network of processing

Source URL: www.genetic-programming.com

SPECIAL SECTION DISTRIBUTED PROGRAMMING IN ARGU!S Argus-a programming language and system developed to support the implementation and execution of distributed programs-provides mechanisms that help programmers cope with

Source URL: www.cs.utah.edu

Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA

Source URL: peek.uwplse.org

• Computing
• Software engineering
• Software
• Compiler optimizations
• Programming language implementation
• Compiler construction
• Formal methods
• Logic in computer science
• CompCert
• Low-level programming language
• Peephole optimization
• Formal verification

A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel. Corin Alistair Gurr A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosoph

Source URL: repository.readscheme.org

• Software engineering
• Computing
• Software
• Evaluation strategy
• Incremental computing
• Partial evaluation
• Programming language implementation
• Interpreter
• Logic programming
• Programming language
• Meta
• Eval

2016 ‫مؤتمر ومعرض كهرباء الخليج‬ GCC POWER 2016 November Doha

Source URL: cigre-gccpower.com

• Software
• Programming language implementation
• Compilers
• GNU Compiler Collection
• International Council on Large Electric Systems
• Sponsor

Alias Analysis for Assembly David Brumley and James Newsome December 15, 2006 CMU-CS-06-180R

Source URL: users.ece.cmu.edu

• Computing
• Computer architecture
• Software engineering
• Programming language implementation
• Alias analysis
• Static program analysis
• Minicomputers
• X86 assembly language
• Program counter
• Assembly language
• PDP-8
• Random-access machine

Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: +

Source URL: www.cs.tufts.edu

• Computer science
• Software engineering
• Computing
• Functional programming
• International Conference on Functional Programming
• Programming Language Design and Implementation
• Symposium on Principles of Programming Languages
• SIGPLAN
• ECL programming language
• Association for Computing Machinery
• Programming language theory

Control-Flow Analysis of Higher-Order Languages or Taming Lambda Olin Shivers May 1991

Source URL: www.ccs.neu.edu

• Software engineering
• Computing
• Computer programming
• Logic in computer science
• Programming language implementation
• Functional languages
• Compiler construction
• Programming languages
• Denotational semantics
• Compiler
• Lisp
• Semantics

Hand-Writing Program Generator Generators Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark e-mail: &

Source URL: repository.readscheme.org

• Software engineering
• Computer programming
• Computing
• Procedural programming languages
• Functional languages
• Programming language implementation
• Data types
• Compiler construction
• Standard ML
• Interpreter
• Compiler-compiler
• Type system

Modulare Werkzeugarchitektur A critical discussion on Domain-Specific Languages Disclaimer

Source URL: spes2020.informatik.tu-muenchen.de

• Software engineering
• Computing
• Programming paradigms
• Computer programming
• Domain-specific language
• Programming language implementation
• Red
• Programming language
• Tom
• Object-oriented programming
• Abstraction
• Rodrigo B. De Oliveira