Loading...
Please wait, while we are loading the content...
Similar Documents
Programming Languages and Systems : 8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99 Amsterdam, The Netherlands, March 22-28, 1999 Proceedings
| Content Provider | Semantic Scholar |
|---|---|
| Author | Swierstra, S. Doaitse |
| Copyright Year | 1999 |
| Abstract | Invited Paper.- Functional Reactive Programming.- Regular Contributions.- A Decidable Logic for Describing Linked Data Structures.- Interprocedural Control Flow Analysis.- A Per Model of Secure Information Flow in Sequential Programs.- Quotienting Share for Dependency Analysis.- Types and Subtypes for Client-Server Interactions.- Types for Safe Locking.- Constructor Subtyping.- Safe and Principled Language Interoperation.- Deterministic Expressions in C.- A Programming Logic for Sequential Java.- Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs.- An Idealized MetaML: Simpler, and More Expressive.- Type-Based Decompilation (or Program Reconstruction via Type Reconstruction).- An Operational Investigation of the CPS Hierarchy.- Higher-Order Code Splicing.- Expressing Structural Properties as Language Constructs?.- Polytypic Compact Printing and Parsing.- Dynamic Programming via Static Incrementalization. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://feiniu.store/programming/languages/programming_languages_and_systems_8th_european_symposium_on_programming_esop99_held_as_part_of_the_joint_european_conferences_on_theory_and_practice_of_software_etaps99_amsterdam_the_netherlands_march_22_28_1999_proceedings.pdf |
| Alternate Webpage(s) | http://socken.store/programming/languages/programming_languages_and_systems_8th_european_symposium_on_programming_esop99_held_as_part_of_the_joint_european_conferences_on_theory_and_practice_of_software_etaps99_amsterdam_the_netherlands_march_22_28_1999_proceedings.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
