No abstract available.
Cited By
- Miller D (2019). Mechanized Metatheory Revisited, Journal of Automated Reasoning, 63:3, (625-665), Online publication date: 1-Oct-2019.
- Jones N On Modeling and Programming Leveraging Applications of Formal Methods, Verification and Validation. Modeling, (22-34)
- Guagliardo P and Libkin L (2017). A formal semantics of SQL queries, its validation, and applications, Proceedings of the VLDB Endowment, 11:1, (27-39), Online publication date: 1-Sep-2017.
- Cousot P Verification by abstract interpretation, soundness and abstract induction Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, (1-4)
- Glesner S and Zimmermann W (2004). Natural semantics as a static program analysis framework, ACM Transactions on Programming Languages and Systems (TOPLAS), 26:3, (510-577), Online publication date: 1-May-2004.
- Duggan D Type-based hot swapping of running modules (extended abstract) Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, (62-73)
- Duggan D (2019). Type-based hot swapping of running modules (extended abstract), ACM SIGPLAN Notices, 36:10, (62-73), Online publication date: 1-Oct-2001.
- Jay C Distinguishing data structures and functions Proceedings of the 5th international conference on Typed lambda calculi and applications, (217-239)
- Schmidt D (2000). Induction, Domains, Calculi, Higher-Order and Symbolic Computation, 13:1-2, (89-101), Online publication date: 1-Apr-2000.
- Buhr P and Mok W (2000). Advanced Exception Handling Mechanisms, IEEE Transactions on Software Engineering, 26:9, (820-836), Online publication date: 1-Sep-2000.
- Thielecke H (1999). Using a Continuation Twice and Its Implications for the Expressive Power of call/cc, Higher-Order and Symbolic Computation, 12:1, (47-73), Online publication date: 1-Apr-1999.
- Blume M (1999). Dependency analysis for Standard ML, ACM Transactions on Programming Languages and Systems (TOPLAS), 21:4, (790-812), Online publication date: 1-Jul-1999.
- Wallach D, Balfanz D, Dean D and Felten E (1997). Extensible security architectures for Java, ACM SIGOPS Operating Systems Review, 31:5, (116-128), Online publication date: 1-Dec-1997.
- Wallach D, Balfanz D, Dean D and Felten E Extensible security architectures for Java Proceedings of the sixteenth ACM symposium on Operating systems principles, (116-128)
- Ishino A and Yamamoto A (1997). Generalizations in type equational programming and their application to learning functions, New Generation Computing, 15:1, (85-103), Online publication date: 1-Mar-1997.
- Biswas S Higher-order functors with transparent signatures Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (154-163)
- Shao Z and Appel A A type-based compiler for standard ML Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, (116-129)
- Ballarin C, Homann K and Calmet J Theorems and algorithms Proceedings of the 1995 international symposium on Symbolic and algebraic computation, (150-157)
- Shao Z and Appel A (2019). A type-based compiler for standard ML, ACM SIGPLAN Notices, 30:6, (116-129), Online publication date: 1-Jun-1995.
- Leroy X Manifest types, modules, and separate compilation Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (109-122)
- Harper R and Lillibridge M A type-theoretic approach to higher-order modules with sharing Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (123-137)
- Katiyar D, Luckham D and Mitchell J A type system for prototyping languages Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (138-150)
- Kahrs S, Sannella D and Tarlecki A Interfaces and extended ML Proceedings of the Workshop on Interface Definition Languages, (111-118)
- Kahrs S, Sannella D and Tarlecki A (1994). Interfaces and extended ML, ACM SIGPLAN Notices, 29:8, (111-118), Online publication date: 1-Aug-1994.
- Biagioni E A structured TCP in standard ML. Proceedings of the conference on Communications architectures, protocols and applications, (36-45)
- Biagioni E (1994). A structured TCP in standard ML., ACM SIGCOMM Computer Communication Review, 24:4, (36-45), Online publication date: 1-Oct-1994.
- Shao Z and Appel A Smartest recompilation Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (439-450)
- Aponte M Extending record typing to type parametric modules with sharing Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (465-478)
- Tofte M Principal signatures for higher-order program modules Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (189-199)
Index Terms
- Commentary on standard ML
Recommendations
H.264/AVC standard: A proposal for selective intra- and optimized inter-prediction
This paper seeks to provide a selective intra-prediction and optimized inter-prediction methods in H.264/AVC standard. In order to reduce the temporal and spatial redundancy more effectively, motion compensation uses variable block sizes, while ...
Context-based 2D-VLC entropy coder in AVS video coding standard
Special section on China AVS standardIn this paper, a Context-based 2D Variable Length Coding (C2DVLC) method for coding the transformed residuals in AVS video coding standard is presented. One feature in C2DVLC is the usage of multiple 2D-VLC tables and another feature is the usage of ...
Context-based entropy coding in AVS video coding standard
In this paper, two context-based entropy coding schemes for AVS Part-2 video coding standard are presented. One is Context-based 2D Variable Length Coding (C2DVLC) as a low complexity entropy coding scheme for AVS Part-2 Jizhun profile. C2DVLC uses ...