Library

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Asynchronous communication model based on linear logic (1995)
    Springer
    Formal aspects of computing 7 (1995), S. 113-149 
    Details
    ISSN: 1433-299X
    Keywords: Linear logic programming ; Asynchronous concurrent computation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We propose a new framework called ACL for concurrent computation based on linear logic. ACL is a kind oflinear logic programming framework, where its operational semantics is described in terms ofproof construction in linear logic. We also give a model-theoretic semantics based onphase semantics, a model of linear logic. Our framework well captures concurrent computation based on asynchronous communication. It will, therefore, provide us with a new insight into other models of asynchronous concurrent computation from alogical point of view. We also expect ACL to become a formal framework for analysis, synthesis and transformation of concurrent programs by the use of techniques for traditional logic programming. ACL's attractive features for concurrent programming paradigms are also discussed.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01211602
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    Duplication and partial evaluation (1996)
    Springer
    Higher-order and symbolic computation 9 (1996), S. 203-241 
    Details
    ISSN: 1573-0557
    Keywords: reflection ; partial evaluation ; metacircular interpreter ; direct execution ; interpretation ; infinite regression
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract This paper presents a general implementation framework for reflective languages. It allows us to systematically build reflective languages which have the following favorable properties: (1) user programs are allowed to access and change (parts of) metalevel interpreters, (2) reflective facilities are available at every level, (hence there exists conceptually an infinite tower of interpreters), and (3) the interpreter runs as efficiently as the conventional (directly implemented) metacircular interpreter when reflection is not used. Our scheme is divided into three stages. First, we define interpreters which give the operational semantics of each level, and conceptually construct the infinite tower of these interpreters. They are thenduplicated to obtain directly executed interpreters, while introducing double interpretation to maintain redefinability of interpreters. Finally, partial evaluation is employed to collapse the double interpretation into single interpretation. We illustrate our scheme by implementing a particular reflective language calledBlack in Scheme, but it is general enough to be applied to other reflective languages. The paper gives the complete Scheme implementation of Black and demonstrates some examples. We also show how a system with the delta abstraction introduced by Blond can be constructed in our framework.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01806113
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Book
    Book
    Workshop on Object-Based Concurrent Programming : 1988, San Diego; Vol. 24 (1989)
    New York, NY :ACM,
    Details
    Title: Workshop on Object-Based Concurrent Programming : 1988, San Diego; Vol. 24
    Contributer: Agha, Gul , Wegner, Peter (Hrsg.) , Yonezawa, Akinori , ACM , Association for Computing Machinery / Special Interest Group on Programming Languages
    Publisher: New York, NY :ACM,
    Year of publication: 1989
    Pages: 214 S.
    Series Statement: Sigplan Notices Vol. 24
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...