نتایج جستجو برای: algorithmic language

تعداد نتایج: 463176  

2007
MICHAEL SPERBER WILLIAM CLINGER R. KENT DYBVIG MATTHEW FLATT ROBERT BRUCE FINDLER JACOB MATTHEWS Gerald Jay Sussman

The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele Jr. and Gerald Jay Sussman. It was designed to have an exceptionally clear and simple semantics and few different ways to form expressions. A wide variety of programming paradigms, including fu...

2006
MICHAEL SPERBER WILLIAM CLINGER R. KENT DYBVIG MATTHEW FLATT R. B. FINDLER C. T. HAYNES K. M. PITMAN D. P. FRIEDMAN E. KOHLBECKER G. J. ROZAS

The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele Jr. and Gerald Jay Sussman. It was designed to have an exceptionally clear and simple semantics and few different ways to form expressions. A wide variety of programming paradigms, including im...

2007
MICHAEL SPERBER WILLIAM CLINGER R. KENT DYBVIG MATTHEW FLATT ROBERT BRUCE FINDLER JACOB MATTHEWS

The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele Jr. and Gerald Jay Sussman. It was designed to have an exceptionally clear and simple semantics and few different ways to form expressions. A wide variety of programming paradigms, including im...

2010
Mark-Jan Nederhof

Examples of natural languages are Chinese, English and Italian. They are called natural as they evolved in a more or less natural way, without too many deliberate considerations. This sets them apart from formal languages, amongst which are programming languages, which are designed to allow easy processing by computer algorithms. Typically, programs in programming languages such as C or Java ca...

2007
MICHAEL SPERBER WILLIAM CLINGER R. KENT DYBVIG MATTHEW FLATT ROBERT BRUCE FINDLER JACOB MATTHEWS Gerald Jay Sussman

The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele Jr. and Gerald Jay Sussman. It was designed to have an exceptionally clear and simple semantics and few different ways to form expressions. A wide variety of programming paradigms, including fu...

2007
MICHAEL SPERBER WILLIAM CLINGER R. KENT DYBVIG MATTHEW FLATT ROBERT BRUCE FINDLER JACOB MATTHEWS

The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele Jr. and Gerald Jay Sussman. It was designed to have an exceptionally clear and simple semantics and few different ways to form expressions. A wide variety of programming paradigms, including im...

2013
Yue Zhao

This paper covers the present situation and problem of experimental teaching of mathematics specialty in recent years, puts forward and demonstrates experimental teaching methods for different education. From the aspects of content and experimental teaching approach, uses as an example the course “Experiment for Program Designing & Algorithmic Language” and discusses teaching practice and labor...

1994
S. Yu

The abstraction gap between algorithms and procedures causes numerous duplicate eeorts in implementing the same algorithms as well as apparent under-use of many eecient algorithms. A solution to this problem is to realize algorithmic abstraction at the programming language level in addition to data abstraction. In this paper, we rst discuss the two conditions for a programming language to suppo...

1996
Duncan K G Campbell

Algorithmic skeletons are seen as being high level parallel programming language constructs encapsulating the expression of parallelism communication synchronisa tion embedding and costing This report examines the classi cation of algorithmic skeletons proposing one classi cation and examining others which have been devised Various algorithmic skeletons are examined and these are categorised to...

Journal: :Electronic proceedings in theoretical computer science 2022

I would like to tell a story. A story about beautiful mathematical relationship that elucidates the computational view on classic subject of trigonometry. All stories need language, and for this particular an algorithmic language ought do well. What makes algorithmic? From our perspective as functional programming community, provides means express computation in terms functions, with no impleme...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید