C Program Specialization Master’s Thesis (revised version) Lars Ole Andersen DIKU, Department of Computer Science,

Source URL: repository.readscheme.org

• Software engineering
• Computing
• Computer programming
• Logic in computer science
• Formal methods
• Programming language implementation
• Functional languages
• Programming paradigms
• Partial evaluation
• Programming language
• Operational semantics
• Functional programming

Improved Type Specialization for Dynamic Scripting Languages Madhukar N Kedlaya† † Jared Roesch†

Source URL: jroesch.github.io

• Software engineering
• Computer programming
• Computing
• Cross-platform software
• Procedural programming languages
• Type theory
• Functional languages
• Object-oriented programming languages
• Type inference
• Type system
• Inference
• SpiderMonkey

Implementing Bit-addressing with Specialization Scott Draves School of Computer Science Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, USA

Source URL: repository.readscheme.org

• Procedural programming languages
• Object-oriented programming languages
• Cross-platform software
• Functional languages
• ALGOL 68
• Type system
• D
• Inline expansion
• ARM architecture
• Bit array
• C
• Quantization

Program Specialization via Program Slicing Thomas Reps and Todd Turnidge University of Wisconsin Abstract This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. The

Source URL: repository.readscheme.org

• Formal languages
• Program slicing
• Recursion
• ALGOL 68
• Formal grammar
• Regular tree grammar
• Eval
• Functional programming

Microsoft Word - Newcombe 2009.doc

Source URL: spatialintelligence.org

• Nora Newcombe
• Functional specialization
• Modularity
• Cognitive architecture

  BEHAVIORAL AND NEURAL DEVELOPMENT IN THEORY OF MIND Running head: BEHAVIORAL AND NEURAL DEVELOPMENT IN THEORY OF MIND Theory of Mind performance in children correlates with functional specialization of a

Source URL: sll.stanford.edu

• Petroleum geology
• Economic geology
• Neves-Corvo mine
• Corvo
• Reflection seismology
• Geologic modelling
• Geology
• Castro Verde
• Horizon

Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization Haichuan Wang1, Peng Wu2, David Padua1 1 University of Illinois at Urbana-Champaign

Source URL: cgo.org

• Computing
• Software
• Programming language implementation
• Compiler construction
• Cross-platform software
• Array programming languages
• Functional languages
• Interpreter
• Bytecode
• Just-in-time compilation
• Compiler
• Java

Immunity Review Functional Specialization of Interleukin-17 Family Members Yoichiro Iwakura,1,5,* Harumichi Ishigame,2 Shinobu Saijo,3 and Susumu Nakae4

Source URL: www.rs.tus.ac.jp

Current Biology 17, 323–328, February 20, 2007 ª2007 Elsevier Ltd All rights reserved DOIj.cubReport Reading Hidden Intentions

Source URL: www.icn.ucl.ac.uk

• Cerebrum
• Neuroscience
• Attention-deficit hyperactivity disorder
• Prefrontal cortex
• Anterior cingulate cortex
• Executive functions
• Brodmann area 10
• Working memory
• Functional specialization
• Cognitive science
• Mind
• Brain

Neuron, Vol. 36, 177–186, September 26, 2002, Copyright 2002 by Cell Press Neural Correlates for Feeling-of-Knowing: An fMRI Parametric Analysis Hideyuki Kikyo,1,2 Kenichi Ohki,1 and Yasushi Miyashita1,3,4

Source URL: www.physiol.m.u-tokyo.ac.jp

• Mind
• Metamemory
• Recall
• Anterior cingulate cortex
• Cingulate cortex
• Frontal lobe
• Recognition memory
• Semantic memory
• Functional specialization
• Brain
• Cerebrum
• Cognitive science