The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University

Source URL: thev.net

• Software engineering
• Computing
• Programming paradigms
• Evaluation strategy
• Functional programming
• Computer programming
• Concurrent programming languages
• Functional reactive programming
• Reactive programming
• Computer architecture
• Dataflow programming
• Dataflow

Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford

Source URL: qav.comlab.ox.ac.uk

• Linear temporal logic
• Temporal logic
• Symbol
• Stochastic game
• Mathematical optimization
• Markov decision process
• Markov chain
• Probability

1 From Theory to Practice: Efficiently Checking BGP Configurations for Guaranteed Convergence Luca Cittadini

Source URL: www0.cs.ucl.ac.uk

Abstract The Theory and Practice of Causal Commutative Arrows Hai Liu 2011 Arrows are a popular form of abstract computation. Being more general than

Source URL: thev.net

• Software engineering
• Computing
• Computer programming
• Functional programming
• Evaluation strategy
• Programming paradigms
• Computer architecture
• Functional reactive programming
• Models of computation
• Dataflow
• Arrow
• Reactive programming

Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗

Source URL: jorgenavas.github.io

• Mathematics
• Theoretical computer science
• Elementary mathematics
• Compiler optimizations
• Static single assignment form
• Logic programming
• Scope
• Unification
• Term
• FO
• Variable
• Singular spectrum analysis

All in the XL Family: Theory and Practice Bo-Yin Yang1,
and Jiun-Ming Chen2 1 Department of Mathematics, Tamkang University, Tamsui, Taiwan

Source URL: precision.moscito.org

• Mathematics
• Algebra
• Monomial
• Generating function
• Equation solving
• Grbner basis

XFindBugs: eXtended FindBugs for AspectJ Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao Software Theory and Practice Group (STAP) Shanghai Jiao Tong University, China A code

Source URL: zhang-sai.github.io

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• Computing
• AspectJ
• Pointcut
• Join point
• FindBugs
• Aspect
• Aspect weaver

This is the full version of a paper which appears in Public-Key Cryptography PKC20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017,

Source URL: eprint.iacr.org

• Cryptography
• Hashing
• Search algorithms
• Cryptographic hash functions
• Error detection and correction
• Hash function
• Digital signature
• Collision resistance
• Hash
• Trapdoor function
• Security of cryptographic hash functions

An Opportunity for Empiricism Howard Gardner Multiple Intelligences : The Theory in Practice New York : BasicBooks, pp . ISBNhardcover) ; X (paperback) . $30 .00 ($40 .00, Canada) h

Source URL: my.vanderbilt.edu

»EMBODYING VALUES IN DESIGN: THEORY, APPROACH & PRACTICE«

Source URL: research-practice-dialogue.muthesius-kunsthochschule.de