Programming Languages for Compressing Graphics (English)
- New search for: McGuire, Morgan
- New search for: Krishnamurthi, Shriram
- New search for: Hughes, John F.
- New search for: Le Métayer, Daniel
- New search for: McGuire, Morgan
- New search for: Krishnamurthi, Shriram
- New search for: Hughes, John F.
In:
Programming Languages and Systems
: 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings
;
Chapter: 6
;
68-82
;
2002
-
ISSN:
- Article/Chapter (Book) / Electronic Resource
-
Title:Programming Languages for Compressing Graphics
-
Contributors:Le Métayer, Daniel ( editor ) / McGuire, Morgan ( author ) / Krishnamurthi, Shriram ( author ) / Hughes, John F. ( author )
-
Conference:European Symposium on Programming ; 2002 ; Grenoble, France
-
Published in:Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings ; Chapter: 6 ; 68-82Lecture Notes in Computer Science ; 2305 ; 68-82
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2002-03-14
-
Size:15 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Type Checking Systems CodeMorrisett, Greg et al. | 2002
- 2
-
Mixin Modules in a Call-by-Value SettingHirschowitz, Tom / Leroy, Xavier et al. | 2002
- 3
-
Existential Types for Imperative LanguagesGrossman, Dan et al. | 2002
- 4
-
Another Type System for In-Place UpdateAspinall, David / Hofmann, Martin et al. | 2002
- 5
-
Soft Concurrent Constraint ProgrammingBistarelli, Stefano / Montanari, Ugo / Rossi, Francesca et al. | 2002
- 6
-
Programming Languages for Compressing GraphicsMcGuire, Morgan / Krishnamurthi, Shriram / Hughes, John F. et al. | 2002
- 7
-
An Accumulative Parallel Skeleton for AllHu, Zhenjiang / Iwasaki, Hideya / Takeichi, Masato et al. | 2002
- 8
-
Higher-Order Intensional Type AnalysisWeirich, Stephanie et al. | 2002
- 9
-
Branching TypesWells, Joe B. / Haack, Christian et al. | 2002
- 10
-
Exceptions, Continuations and Macro-expressivenessLaird, James et al. | 2002
- 11
-
A Theory of Second-Order TreesGlew, Neal et al. | 2002
- 12
-
Tool Support for Improving Test CoverageHorwitz, Susan et al. | 2002
- 13
-
Data Space Oriented TilingKandemir, Mahmut et al. | 2002
- 14
-
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics ApproachMartel, Matthieu et al. | 2002
- 15
-
Asserting the Precision of Floating-Point Computations: A Simple Abstract InterpreterGoubault, Eric / Martel, Matthieu / Putot, Sylvie et al. | 2002
- 16
-
A Modular, Extensible Proof Method for Small-Step Flow AnalysesWand, Mitchell / Williamson, Galen B. et al. | 2002
- 17
-
A Prototype Dependency CalculusThiemann, Peter et al. | 2002
- 18
-
Automatic Complexity AnalysisNielson, Flemming / Nielson, Hanne Riis / Seidl, Helmut et al. | 2002
- 19
-
Thread-Modular Verification for Shared-Memory ProgramsFlanagan, Cormac / Freund, Stephen N. / Qadeer, Shaz et al. | 2002
- 20
-
Timing UDP: Mechanized Semantics for Sockets, Threads, and FailuresWansbrough, Keith / Norrish, Michael / Sewell, Peter / Serjantov, Andrei et al. | 2002
- 21
-
Finite-Control Mobile AmbientsCharatonik, Witold / Gordon, Andrew D. / Talbot, Jean-Marc et al. | 2002
- 314
-
Dependency Analysis of Mobile SystemsFeret, Jérôme et al. | 2002