Laboratory activities for studying the formal semantics of programming languages
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 168 |
|---|---|
| container_issue | |
| container_start_page | 162 |
| container_title | |
| container_volume | |
| creator | Kurtz, Barry L. |
| description | |
| doi_str_mv | 10.1145/107004.107034 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>proquest_acm_b</sourceid><recordid>TN_cdi_proquest_miscellaneous_30870535</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>30870535</sourcerecordid><originalsourceid>FETCH-LOGICAL-a2784-fedde4b4666dfe1f15af43dfc6d33581c776db1bea014118619e3d446dd1364c3</originalsourceid><addsrcrecordid>eNqNkEtLxDAUhQMqOI6zdN-VKzveO0mTdCmDLxjQha5DmkeNthNtUmH-vVNGcOvqwOHjcPgIuUBYIrLqGkEAsOUUlB2RM5C1qJEKUR-TGUAtSslQnpJFSu8AgLgCyVcz8rzRTRx0jsOu0CaH75CDS4WPQ5HyaHdh2xb5zU1Fr7siuV5vczCpiL74HGI76L6fmE5v21G3Lp2TE6-75Ba_OSevd7cv64dy83T_uL7ZlHolJCu9s9axhnHOrXfosdKeUesNt5RWEo0Q3DbYOA3IECXH2lHLGLcWKWeGzsnlYXf_4mt0Kas-JOO6_REXx6QoSAEVrf5AbXrVxPiRFIKapKmDNHWQtgev_gWqZgjO0x-iAGvf</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype><pqid>30870535</pqid></control><display><type>conference_proceeding</type><title>Laboratory activities for studying the formal semantics of programming languages</title><source>ACM Digital Library Complete</source><creator>Kurtz, Barry L.</creator><creatorcontrib>Kurtz, Barry L.</creatorcontrib><identifier>ISSN: 0097-8418</identifier><identifier>ISBN: 0897913779</identifier><identifier>ISBN: 9780897913775</identifier><identifier>DOI: 10.1145/107004.107034</identifier><language>eng</language><publisher>New York, NY, USA: ACM</publisher><subject>Social and professional topics -- Professional topics -- Computing education -- Computing education programs -- Computer science education ; Software and its engineering -- Software notations and tools -- General programming languages -- Language types ; Theory of computation -- Logic -- Constraint and logic programming ; Theory of computation -- Semantics and reasoning -- Program reasoning -- Parsing ; Theory of computation -- Semantics and reasoning -- Program semantics</subject><ispartof>Proceedings of the twenty-second SIGCSE technical symposium on Computer science education, 1991, p.162-168</ispartof><rights>1991 ACM</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>309,310,780,784,789,790,23930,23931,25140,27925</link.rule.ids></links><search><creatorcontrib>Kurtz, Barry L.</creatorcontrib><title>Laboratory activities for studying the formal semantics of programming languages</title><title>Proceedings of the twenty-second SIGCSE technical symposium on Computer science education</title><subject>Social and professional topics -- Professional topics -- Computing education -- Computing education programs -- Computer science education</subject><subject>Software and its engineering -- Software notations and tools -- General programming languages -- Language types</subject><subject>Theory of computation -- Logic -- Constraint and logic programming</subject><subject>Theory of computation -- Semantics and reasoning -- Program reasoning -- Parsing</subject><subject>Theory of computation -- Semantics and reasoning -- Program semantics</subject><issn>0097-8418</issn><isbn>0897913779</isbn><isbn>9780897913775</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>1991</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNqNkEtLxDAUhQMqOI6zdN-VKzveO0mTdCmDLxjQha5DmkeNthNtUmH-vVNGcOvqwOHjcPgIuUBYIrLqGkEAsOUUlB2RM5C1qJEKUR-TGUAtSslQnpJFSu8AgLgCyVcz8rzRTRx0jsOu0CaH75CDS4WPQ5HyaHdh2xb5zU1Fr7siuV5vczCpiL74HGI76L6fmE5v21G3Lp2TE6-75Ba_OSevd7cv64dy83T_uL7ZlHolJCu9s9axhnHOrXfosdKeUesNt5RWEo0Q3DbYOA3IECXH2lHLGLcWKWeGzsnlYXf_4mt0Kas-JOO6_REXx6QoSAEVrf5AbXrVxPiRFIKapKmDNHWQtgev_gWqZgjO0x-iAGvf</recordid><startdate>19910301</startdate><enddate>19910301</enddate><creator>Kurtz, Barry L.</creator><general>ACM</general><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19910301</creationdate><title>Laboratory activities for studying the formal semantics of programming languages</title><author>Kurtz, Barry L.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a2784-fedde4b4666dfe1f15af43dfc6d33581c776db1bea014118619e3d446dd1364c3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>1991</creationdate><topic>Social and professional topics -- Professional topics -- Computing education -- Computing education programs -- Computer science education</topic><topic>Software and its engineering -- Software notations and tools -- General programming languages -- Language types</topic><topic>Theory of computation -- Logic -- Constraint and logic programming</topic><topic>Theory of computation -- Semantics and reasoning -- Program reasoning -- Parsing</topic><topic>Theory of computation -- Semantics and reasoning -- Program semantics</topic><toplevel>online_resources</toplevel><creatorcontrib>Kurtz, Barry L.</creatorcontrib><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Kurtz, Barry L.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Laboratory activities for studying the formal semantics of programming languages</atitle><btitle>Proceedings of the twenty-second SIGCSE technical symposium on Computer science education</btitle><date>1991-03-01</date><risdate>1991</risdate><spage>162</spage><epage>168</epage><pages>162-168</pages><issn>0097-8418</issn><isbn>0897913779</isbn><isbn>9780897913775</isbn><cop>New York, NY, USA</cop><pub>ACM</pub><doi>10.1145/107004.107034</doi><tpages>7</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0097-8418 |
| ispartof | Proceedings of the twenty-second SIGCSE technical symposium on Computer science education, 1991, p.162-168 |
| issn | 0097-8418 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_30870535 |
| source | ACM Digital Library Complete |
| subjects | Social and professional topics -- Professional topics -- Computing education -- Computing education programs -- Computer science education Software and its engineering -- Software notations and tools -- General programming languages -- Language types Theory of computation -- Logic -- Constraint and logic programming Theory of computation -- Semantics and reasoning -- Program reasoning -- Parsing Theory of computation -- Semantics and reasoning -- Program semantics |
| title | Laboratory activities for studying the formal semantics of programming languages |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-28T17%3A07%3A30IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_acm_b&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Laboratory%20activities%20for%20studying%20the%20formal%20semantics%20of%20programming%20languages&rft.btitle=Proceedings%20of%20the%20twenty-second%20SIGCSE%20technical%20symposium%20on%20Computer%20science%20education&rft.au=Kurtz,%20Barry%20L.&rft.date=1991-03-01&rft.spage=162&rft.epage=168&rft.pages=162-168&rft.issn=0097-8418&rft.isbn=0897913779&rft.isbn_list=9780897913775&rft_id=info:doi/10.1145/107004.107034&rft_dat=%3Cproquest_acm_b%3E30870535%3C/proquest_acm_b%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=30870535&rft_id=info:pmid/&rfr_iscdi=true |