1. Datatype-Generic Programming - Department of Computer Science ...
  2. Unfolding Abstract Datatypes - Department of Computer Science ...
  3. A Practical Introduction to Data Structures and ... - CS Courses
  4. in C - Open Data Structures
  5. The Frege Programming Language ( Draft) - MIT
  6. Concepts in Programming Languages - Cambridge Computer ...
  7. Generics as a Library (extended abstract) - CiteSeerX
  8. Programming and Proving in Isabelle/HOL
  9. Higher-Order Containers - Department of Computer Science ...
  10. Relationships for object-oriented programming languages
  11. Introduction to Computers and Programming using C and MATLAB
  12. Hanspeter Mössenböck - SSW
  13. A Comparison of C , C#, Java, and PHP in the ... - DiVA portal
  14. Practical C Programming Teacher's Guide - Steve Oualline
  15. Programming contextual computations - Cambridge Computer ...
  16. Abstract Data Types and Software Validation - UNC Chapel Hill
  17. Refactoring Pattern Matching - Department of Computer Science ...
  18. Ada-95: A guide for C and C programmers - cs.uni.edu
  19. In Search of Types - Cambridge Computer Laboratory - University of ...
  20. Java Programming 2 – Lecture #1 – Jeremy.Singer@glasgow.ac.uk
  21. Code generation from Isabelle/HOL theories - TUM
  22. Spatial Data Types - UF CISE
  23. Learn C programming language
  24. Introduction to Programming Using Java - Error
  25. Technical Report on C Performance - open-std
  26. SML Modules
  27. A computational science agenda for programming language research
  28. A Scala Tutorial - The Scala Programming Language
  29. Haskell-style type classes with Isabelle/Isar - TUM
  30. Memory as a Programming Concept in C and ... - Semantic Scholar
  31. Curry: A Tutorial Introduction
  32. Chisel: Constructing Hardware in a Scala Embedded Language
  33. An Adaptive Mesh Refinement Benchmark for Modern ... - CScADS
  34. Programming Languages - Semantic Scholar
  35. Programming Language Concepts for Software Developers
  36. XSLT Tutorial
  37. Concepts in Programming Languages Practicalities Main books ...
  38. Analyzing Security Advice in Functional Aspect ... - Daniel S. Dantas
  39. Advanced Programming with C - Computer Science - UKZN
  40. The CProver User Manual
  41. Software System Safety Handbook - System Safety Society
  42. and Constraint-Based Program Analyses - Stanford CS Theory
  43. Creation of Views for Reuse of Software with Different Data ...
  44. Tool Demonstration: An IDE for Programming and Proving in Idris
  45. Dependent Types Ensure Partial Correctness of ... - Semantic Scholar
  46. Towards a Dynamic Object Model within Unix Processes
  47. z - Department of Computer Science, University of Oxford
  48. User-extensible Simplification—Type-based Optimizer ... - UCLA CS
  49. Introduction to Probability and Statistics Using R - UV
  50. Introduction to Object-Oriented Concepts Using Fortran90, 1996
  51. Modern C - ICPS
  52. Equivariant Syntax and Semantics (Abstract of Invited Talk) *
  53. Dynamic Software Updating - sigplan
  54. Functional Programming with Regular ... - Semantic Scholar
  55. Fundamentals of Computer Programming with C - icdst
  56. Fortran i - Tutorialspoint
  57. Static Analysis To Model & Measure OO Paradigms - CiteSeerX
  58. P9489 Practicals and Exercises Spring 2013 - Columbia University
  59. Authenticated Data Structures, Generically - Andrew Miller @ UIUC
  60. Telephony Services Application Programming Interface (TSAPI ...
  61. S CALA D ESIGN P ATTERNS - The Scala Programming Language
  62. (PDF) - Computing - Introduction to Computing
  63. spark: modular, composable shaders for graphics hardware a
  64. Efficient Programming Techniques for Digital Signal Processing - icdst
  65. Lem - Cambridge Computer Laboratory - University of Cambridge
  66. C# AND .NET FRAMEWORK
  67. A CATEGORICAL MANIFESTO Prog',amr - Department of Computer ...
  68. Generalizing Symbolic Execution to Library Classes - The University ...
  69. Assertion-based Repair of Complex Data Structures - CiteSeerX
  70. Deterministic Galois - Andrew Lenharth
  71. Biscuit: A Framework for Near-Data Processing of Big Data Workloads
  72. IEEE COMPUTER SOCIETY STYLE GUIDE
  73. A Compiler Generator for Semantic Grammars - Cambridge ...
  74. Oracle9i Java Stored Procedures Developer's Guide - Oracle Help ...
  75. of Scientific, Technical and Medical Publishers - DOIs
  76. Design Concepts in Programming Languages - icdst
  77. Frameworks For Component-Based Client/Server ... - CiteSeerX
  78. B.E. MECHANICAL ENGINEERING First Semester Code No. Course ...
  79. A Cryptographic Decentralized Label Model - CIS @ UPenn
  80. ptolemy ii - Ptolemy Project - UC Berkeley
  81. Computer Science Tripos Syllabus and Booklist - CiteSeerX
  82. Linked Data: Evolving the Web into a Global Data Space - Indiana ...
  83. The Objective Caml system release 3.09 - The Caml language - Inria
  84. Sage for Power Users - William Stein
  85. The Art and Science of Java - Reed College
  86. Presentation Abstracts - Protégé - Stanford University
  87. Investigating Reverse Engineering Technologies: The CAS Program ...
  88. Digital Signal Processing and Applications with the TMS320C6713 ...
  89. DATA INTENSIVE QUERY PROCESSING FOR - UT Dallas
  90. Abstracting information on body area networks - Cambridge ...
  91. Data Representation Synthesis - Stanford CS Theory
  92. On Data Refinement in the Presence of Pointers - Department of ...
  93. to appearin JournalofManagementInformationSystems ... - Stacks
  94. Introduction to Matlab for Engineers - CUHK CSE
  95. Wireless Sensor Networks : Technology, Protocols, and Applications
  96. A Verified Compiler for Relaxed-Memory Concurrency - Cambridge ...
  97. Polymorphism and Separation in Hoare Type Theory - CiteSeerX
  98. TOWARDS AN INTEGRATED SEMANTIC WEB - UT Dallas
  99. Programming ActionScript 3.0 - icdst
  100. An Introduction to Processing and Music Visualization - CG TU Wien

All rights reserved for ICDST 2017-2019