Skip to search formSkip to main contentSkip to account menu

SASL

Known as: SASL programming language 
SASL (from St Andrews Static Language, alternatively St Andrews Standard Language) is a purely functional programming language developed by David… 
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
Assignment (computer science)David Turner (computer scientist)Functional programmingGenerational list of programming languages

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
On the performance of selective adaptation in state lattices for mobile robot motion planning in cluttered environments
Autonomous mobile robots require motion planning algorithms that match limitations of on-board computing resources to safely… 
2013
2013
A Parallelized Theorem Prover for a Logic with Parallel Execution
In order to take best advantage of modern multi-core systems, interactive theorem provers need to parallelize execution… 
2010
2010
A mobile Deaf-to-hearing communication aid for medical diagnosis
This paper describes how a deaf to hearing communication aid built for a mobile phone can be used to provide semi-synchronous… 
2010
2010
Protecting Next Generation High Speed Network Protocol - UDT through Generic Security Service Application Program Interface - GSS-API
Network protocols do not solely rely on the lower layers of the stack for security. Many of these protocols rely on a combination… 
2009
2009
A Platform to Develop a Secure Instant Messaging Using Jabber Protocol
Problem statement: Open Source technologies are interesting in that they allow free experimentation and integration by anyone and… 
Review
2005
Review
2005
Usage statistics and usage patterns on the NorduGrid : Analyzing the logging information collected on one of the largest production Grids of the world
The Nordic Grid facility (NorduGrid [1]) came into operation during summer 2002 when the Scandinavian ATLAS HEP group started to… 
2005
2005
Using GSS-API Mechanisms in SASL: The GS2 Mechanism Family
This document describes how to use a Generic Security Service Application Program Interface mechanism in the the Simple… 
1988
1988
Statistics on graph reduction of SASL programs
The execution has been studied of four small and four medium‐sized SASL programs, when interpreted by a variant of Turner's… 
1985
1985
Yacc in sasl — an exercise in functional programming
Among the advantages claimed for a purely functional programming style is ease of designing and implementing large programs… 
Review
1984
Review
1984
An overview of ARC SASL
The programming language is purely applicative, and contains no imperatives--for example, assignment operations--of any kind. A… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)