Knowledge-Based Interoperability for Mathematical Software Systems Michael Kohlhase1 Luca De Feo5 Dennis M¨ uller1 Markus Pfeiffer3 Florian 2 4

Source URL: research-repository.st-andrews.ac.uk

Software Transactions Meet First-Class Continuations Aaron Kimball Dan Grossman University of Washington

Source URL: repository.readscheme.org

Software Language Evolution PROEFSCHRIFT ter verkrijging van de graad van doctor aan de Technische Universiteit Delft,

Source URL: repository.tudelft.nl

ABSTRACT XIAO, XUSHENG. Cooperative Testing and Analysis via Informed Decision Making. (Under the direction of Tao Xie and Laurie Williams.) Software is pervasive in all aspects of our life, and thus it is critical to en

Source URL: repository.lib.ncsu.edu

Fedora4- Open Annotation Framework Dulip Withanage - University Library Ruprecht-Karls University, Heidelberg Software Entwickler

Source URL: www.laudatio-repository.org

A Python-Based Simulation Code Repository for Complex Systems Education Hiroki Sayama http://pycx.sf.net/

Source URL: pycx.sourceforge.net

• Software
• Computing
• Application software
• Simulation software
• Multi-agent systems
• Simulation
• Systems theory
• Scientific modeling
• Repast
• NetLogo
• Matplotlib
• Agent-based model

Managing Open Access Publication: a system specification   Contents  1. Executive Summary 

Source URL: jiscmonitor.jiscinvolve.org

• Knowledge
• Academic publishing
• Computing
• Academia
• Software design
• Systems analysis
• Electronic design automation
• Systems design
• Data model
• Institutional repository
• ORCID
• Business process

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

Tutorial on Specialisation of Logic Programs J.P. Gallagher Department of Computer Science University of Bristol University Walk Bristol BS8 1TR, U.K.

Source URL: repository.readscheme.org

• Software engineering
• Logic
• Mathematical logic
• Logic programming
• Logic in computer science
• Automated theorem proving
• Predicate logic
• Prolog
• Horn clause
• Resolution
• Partial evaluation
• Mereology

Eective Meta-programming in Declarative Languages Antony Francis Bowers A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosophy in the Faculty of

Source URL: repository.readscheme.org

• Software engineering
• Computer programming
• Computing
• Functional languages
• Programming paradigms
• Prolog
• Interpreter
• Escher
• Programming language
• Declarative programming
• APL