Eintrag weiter verarbeiten
Fortifying macros
Gespeichert in:
| Zeitschriftentitel: | ACM SIGPLAN Notices |
|---|---|
| Personen und Körperschaften: | , |
| In: | ACM SIGPLAN Notices, 45, 2010, 9, S. 235-246 |
| Format: | E-Article |
| Sprache: | Englisch |
| veröffentlicht: |
Association for Computing Machinery (ACM)
|
| Schlagwörter: |
| author_facet |
Culpepper, Ryan Felleisen, Matthias Culpepper, Ryan Felleisen, Matthias |
|---|---|
| author |
Culpepper, Ryan Felleisen, Matthias |
| spellingShingle |
Culpepper, Ryan Felleisen, Matthias ACM SIGPLAN Notices Fortifying macros Computer Graphics and Computer-Aided Design Software |
| author_sort |
culpepper, ryan |
| spelling |
Culpepper, Ryan Felleisen, Matthias 0362-1340 1558-1160 Association for Computing Machinery (ACM) Computer Graphics and Computer-Aided Design Software http://dx.doi.org/10.1145/1932681.1863577 <jats:p>Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of the specification and thus produce low-quality language extensions. If they choose robustness, they must write in a style that mingles the implementation with the specification and therefore obscures the latter.</jats:p> <jats:p>This paper introduces a new language for writing macros. With the new macro system, programmers naturally write robust language extensions using easy-to-understand specifications. The system translates these specifications into validators that detect misuses - including violations of context-sensitive constraints - and automatically synthesize appropriate feedback, eliminating the need for ad hoc validation code.</jats:p> Fortifying macros ACM SIGPLAN Notices |
| doi_str_mv |
10.1145/1932681.1863577 |
| facet_avail |
Online |
| finc_class_facet |
Informatik |
| format |
ElectronicArticle |
| fullrecord |
blob:ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTE0NS8xOTMyNjgxLjE4NjM1Nzc |
| id |
ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTE0NS8xOTMyNjgxLjE4NjM1Nzc |
| institution |
DE-Zi4 DE-15 DE-105 DE-14 DE-Ch1 |
| imprint |
Association for Computing Machinery (ACM), 2010 |
| imprint_str_mv |
Association for Computing Machinery (ACM), 2010 |
| issn |
0362-1340 1558-1160 |
| issn_str_mv |
0362-1340 1558-1160 |
| language |
English |
| mega_collection |
Association for Computing Machinery (ACM) (CrossRef) |
| match_str |
culpepper2010fortifyingmacros |
| publishDateSort |
2010 |
| publisher |
Association for Computing Machinery (ACM) |
| recordtype |
ai |
| record_format |
ai |
| series |
ACM SIGPLAN Notices |
| source_id |
49 |
| title |
Fortifying macros |
| title_unstemmed |
Fortifying macros |
| title_full |
Fortifying macros |
| title_fullStr |
Fortifying macros |
| title_full_unstemmed |
Fortifying macros |
| title_short |
Fortifying macros |
| title_sort |
fortifying macros |
| topic |
Computer Graphics and Computer-Aided Design Software |
| url |
http://dx.doi.org/10.1145/1932681.1863577 |
| publishDate |
2010 |
| physical |
235-246 |
| description |
<jats:p>Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of the specification and thus produce low-quality language extensions. If they choose robustness, they must write in a style that mingles the implementation with the specification and therefore obscures the latter.</jats:p>
<jats:p>This paper introduces a new language for writing macros. With the new macro system, programmers naturally write robust language extensions using easy-to-understand specifications. The system translates these specifications into validators that detect misuses - including violations of context-sensitive constraints - and automatically synthesize appropriate feedback, eliminating the need for ad hoc validation code.</jats:p> |
| container_issue |
9 |
| container_start_page |
235 |
| container_title |
ACM SIGPLAN Notices |
| container_volume |
45 |
| format_de105 |
Article, E-Article |
| format_de14 |
Article, E-Article |
| format_de15 |
Article, E-Article |
| format_de520 |
Article, E-Article |
| format_de540 |
Article, E-Article |
| format_dech1 |
Article, E-Article |
| format_ded117 |
Article, E-Article |
| format_degla1 |
E-Article |
| format_del152 |
Buch |
| format_del189 |
Article, E-Article |
| format_dezi4 |
Article |
| format_dezwi2 |
Article, E-Article |
| format_finc |
Article, E-Article |
| format_nrw |
Article, E-Article |
| _version_ |
1792347984397074437 |
| geogr_code |
not assigned |
| last_indexed |
2024-03-01T18:03:34.333Z |
| geogr_code_person |
not assigned |
| openURL |
url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Fortifying+macros&rft.date=2010-09-27&genre=article&issn=1558-1160&volume=45&issue=9&spage=235&epage=246&pages=235-246&jtitle=ACM+SIGPLAN+Notices&atitle=Fortifying+macros&aulast=Felleisen&aufirst=Matthias&rft_id=info%3Adoi%2F10.1145%2F1932681.1863577&rft.language%5B0%5D=eng |
| SOLR | |
| _version_ | 1792347984397074437 |
| author | Culpepper, Ryan, Felleisen, Matthias |
| author_facet | Culpepper, Ryan, Felleisen, Matthias, Culpepper, Ryan, Felleisen, Matthias |
| author_sort | culpepper, ryan |
| container_issue | 9 |
| container_start_page | 235 |
| container_title | ACM SIGPLAN Notices |
| container_volume | 45 |
| description | <jats:p>Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of the specification and thus produce low-quality language extensions. If they choose robustness, they must write in a style that mingles the implementation with the specification and therefore obscures the latter.</jats:p> <jats:p>This paper introduces a new language for writing macros. With the new macro system, programmers naturally write robust language extensions using easy-to-understand specifications. The system translates these specifications into validators that detect misuses - including violations of context-sensitive constraints - and automatically synthesize appropriate feedback, eliminating the need for ad hoc validation code.</jats:p> |
| doi_str_mv | 10.1145/1932681.1863577 |
| facet_avail | Online |
| finc_class_facet | Informatik |
| format | ElectronicArticle |
| format_de105 | Article, E-Article |
| format_de14 | Article, E-Article |
| format_de15 | Article, E-Article |
| format_de520 | Article, E-Article |
| format_de540 | Article, E-Article |
| format_dech1 | Article, E-Article |
| format_ded117 | Article, E-Article |
| format_degla1 | E-Article |
| format_del152 | Buch |
| format_del189 | Article, E-Article |
| format_dezi4 | Article |
| format_dezwi2 | Article, E-Article |
| format_finc | Article, E-Article |
| format_nrw | Article, E-Article |
| geogr_code | not assigned |
| geogr_code_person | not assigned |
| id | ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTE0NS8xOTMyNjgxLjE4NjM1Nzc |
| imprint | Association for Computing Machinery (ACM), 2010 |
| imprint_str_mv | Association for Computing Machinery (ACM), 2010 |
| institution | DE-Zi4, DE-15, DE-105, DE-14, DE-Ch1 |
| issn | 0362-1340, 1558-1160 |
| issn_str_mv | 0362-1340, 1558-1160 |
| language | English |
| last_indexed | 2024-03-01T18:03:34.333Z |
| match_str | culpepper2010fortifyingmacros |
| mega_collection | Association for Computing Machinery (ACM) (CrossRef) |
| physical | 235-246 |
| publishDate | 2010 |
| publishDateSort | 2010 |
| publisher | Association for Computing Machinery (ACM) |
| record_format | ai |
| recordtype | ai |
| series | ACM SIGPLAN Notices |
| source_id | 49 |
| spelling | Culpepper, Ryan Felleisen, Matthias 0362-1340 1558-1160 Association for Computing Machinery (ACM) Computer Graphics and Computer-Aided Design Software http://dx.doi.org/10.1145/1932681.1863577 <jats:p>Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of the specification and thus produce low-quality language extensions. If they choose robustness, they must write in a style that mingles the implementation with the specification and therefore obscures the latter.</jats:p> <jats:p>This paper introduces a new language for writing macros. With the new macro system, programmers naturally write robust language extensions using easy-to-understand specifications. The system translates these specifications into validators that detect misuses - including violations of context-sensitive constraints - and automatically synthesize appropriate feedback, eliminating the need for ad hoc validation code.</jats:p> Fortifying macros ACM SIGPLAN Notices |
| spellingShingle | Culpepper, Ryan, Felleisen, Matthias, ACM SIGPLAN Notices, Fortifying macros, Computer Graphics and Computer-Aided Design, Software |
| title | Fortifying macros |
| title_full | Fortifying macros |
| title_fullStr | Fortifying macros |
| title_full_unstemmed | Fortifying macros |
| title_short | Fortifying macros |
| title_sort | fortifying macros |
| title_unstemmed | Fortifying macros |
| topic | Computer Graphics and Computer-Aided Design, Software |
| url | http://dx.doi.org/10.1145/1932681.1863577 |