Coverart for item
The Resource Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 26, 2001 Proceedings, edited by David Sands

Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 26, 2001 Proceedings, edited by David Sands

Label
Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 26, 2001 Proceedings
Title
Programming Languages and Systems
Title remainder
10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 26, 2001 Proceedings
Statement of responsibility
edited by David Sands
Contributor
Subject
Language
eng
Summary
This book constitutes the refereed proceedings of the 10th European Symposium on Programming, ESOP 2001, held in Genova, Italy in April 2001. The 26 revised full papers presented together with two invited papers were carefully reviewed and selected from a total of 76 submissions. Among the topics covered are various programming paradigms (including functional, logic, concurrent, and object-oriented programming) and their integration; development of correct, secure and efficient software and systems; and type systems, program analysis, and program transformation
Member of
Cataloging source
DKDLA
Dewey number
005.13
Index
no index present
LC call number
QA76.7-76.73
Literary form
non fiction
Nature of contents
  • dictionaries
  • standards specifications
http://library.link/vocab/relatedWorkOrContributorDate
1965-
http://library.link/vocab/relatedWorkOrContributorName
Sands, David
Series statement
Lecture Notes in Computer Science
Series volume
2028,
http://library.link/vocab/subjectName
  • Computer science
  • Software engineering
  • Logic design
  • Programming Languages, Compilers, Interpreters
  • Programming Techniques
  • Logics and Meanings of Programs
  • Mathematical Logic and Formal Languages
  • Computer science
  • Logic design
  • Software engineering
Label
Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 26, 2001 Proceedings, edited by David Sands
Instantiates
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
A Query Language Based on the Ambient Logic -- Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis -- A Systematic Approach to Static Access Control -- Secure Information Flow and CPS -- Enforcing Safety Properties Using Type Specialization -- Semantics and Program Analysis of Computationally Secure Information Flow -- Encoding Intensional Type Analysis -- Fusion on Languages -- Programming the Web with High-Level Programming Languages -- On the Completeness of Model Checking -- Modal Transition Systems: A Foundation for Three-Valued Program Analysis -- Entailment with Conditional Equality Constraints -- On the Complexity of Constant Propagation -- What Are Polymorphically-Typed Ambients? -- JOIN(X): Constraint-Based Type Inference for the Join-Calculus -- Modular Causality in a Synchronous Stream Language -- Control-Flow Analysis in Cubic Time -- The Recursive Record Semantics of Objects Revisited -- A Formalisation of Java's Exception Mechanism -- A Formal Executable Semantics of the JavaCard Platform -- Modeling an Algebraic Stepper -- Typestate Checking of Machine Code -- Proof-Directed De-compilation of Low-Level Code -- Backwards Abstract Interpretation of Probabilistic Programs -- Tool Demonstration: Finding Duplicated Code Using Program Dependences -- Compiling Problem Specifications into SAT -- Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling -- The Def-inite Approach to Dependency Analysis
Control code
768058735
Extent
1 online resource.
Form of item
online
Isbn
9783540453093
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-45309-1
Specific material designation
remote
System control number
(OCoLC)768058735
Label
Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 26, 2001 Proceedings, edited by David Sands
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
A Query Language Based on the Ambient Logic -- Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis -- A Systematic Approach to Static Access Control -- Secure Information Flow and CPS -- Enforcing Safety Properties Using Type Specialization -- Semantics and Program Analysis of Computationally Secure Information Flow -- Encoding Intensional Type Analysis -- Fusion on Languages -- Programming the Web with High-Level Programming Languages -- On the Completeness of Model Checking -- Modal Transition Systems: A Foundation for Three-Valued Program Analysis -- Entailment with Conditional Equality Constraints -- On the Complexity of Constant Propagation -- What Are Polymorphically-Typed Ambients? -- JOIN(X): Constraint-Based Type Inference for the Join-Calculus -- Modular Causality in a Synchronous Stream Language -- Control-Flow Analysis in Cubic Time -- The Recursive Record Semantics of Objects Revisited -- A Formalisation of Java's Exception Mechanism -- A Formal Executable Semantics of the JavaCard Platform -- Modeling an Algebraic Stepper -- Typestate Checking of Machine Code -- Proof-Directed De-compilation of Low-Level Code -- Backwards Abstract Interpretation of Probabilistic Programs -- Tool Demonstration: Finding Duplicated Code Using Program Dependences -- Compiling Problem Specifications into SAT -- Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling -- The Def-inite Approach to Dependency Analysis
Control code
768058735
Extent
1 online resource.
Form of item
online
Isbn
9783540453093
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-45309-1
Specific material designation
remote
System control number
(OCoLC)768058735

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...