Computer science/Programming languages/Language definitions

Subject Classification

ACM: Software and its engineering~Formal language definitions

2024

AutoCorres2

by Matthew Brecknell, David Greenaway, Johannes Hölzl, Fabian Immler, Gerwin Klein, Rafal Kolanski, Japheth Lim, Michael Norrish, Norbert Schirmer, Salomon Sickert, Thomas Sewell, Harvey Tuch and Simon Wimmer

Apr 17

2021

JinjaDCI: a Java semantics with dynamic class initialization

by Susannah Mansky

Jan 11

2019

Isabelle/C

by Frédéric Tuong and Burkhart Wolff

Oct 22

Safe OCL

by Denis Nikiforov

Mar 09

2018

WebAssembly

by Conrad Watt

Apr 29

CakeML

by Lars Hupel and Yu Zhang

Mar 12

2016

COMPLX: A Verification Framework for Concurrent Imperative Programs

by Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah and Joseph Tuong

Nov 29

2015

A Meta-Model for the Isabelle API

by Frédéric Tuong and Burkhart Wolff

Sep 16

2014

pGCL for Isabelle

by David Cock

Jul 13

Syntax and semantics of a GPU kernel programming language

by John Wickerson

Apr 03

2013

Stream Processing Components: Isabelle/HOL Formalisation and Case Studies

by Maria Spichkova

Nov 14

2011

AutoFocus Stream Processing for Single-Clocking and Multi-Clocking Semantics

by David Trachtenherz

Feb 23

Lightweight Java

by Rok Strniša and Matthew Parkinson

Feb 07

2010

Locally Nameless Sigma Calculus

by Ludovic Henrio, Florian Kammüller, Bianca Lutz and Henry Sudhof

Apr 30

2008

A Sequential Imperative Programming Language Syntax, Semantics, Hoare Logics and Verification Environment

by Norbert Schirmer

Feb 29

2007

Jinja with Threads

by Andreas Lochbihler

Dec 03

2006

CoreC++

by Daniel Wasserrab

May 15

A Theory of Featherweight Java in Isabelle/HOL

by J. Nathan Foster and Dimitrios Vytiniotis

Mar 31

2005

Jinja is not Java

by Gerwin Klein and Tobias Nipkow

Jun 01