
	Where results make sense

Topic: SASL programming language

	Miranda programming language - Wikipedia, the free encyclopedia
		Miranda is a non-strict purely functional programming language developed by Professor David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope.
		The solution to most example problems is briefer and simpler in Miranda than in any other programming language except maybe APL, and experience with its use in industry has shown programmers to produce more reliable programs with shorter development times than with their preferred imperative programming languages.
		The later Haskell programming language is similar in many ways to Miranda.
	en.wikipedia.org /wiki/Miranda_programming_language (1010 words)

	Java SASL API
		SASL defines how authentication data is to be exchanged but does not itself specify the contents of that data.
		SASL is used by protocols, such as the Lightweight Directory Access Protocol, version 3 (LDAP v3), and the Internet Message Access Protocol, version 4 (IMAP v4) to enable pluggable authentication.
		SASL mechanisms are installed by using the Java Cryptography Architecture (JCA).
	java.sun.com /j2se/1.5.0/docs/guide/security/sasl/sasl-refguide.html (3449 words)

	The Miranda Programming Language
		Miranda was the successor of the functional languages SASL and KRC.
		In Non-Strict functional languages, the arguments to a function are not evaluated until they are actually required within the functions being called.
		This is also known as lazy evaluation, and the main advantage of using this method is that it allows for passing infinite element data structures to a function.
	www.engin.umd.umich.edu /CIS/course.des/cis400/miranda/miranda.html (309 words)

	Computing Languages List
		The language is suitable for expressing a large class of numerical processor in a form sufficiently concise for direct automatic translation into the language of programmed automatic computers.
		The algorithmic language has three different kinds of representations- reference, hardware, and publication, and the development described is in terms of the language are represented by a given set of symbols and it is only in the choice of symbols that the other two representations may differ.
		ICI- is a language with dynamic, object-based data model with the flow control constructs and operators of C. It is designed for use in many environments, including embedded systems, as an adjunct to other programs and as a text-based interface to compiled libraries.
	www.hypernews.org /HyperNews/get/computing/lang-list.html (17532 words)

	Catalog of compilers, interpreters, and other language tools [p4of5] (Site not responding. Last check: 2007-11-06)
		Both programs accept a cost-augmented tree grammar and emit a C program that discovers an optimal parse of trees in the language described by the grammar.
		A small language that defines input/output/error token names (and values), semantic operations (which are really escapes to a programming language but allow good abstration in the pseudo-code), and a pseudo-code program that defines a grammar by the token stream the program accepts.
		TXL is a functional/rule-based hybrid programming language, using the paradigm of structural transformation.
	www.faqs.org /faqs/compilers/free/part4 (8311 words)

	Free Programming Tools, free compilers, free software components and libraries
		Reference document for the D programming language, which is a successor to C and C++.
		A high-level, array-oriented, multi-purpose programming language (an APL successor).
		The parallel program is a directed graph, where data flows on arcs connecting the nodes representing the sequential programs.
	www.freebyte.com /programming (3544 words)

	Catalog of compilers: logic programming languages expanded
		The foundation of ALF is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming.
		Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features.
		Lambda-Prolog, a logic programming language defined by Miller, is an extension of Prolog where terms are simply typed $\lambda$terms and clauses are higher order hereditary Harrop formulas.
	www.idiom.com /free-compilers/ECATEGORY/logicpro-1.html (1802 words)

	SASL from FOLDOC (Site not responding. Last check: 2007-11-06)
		A functional programming language designed by Professor David Turner in 1976.
		SASL is a derivative of ISWIM with infinite data structures.
		It was designed for teaching functional programming, with very simple syntax.
	www.instantweb.com /d/dictionary/foldoc.cgi?SASL (111 words)

	O'Reilly Network: Using SASL: CMU's Cyrus SASL Library
		SASL shifts the burden of picking and choosing the technologies used for authentication, integrity checking, and privacy from you, the application writer, to the network administrator.
		The native library is written in the C programming language, and it also comes with a Java interface.
		Cyrus SASL has a lot of callbacks, and although some are "generic," most are either server-only or client-only.
	www.oreillynet.com /pub/a/network/2002/04/30/sasl2.html (1351 words)

	SISAL
		SISAL is the Streams and Iteration in a Single Assignment Language.
		It is a general-purpose single assignment functional programming language with strict semantics, automatic parallelisation and efficient array handling.
		It has a Pascal-like syntax and was designed to be a common high-level language for numerical programs on a variety of multiprocessors.
	www.brainyencyclopedia.com /encyclopedia/s/si/sisal.html (232 words)

	The Java Community Process(SM) Program - JSRs: Java Specification Requests - detail JSR# 28
		Simple Authentication and Security Layer (SASL) specifies a challenge-response protocol in which data is exchanged between the client and the server for the purposes of authentication and (optional) establishment of a security layer on which to carry on subsequent communications.
		Protocol libraries written in the Java programming language that support SASL, such as LDAP v3 and IMAP v4, currently support SASL in an adhoc manner.
		The SASL negotiation protocol is defined by RFC 2222.
	jcp.org /en/jsr/detail?id=28 (501 words)

	Scottish Programming Language Seminar \| Lambda the Ultimate
		This is the third meeting of SPLS, and its great to see that SPLS has already grown into what it was intended to be: a robust forum for language researchers in Scotland (and beyond).
		We had in attendance thirty or forty programming language researchers, from U of Edinburgh, Heriot Watt, U of Glasgow, Strathclyde, and St Andrews, as well as speakers from Nottingham and Hertfordshire, both of whom had traveled to Edinburgh just for the occasion.
		If the person who wrote the paper believed that imperative languages were better than functional languages, thenthat is what his experiments proved, and if the person who wrote the paper believed the opposite then his experiments proved the opposite.
	lambda-the-ultimate.org /node/view/796 (1053 words)

	[No title] (Site not responding. Last check: 2007-11-06)
		Work is scheduled to happen: at the a-rate (the audio sample rate) at the k-rate (envelope control rate) at the i-rate (rate for new notes) Language variables are typed as a/k/i-rate.
		A language statement is scheduled based on the rate of the variables it contains.¡6¢r¢ró¨SAOL, SASL, and Scheduling:¨Sound creation in MP4-SA can be compared to a musician playing notes on an instrument.
		Scheduler and language support for MIDI and SASL scores.¡•• ó4¨Spectrum of implementationsª ó ¨Sfront - a SAOL-to-C translator¡ ªª ód,¨Sfront Benchmarksª ó;¨Sfront Performance Summary:ª¨Rendering (file decoding): benchmark suite of MP4-SA streams decodes in a time equivalent to the audio it generates (400 Mhz Ultrasparc & 450 Mhz Pentium).
	iram.cs.berkeley.edu /~johnw/talks/WE-mpeg4-01.ppt (1133 words)

	The Java Community Process(SM) Program - JSRs: Java Specification Requests - detail JSR# 176
		Your opinions will help improve the JCP program to better meet the needs of Java developers and organizations that depend on Java technology.
		The focus on XML and web services clienst is to ensure that client application written in the Java language can take full advantage of these technologies.
		Finally, the Java language and platform have been designed with ease of development in mind, this role of this theme is to drive further enhancements in this area for individual developers and developers of tools.
	www.jcp.org /en/jsr/detail?id=176 (1007 words)

	ITworld.com - JAVA SECURITY - JSR 28: SASL and Java Proposed final draft available
		SASL (Simple Authentication and Security Layer) is a mechanism for adding client authentication to connection-based protocols such as those used by LDAP v3 and IMAP v4.
		JSR 28 defines a SASL client and server API for the Java programming language.
		Public Review of the specification completed on September 14 of last year, and the Proposed Final Draft of the specification was subsequently released on November 13.
	www.itworld.com /nl/java_sec/01112002/pf_index.html (129 words)

	The MPEG-4 Structured Audio Book
		Eric Scheirer) that specifies sound not as audio data, but as a computer program that generates audio when run.
		Performance is sound moving in time: notes play in sequence to make a melody, faders sweep across a mixing console to blend a performance, etc.
		In MP4-SA, the score language SASL (pronounced "sassil"), the MIDI standard, and the SAOL language itself are all available to support sound sequencing.
	www.cs.berkeley.edu /~lazzaro/sa/book/index.html (197 words)

	ISWIM : ISWIM programming language (Site not responding. Last check: 2007-11-06)
		ISWIM is a programming language devised by Peter J. Landin[?] and first described in his article, The next 700 programming languages, published in the CACM in 1966.
		It has proved very influential in the development of functional programming languages such as SASL[?], Miranda, ML and their successors.
		It uses material from the wikipedia article ISWIM : ISWIM programming language.
	www.eurofreehost.com /is/ISWIM_programming_language.html (146 words)

	Computer Programming Languages - Y (Site not responding. Last check: 2007-11-06)
		Used as a source language for the Davidson/Fraser peephole optimizer.
		Language used by the Yacc LALR parser generator.
		A language proposed to meet the Ironman requirements which led to Ada.
	www.heuse.com /y.htm (272 words)

	Lect 1
		Perl is an interpreted language optimized for scanning arbitrary text files, extracting information from those text files, and printing reports based on that information.
		The language is intended to be practical (easy to use, efficient, complete) rather than beautiful (tiny, elegant, minimal).
		The program is parsed before the first statement is executed
	condor.depaul.edu /~kbernste/csc447/lect1.htm (368 words)

	Reading List for the Programming Languages and Systems PhD Exam (Site not responding. Last check: 2007-11-06)
		This is really a beginning programming book but has a wealth of good material on programming languages and on Scheme.
		The languages we would expect you to be familiar with to this level are: Ada, C, C++, Pascal, Fortran (including Fortran 90), Lisp, Scheme, ML, Prolog, some lazy evaluation functional language (SASL, Miranda, Haskell, etc.), the shell programming language, awk and Smalltalk.
		The second part of the programming languages exam consists of more advanced questions and questions for a variety of advanced courses and 491/591 special topics courses.
	www.cs.unm.edu /~crowley/phdExams/pl.rl.html (656 words)

	Lecture 10
		To reason about reactive systems and the interaction of their components, we need to be able to state temporal properties.
		To investigate current programming languages and programming environments.
		To build a group at DePaul of people with interests in programming languages and programming environments.
	condor.depaul.edu /~kbernste/csc447/lecture10.htm (723 words)

	SISAL - FOLDOC Definition
		A general-purpose single assignment functional programming language with strict semantics, automatic parallelisation and efficient arrays.
		Designed to be a common high-level language for numerical programs on a variety of multiprocessors.
		David C. Cann has written an Optimising SISAL Compiler (OSC) which attempts to make efficient use of parallel processors such as Crays.
	www.nightflight.com /foldoc-bin/foldoc.cgi?SISAL (173 words)

	December 2003 JUG Meeting (Site not responding. Last check: 2007-11-06)
		Tiger contains a number of fundamental changes including new language features and updates of core functionality such as the XML engine and the Unicode support.
		Mike Bowler is the founder of Gargoyle Software Inc., a company focused on improving software development from both a technology and a process perspective.
		On the process side, he specializes in Agile methodologies such as Extreme Programming, Scrum and Lean Development.
	www.klg.com /JUG/meetings/200312.html (191 words)

	BigAdmin Feature Article: ISV Adoption Strategy for the Solaris 10 Operating System
		Other aspects of the ABI: interpreted programs (for example, Java technology-based applications and shell scripts), use of utility commands, configuration files, and device drivers, and the like are out of the scope of these tools.
		Performance Analysis Tools: Help assess the performance of a program, identify potential performance problems and identify the section of the code where problems may be occurring.
		To participate in the Solaris 10 Early Adoption program, your company must be a registered member in the iForce Partner partner program.
	www.sun.com /bigadmin/features/articles/isv_adoption.html?feed=RSS (7587 words)

	APL language FAQ (Site not responding. Last check: 2007-11-06)
		The language was invented by Kenneth E. Iverson while at Harvard University.
		The language, originally titled "Iverson Notation", was designed to overcome the inherent ambiguities and points of confusion found when dealing with standard mathematical notation.
		Following the old Chinese proverb that a picture is worth a thousand words, the APL symbol set is the equivalent of many words in describing algorithms or procedures.
	www.faqs.org /faqs/apl-faq (3999 words)

	GCJ: The GNU Compiler for Java - GNU Project - Free Software Foundation (FSF)
		GCJ is a portable, optimizing, ahead-of-time compiler for the Java Programming Language.
		In addition to regular native programming, GCJ can be configured as a cross-compiler, suitable for embedded systems programming.
		This work includes a new ABI which allows precompiled code to follow the binary compatibility rules of the Java programming language.
	gcc.gnu.org /java (617 words)

Try your search on: Qwika (all wikis)