KRust: A Formal Executable Semantics of Rust Feng Wang∗ , Fu Song∗ , Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School † Shanghai of Information Science and Technology, ShanghaiTech University, Shanghai, C

Source URL: sist.shanghaitech.edu.cn

Executable Proofs, Input-Size Hiding Secure Computation and a New Ideal World Melissa Chase1(B) , Rafail Ostrovsky2 , and Ivan Visconti3 1 3

Source URL: web.cs.ucla.edu

An executable formal semantics of PHP Daniele Filaretti and Sergio Maffeis Department of Computing, Imperial College London {d.filaretti11,sergio.maffeis}@imperial.ac.uk tifact

Source URL: wwwhomes.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Data types
• Cross-platform software
• Object-oriented programming languages
• Programming languages
• Scripting languages
• PHP
• Array data type
• Foreach loop
• Iterator

KRust: A Formal Executable Semantics of Rust Feng Wang∗, Fu Song∗, Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School arXiv:1804.10806v1 [cs.PL] 28 Apr 2018

Source URL: arxiv.org

• Software engineering
• Computing
• Computer programming
• Functional languages
• Concurrent programming languages
• Procedural programming languages
• High-level programming languages
• Object-oriented programming
• Immutable object
• This
• Rust
• Const

An Executable Rewriting Logic Semantics of K-Scheme ∗ Patrick Meredith Mark Hills Grigore Ros¸u

Source URL: repository.readscheme.org

Olive: A Digital Archive for Executable Content Gloriana St. Clair, Dan Ryan, Mahadev Satanarayanan(Satya), Vasanth Bala, Erika Linke Coalition for Networked Information, December 12-13, 2011 Purpose: “Today, an increa

Source URL: olivearchive.org

Starting with the 2017 release (available in late 2016), TetrUSS is packaged as a combination of source code and executables on both Linux and Mac OS. GridTool, VGRID, and POSTGRID are only available in executable form

Source URL: tetruss.larc.nasa.gov

An Ontology for Executable Business Processes J¨ org Nitzsche, Daniel Wutke, and Tammo van Lessen Institute of Architecture of Application Systems University of Stuttgart Universitaetsstrasse 38, 70569 Stuttgart, German

Source URL: sunsite.informatik.rwth-aachen.de

Logical Testing Hoare-style Specification Meets Executable Validation Kathryn E. Gray Alan Mycroft

Source URL: www.cl.cam.ac.uk

Journal of Object Technology Published by AITO — Association Internationale pour les Technologies Objets http://www.jot.fm/ XCorpus – An executable Corpus of Java Programs

Source URL: www.jot.fm