Yu. A. Klimov, “SOOL: an object-oriented stacked-based language for specification and implementation of program specialization techniques”, Keldysh Institute preprints, 2008, 044, 32 pp.

Preprints of the Keldysh Institute of Applied Mathematics

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	General information
	Latest issue
	Archive

	Search papers
	Search references

	RSS
	Latest issue
	Current issues
	Archive issues
	What is RSS

Keldysh Institute preprints:
Year:
Volume:
Issue:
Page:
	Find

Personal entry:
Login:
Password:
	Save password
	Enter
	Forgotten password?
	Register

Preprints of the Keldysh Institute of Applied Mathematics, 2008, 044, 32 pp. (Mi ipmp396)

This article is cited in 5 scientific papers (total in 5 papers)

SOOL: an object-oriented stacked-based language for specification and implementation of program specialization techniques

Yu. A. Klimov

Full-text PDF (425 kB) Citations (5)

References:

PDF

HTML

Abstract: The paper presents SOOL, an object-oriented stack-based language, which is similar to the internal languages of the platforms Java and Microsoft .NET. The language is meant for specification and implementation of program specialization techniques. In particular, SOOL has been used as the internal language of the program specializer CILPE. A formal description of the syntax, semantics and typing system of the language is given.

Document Type: Preprint

Language: Russian

Citation: Yu. A. Klimov, “SOOL: an object-oriented stacked-based language for specification and implementation of program specialization techniques”, Keldysh Institute preprints, 2008, 044, 32 pp.

Citation in format AMSBIB

\Bibitem{Kli08}

\by Yu.~A.~Klimov

\paper SOOL: an object-oriented stacked-based language for specification and implementation of program specialization techniques

\jour Keldysh Institute preprints

\yr 2008

\papernumber 044

\totalpages 32

\mathnet{http://mi.mathnet.ru/ipmp396}

Linking options:

https://www.mathnet.ru/eng/ipmp396

https://www.mathnet.ru/eng/ipmp/y2008/p44

This publication is cited in the following 5 articles:

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Препринты Института прикладной математики им. М. В. Келдыша РАН

Что такое QR-код?

Registration to the website

Logotypes