A programmable programming language

Felleisen, Matthias; Findler, Robert Bruce; Flatt, Matthew; Krishnamurthi, Shriram; Barzilay, Eli; McCarthy, Jay; Tobin-Hochstadt, Sam

doi:10.1145/3127323

Cited by 59 publications

(35 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The following quote taken from [10] indicates that languages like Modia are still exceptions, and that domain-specific support is still rare in general: "Programming language research is short of its ultimate goal -provide software developers tools for formulating solutions in the languages of problem domains". The ambitions of the chapter sketched below go even beyond this goal.…”

Section: Languagesmentioning

confidence: 99%

Methods, Languages and Tools for Future System Development

Steffen

2019

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Language design for simplifying programming, analysis/verification methods and tools for guaranteeing, for example, security and real-time constraints, and validation environments for increasing automation during quality assurance can all be regarded as means to factor out and generically solve specific concerns of the software development process and then reuse the corresponding solutions. In this sense, reuse, a guiding engineering principle, appears as a unifying theme in software science, and it is not surprising that the corresponding research is continuously converging. The following summary of the contributions of the second topical part of the celebration volume LNCS 10,000 aims at establishing a common perspective and indicating the state and progress of this convergence.

show abstract

Section: Languagesmentioning

confidence: 99%

Methods, Languages and Tools for Future System Development

Steffen

2019

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…3 Software ERA (Ephemeris Research in Astronomy), version 8 was used for processing the planetary and lunar observations, refining the parameters and integrating the dynamical equations [50]. ERA is based on the Racket programming platform [16,13] and has SQLite 13 as the database engine. SOFA library 14 [26] was used for conversion between terrestrial and celestial coordinates and conversion between various time scales.…”

Section: Earth Orientation Parametersmentioning

confidence: 99%

Role of lunar laser ranging in realization of terrestrial, lunar, and ephemeris reference frames

Pavlov

2019

J Geod

View full text Add to dashboard Cite

Three possible applications of lunar laser ranging to space geodesy are studied. First, the determination of daily Earth orientation parameters (UT0 and variation of latitude), which is rarely used nowadays in presence of all-year VLBI, SLR, and GNSS data. The second application is the determination of two (out of three) lunar orientation parameters, i.e. daily corrections to the rotational ephemeris of the Moon. It may be of importance for the future lunar satellite-based navigational systems. The third application is the tie of ephemeris frame (BCRF) to the ICRF. It has been studied before, though in this work it is extensively compared to another realization of the same tie, obtained by spacecraft VLBI observations; also, two different EOP series and two different models of tidal variations of geopotential are applied, with different outcomes on the tie.The EPM lunar-planetary ephemeris, along with its underlying dynamical model and software, was used to obtain the presented results. All available observations were processed, since the earliest made at the end of 1969 at the McDonald observatory till the end of July 2019 (Matera, Grasse and also Wettzell observatory which began to provide data in 2018). The results and some open questions are discussed.

show abstract

“…The vector-programming frustration beginners endure, of course, affects the quality of their design and of their code. This makes it difficult for others to understand how they solved a problem-a fundamental pillar of programming [6]. Furthermore, they develop the bad habit to patch their code instead of properly designing their code.…”

Section: Introductionmentioning

confidence: 99%

Vector Programming Using Generative Recursion

Morazán

2019

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Vector programming is an important topic in many Introduction to Computer Science courses. Despite the importance of vectors, learning vector programming is a source of frustration for many students. Much of the frustration is rooted in discovering the source of bugs that are manifested as out-of-bounds indexing. The problem is that such bugs are, sometimes, rooted in incorrectly computing an index. Other times, however, these errors are rooted in mistaken reasoning about how to correctly process a vector. Unfortunately, either way, all too often beginners are left adrift to resolve indexing errors on their own. This article extends the work done on vector programming using vector intervals and structural recursion to using generative recursion. As for problems solved using structural recursion, vector intervals provide beginners with a useful framework for designing code that properly indexes vectors. This article presents the methodology and concrete examples that others may use to build their own CS1 modules involving vector programming using any programming language.

show abstract

A programmable programming language

Abstract: As the software industry enters the era of language-oriented programming, it needs programmable programming languages.

Cited by 59 publications

References 27 publications

Methods, Languages and Tools for Future System Development

Methods, Languages and Tools for Future System Development

Role of lunar laser ranging in realization of terrestrial, lunar, and ephemeris reference frames

Vector Programming Using Generative Recursion

Contact Info

Product

Resources

About