A Foreign Language Interface from ML to Shell.
Saved in:
| Title: | A Foreign Language Interface from ML to Shell. |
|---|---|
| Authors: | Ueno, Katsuhiro1 katsu@riec.tohoku.ac.jp, Ohori, Atsushi1 ohori@riec.tohoku.ac.jp |
| Source: | New Generation Computing. Aug2016, Vol. 34 Issue 3, p239-256. 18p. |
| Subjects: | ML (Computer program language), Metalanguage, Computer programming, Compilers (Computer programs), Programming language semantics |
| Abstract: | This paper proposes a new approach to embedding shell scripts in an ML-style typed functional language. Instead of representing each construct in the shell script language as a typed component, the proposed approach treats an untyped shell script program as a typed function. The programmer writes a shell script and specifies its type according to the intention of his/her script. The ML compiler automatically generates glue codes that serialize and de-serialize input and output data. With this embedding mechanism, an ML programmer can enjoy the full benefits of shell programming directly within an ML program. The proposed approach has been implemented in our SML# compiler. [ABSTRACT FROM AUTHOR] |
| Copyright of New Generation Computing is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 117321526 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: A Foreign Language Interface from ML to Shell. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Ueno%2C+Katsuhiro%22">Ueno, Katsuhiro</searchLink><relatesTo>1</relatesTo><i> katsu@riec.tohoku.ac.jp</i><br /><searchLink fieldCode="AR" term="%22Ohori%2C+Atsushi%22">Ohori, Atsushi</searchLink><relatesTo>1</relatesTo><i> ohori@riec.tohoku.ac.jp</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22New+Generation+Computing%22">New Generation Computing</searchLink>. Aug2016, Vol. 34 Issue 3, p239-256. 18p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22ML+%28Computer+program+language%29%22">ML (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Metalanguage%22">Metalanguage</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+programming%22">Computer programming</searchLink><br /><searchLink fieldCode="DE" term="%22Compilers+%28Computer+programs%29%22">Compilers (Computer programs)</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+language+semantics%22">Programming language semantics</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: This paper proposes a new approach to embedding shell scripts in an ML-style typed functional language. Instead of representing each construct in the shell script language as a typed component, the proposed approach treats an untyped shell script program as a typed function. The programmer writes a shell script and specifies its type according to the intention of his/her script. The ML compiler automatically generates glue codes that serialize and de-serialize input and output data. With this embedding mechanism, an ML programmer can enjoy the full benefits of shell programming directly within an ML program. The proposed approach has been implemented in our SML# compiler. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of New Generation Computing is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=117321526 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1007/s00354-016-0303-1 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 18 StartPage: 239 Subjects: – SubjectFull: ML (Computer program language) Type: general – SubjectFull: Metalanguage Type: general – SubjectFull: Computer programming Type: general – SubjectFull: Compilers (Computer programs) Type: general – SubjectFull: Programming language semantics Type: general Titles: – TitleFull: A Foreign Language Interface from ML to Shell. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Ueno, Katsuhiro – PersonEntity: Name: NameFull: Ohori, Atsushi IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 08 Text: Aug2016 Type: published Y: 2016 Identifiers: – Type: issn-print Value: 02883635 Numbering: – Type: volume Value: 34 – Type: issue Value: 3 Titles: – TitleFull: New Generation Computing Type: main |
| ResultId | 1 |
