Preprint version, including errata: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=Shared Memory Parallelization of Fully-Adaptive Simulations Using a Dynamic Tree-Split and -Join Approach

Source URL: www5.in.tum.de

• Mathematics
• Computer programming
• Software engineering
• Recursion
• Combinatorics
• Integer sequences
• Tree traversal
• Partition of a set
• Stack
• Parallel computing
• Partition
• Binary tree

INTRODUCING THE DENVER GOLD FORUM “WORK, STAY & PLAY” PACKAGE PL AY A S HARD AS YOU WOR K

Source URL: www.denvergoldforum.org

• Anschutz Corporation
• The Broadmoor
• XPL
• Denver
• Colorado Springs
• Colorado
• Colorado

Session T2C THE CONCEPT OF “ALGORITHM EFFICIENCY” IN THE HIGH SCHOOL CS CURRICULUM Judith Gal-Ezer 1 and Ela Zur2 Abstract  Algorithms and the efficiency of algorithms are basic concepts to every computer science

Source URL: www.openu.ac.il

• Theoretical computer science
• Computational complexity theory
• Algorithm
• Mathematical logic
• Analysis of algorithms
• Computer science
• Computing
• XPL
• Efficiency

Abstract Interpretation Jan Midtgaard Winter School, Day 1 http://janmidtgaard.dk/aiws15/ Saint Petersburg, Russia, 2015

Source URL: janmidtgaard.dk

• Compiler construction
• Programming language implementation
• Syntax
• Compiler
• Radhia Cousot
• Semantics
• Parsing
• Abstract interpretation
• Abstract syntax tree
• Lexical analysis
• XPL
• Analysis

XPL-ICAN_1510_ICG_Report_Visual_Summary_09

Source URL: www.ianacg.org

XPL-ICAN_1510_ICG_Report_Visual_Summary_09-ar final

Source URL: www.ianacg.org

BU CAS CS 525: Compiler Design (Syllabus) • Semester Spring 2005 • Instructor: Hongwei Xi • Lecture Times: MWF 3-4PM

Source URL: www.cs.bu.edu

• Compiler construction
• Procedural programming languages
• Programming languages
• Compiler
• Programming language implementation
• XPL
• C Sharp
• Java

Efficient Specialisation in Prolog Using a Hand-Written Compiler Generator Michael Leuschel and Jesper Jørgensen Declarative Systems and Software Engineering Group

Source URL: repository.readscheme.org

• Programming paradigms
• Programming language implementation
• Functional languages
• Evaluation strategy
• Partial evaluation
• Type system
• Compiler
• Prolog
• Logic programming
• XPL
• Interpreter
• Generic programming

Reflections on Courses for Software Language Engineering Anya Helene Bagge1 , Ralf Lämmel2 , and Vadim Zaytsev3 Bergen Language Design Laboratory, University of Bergen, Norway Software Languages Team, University of Kobl

Source URL: models2014.webs.upv.es

• Compiler construction
• Formal languages
• Parsing
• Programming language implementation
• Parser generators
• Syntax
• Compiler
• LR parser
• Scannerless parsing
• XPL
• PLY
• Model-driven engineering

TRANSLATION OF PL/1 INTO ABSTRACT SYNTAX G. URSCHLER LABORATORY VIENNA

Source URL: homepages.cs.ncl.ac.uk

• Procedural programming languages
• PL/I
• Syntax
• Programming language
• ALGOL 68
• Abstract syntax
• XPL
• PL/SQL