Loading…

Lambda-dropping : transforming recursive equations into programs with block structure: Partial Evaluation and Semantics-Based Program Manipulation

Saved in:

Bibliographic Details
Published in:	Theoretical computer science 2000, Vol.248 (1-2), p.243-287
Main Authors:	DANVY, Olivier, SCHULTZ, Ulrik P
Format:	Article
Language:	English
Subjects:	Applied sciences Computer science control theory systems Exact sciences and technology Language theory and syntactical analysis Programming languages Programming theory Software Theoretical computing
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

cited_by
cites
container_end_page	287
container_issue	1-2
container_start_page	243
container_title	Theoretical computer science
container_volume	248
creator	DANVY, Olivier SCHULTZ, Ulrik P
description
format	article
fullrecord	<record><control><sourceid>pascalfrancis</sourceid><recordid>TN_cdi_pascalfrancis_primary_1520196</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>1520196</sourcerecordid><originalsourceid>FETCH-pascalfrancis_primary_15201963</originalsourceid><addsrcrecordid>eNqNjb0KwjAURjMoWH_eIYNrIbW2pa6iODjqLLdpWqNNE-9NFN_eCj6A33I4cOAbsUikYh2nZZFN2JToJoZlRR6x8xFMVUNco3VO9y3fcI_QU2PRfBWVDEj6qbh6BPDa9sR17y13aFsEQ_yl_ZVXnZV3Th6D9AHVnI0b6Egtfpyx5X532h5iBySha4YHqeniUBvA9yXJViIp8_TP7AN11kMC</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Lambda-dropping : transforming recursive equations into programs with block structure: Partial Evaluation and Semantics-Based Program Manipulation</title><source>ScienceDirect Freedom Collection</source><creator>DANVY, Olivier ; SCHULTZ, Ulrik P</creator><creatorcontrib>DANVY, Olivier ; SCHULTZ, Ulrik P</creatorcontrib><identifier>ISSN: 0304-3975</identifier><identifier>CODEN: TCSCDI</identifier><language>eng</language><publisher>Amsterdam: Elsevier</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Exact sciences and technology ; Language theory and syntactical analysis ; Programming languages ; Programming theory ; Software ; Theoretical computing</subject><ispartof>Theoretical computer science, 2000, Vol.248 (1-2), p.243-287</ispartof><rights>2000 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,4024</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=1520196$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>DANVY, Olivier</creatorcontrib><creatorcontrib>SCHULTZ, Ulrik P</creatorcontrib><title>Lambda-dropping : transforming recursive equations into programs with block structure: Partial Evaluation and Semantics-Based Program Manipulation</title><title>Theoretical computer science</title><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Language theory and syntactical analysis</subject><subject>Programming languages</subject><subject>Programming theory</subject><subject>Software</subject><subject>Theoretical computing</subject><issn>0304-3975</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2000</creationdate><recordtype>article</recordtype><recordid>eNqNjb0KwjAURjMoWH_eIYNrIbW2pa6iODjqLLdpWqNNE-9NFN_eCj6A33I4cOAbsUikYh2nZZFN2JToJoZlRR6x8xFMVUNco3VO9y3fcI_QU2PRfBWVDEj6qbh6BPDa9sR17y13aFsEQ_yl_ZVXnZV3Th6D9AHVnI0b6Egtfpyx5X532h5iBySha4YHqeniUBvA9yXJViIp8_TP7AN11kMC</recordid><startdate>2000</startdate><enddate>2000</enddate><creator>DANVY, Olivier</creator><creator>SCHULTZ, Ulrik P</creator><general>Elsevier</general><scope>IQODW</scope></search><sort><creationdate>2000</creationdate><title>Lambda-dropping : transforming recursive equations into programs with block structure</title><author>DANVY, Olivier ; SCHULTZ, Ulrik P</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-pascalfrancis_primary_15201963</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2000</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Language theory and syntactical analysis</topic><topic>Programming languages</topic><topic>Programming theory</topic><topic>Software</topic><topic>Theoretical computing</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>DANVY, Olivier</creatorcontrib><creatorcontrib>SCHULTZ, Ulrik P</creatorcontrib><collection>Pascal-Francis</collection><jtitle>Theoretical computer science</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>DANVY, Olivier</au><au>SCHULTZ, Ulrik P</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Lambda-dropping : transforming recursive equations into programs with block structure: Partial Evaluation and Semantics-Based Program Manipulation</atitle><jtitle>Theoretical computer science</jtitle><date>2000</date><risdate>2000</risdate><volume>248</volume><issue>1-2</issue><spage>243</spage><epage>287</epage><pages>243-287</pages><issn>0304-3975</issn><coden>TCSCDI</coden><cop>Amsterdam</cop><pub>Elsevier</pub></addata></record>
fulltext	fulltext
identifier	ISSN: 0304-3975
ispartof	Theoretical computer science, 2000, Vol.248 (1-2), p.243-287
issn	0304-3975
language	eng
recordid	cdi_pascalfrancis_primary_1520196
source	ScienceDirect Freedom Collection
subjects	Applied sciences Computer science control theory systems Exact sciences and technology Language theory and syntactical analysis Programming languages Programming theory Software Theoretical computing
title	Lambda-dropping : transforming recursive equations into programs with block structure: Partial Evaluation and Semantics-Based Program Manipulation
url	http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-27T05%3A59%3A07IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Lambda-dropping%20:%20transforming%20recursive%20equations%20into%20programs%20with%20block%20structure:%20Partial%20Evaluation%20and%20Semantics-Based%20Program%20Manipulation&rft.jtitle=Theoretical%20computer%20science&rft.au=DANVY,%20Olivier&rft.date=2000&rft.volume=248&rft.issue=1-2&rft.spage=243&rft.epage=287&rft.pages=243-287&rft.issn=0304-3975&rft.coden=TCSCDI&rft_id=info:doi/&rft_dat=%3Cpascalfrancis%3E1520196%3C/pascalfrancis%3E%3Cgrp_id%3Ecdi_FETCH-pascalfrancis_primary_15201963%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true