Decoding Lua: Formal Semantics for the Developer and the Semanticist [PDF]
arXiv, 2017 We provide formal semantics for a large subset of the Lua programming language, in its version 5.2. We validate our model by mechanizing it and testing it against the test suite of the reference interpreter of Lua, confirming that our model accurately represents the language.
arxiv
An Embedded Rule-Based Diagnostic Expert System in Ada [PDF]
Ada is becoming an increasingly popular programming language for large Government-funded software projects. Ada with it portability, transportability, and maintainability lends itself well to today's complex programming environment.
Jones, Robert E., Liberman, Eugene M.
core +1 more source
Phobos: A front-end approach to extensible compilers (long version) [PDF]
, 2002 This paper describes a practical approach for implementing certain types of domain-specific languages with extensible compilers. Given a compiler with one or more front-end languages, we introduce the idea of a "generic" front-end that allows the ...
Granicz, Adam, Hickey, Jason
core +2 more sources
Termination Casts: A Flexible Approach to Termination with General Recursion
, 2010 This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types.
A. Abel +24 more
core +3 more sources
Digging Into MUD With Python: mudpy, bdata, and bfit [PDF]
arXiv, 2020 Used to store the results of $\mu$SR measurements at TRIUMF, the Muon Data (MUD) file format serves as a useful and flexible scheme that is both lightweight and self-describing. The application programming interface (API) for these files is written in C and FORTRAN, languages not known for their ease of use.
arxiv
On generic context lemmas for lambda calculi with sharing [PDF]
, 2007 This paper proves several generic variants of context lemmas and thus contributes to improving the tools to develop observational semantics that is based on a reduction semantics for a language.
Sabel, David, Schmidt-Schauß, Manfred
core +2 more sources
Ezhil: A Tamil Programming Language [PDF]
arXiv, 2009 Ezhil is a Tamil language based interpreted procedural programming language. Tamil keywords and grammar are chosen to make the native Tamil speaker write programs in the Ezhil system. Ezhil allows easy representation of computer program closer to the Tamil language logical constructs equivalent to the conditional, branch and loop statements in modern ...
arxiv
World Trade Center responders in their own words: Predicting PTSD symptom trajectories with AI-based language analyses of interviews [PDF]
arXiv, 2020 Background: Oral histories from 9/11 responders to the World Trade Center (WTC) attacks provide rich narratives about distress and resilience. Artificial Intelligence (AI) models promise to detect psychopathology in natural language, but they have been evaluated primarily in non-clinical settings using social media.
arxiv
Realising nondeterministic I/O in the Glasgow Haskell Compiler [PDF]
, 2003 In this paper we demonstrate how to relate the semantics given by the nondeterministic call-by-need calculus FUNDIO [SS03] to Haskell. After introducing new correct program transformations for FUNDIO, we translate the core language used in the Glasgow ...
Sabel, David
core +1 more source
Beta-Testing the “Particular Machine”: The Machine-or-Transformation Test in Peril and Its Impact on Cloud Computing [PDF]
, 2012 This Issue Brief examines recent cases addressing the patent eligibility of computer-implemented method claims and their implications for the development of cloud computing technologies.
Lee, Richard M.
core +1 more source