Period of time： 2004年1期
Publisher： Elsevier
Founded in： 1995
Total resources： 23
ISSN： 1571-0661
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Electronic Notes in Theoretical Computer Science,volume 20,issue 1
Menu
Secrecy in Programming-Language Semantics
Electronic Notes in Theoretical Computer Science,volume 20,issue 1 , Vol. 20, Iss. 1, 2004-01 , pp.
Access to resources
Recommend
Semantics-Driven Language Design - Statically Type-Safe Virtual Types in Object-Oriented Languages
By Bruce K.B., Vanderwaart J.C. in (2004)
Electronic Notes in Theoretical Computer Science,volume 20,issue 1 , Vol. 20, Iss. 1, 2004-01 , pp.On the Compact-regular Coreflection of a Stably Locally Compact Locale
Electronic Notes in Theoretical Computer Science,volume 20,issue 1 , Vol. 20, Iss. 1, 2004-01 , pp.From Partial Orders with Projections to Domains - Extended Abstract
Electronic Notes in Theoretical Computer Science,volume 20,issue 1 , Vol. 20, Iss. 1, 2004-01 , pp.Direct Models for the Computational Lambda-calculus
Electronic Notes in Theoretical Computer Science,volume 20,issue 1 , Vol. 20, Iss. 1, 2004-01 , pp.A Categorical and Graphical Treatment of Closure Conversion
By Schweimeier R., Jeffrey A. in (2004)
Electronic Notes in Theoretical Computer Science,volume 20,issue 1 , Vol. 20, Iss. 1, 2004-01 , pp.Confinement Properties for Multi-Threaded Programs
By Smith G., Volpano D. in (2004)
Electronic Notes in Theoretical Computer Science,volume 20,issue 1 , Vol. 20, Iss. 1, 2004-01 , pp.Reasoning about recursive processes - Expansion is not always fair
Electronic Notes in Theoretical Computer Science,volume 20,issue 1 , Vol. 20, Iss. 1, 2004-01 , pp.A Core Calculus of Classes and Objects
By Bono V., Patel A., Shmatikov V., Mitchell J. in (2004)
Electronic Notes in Theoretical Computer Science,volume 20,issue 1 , Vol. 20, Iss. 1, 2004-01 , pp.
Previous
Next