206 results on '"Core language"'
Search Results
2. Relative Hilbert-Post Completeness for Exceptions
3. Progress-Sensitive Security for SPARK
4. Predicting Space Requirements for a Stream Monitor Specification Language
5. Static Site Generators
6. Modular Multiset Rewriting
7. A Trusted Mechanised Specification of JavaScript: One Year On
8. An Array-Oriented Language with Static Rank Polymorphism
9. Model Based Enterprise Simulation and Analysis : A Pragmatic Approach Reducing the Burden on Experts
10. Lightweight Higher-Kinded Polymorphism
11. Optimisation of Generic Programs Through Inlining
12. The Power of Linear Programming for Finite-Valued CSPs: A Constructive Characterization
13. FliPpr: A Prettier Invertible Printing System
14. Mechanizing the Metatheory of mini-XQuery
15. The Design and Implementation of Feldspar : An Embedded Language for Digital Signal Processing
16. Reasoning about Assignments in Recursive Data Structures
17. Reading C++ Code
18. An Operational Semantics for JavaScript
19. WebDSL: A Case Study in Domain-Specific Language Engineering
20. Taming of Pict
21. A Better Semantics for XQuery with Side-Effects
22. Dynamic Security Labels and Noninterference (Extended Abstract)
23. A Survey of Test Notations and Tools for Customer Testing
24. Mediation as a Core Language Activity in the Common European Framework of Reference: From Theory to Practice
25. The concurrent and longitudinal relationship between narrative skills and other language skills in children
26. Linear Types for Cashflow Reengineering
27. Core Formal Molecular Biology
28. PHP Extension Libraries
29. Multilingual Topic Generation within the CLEF 2001 Experiments
30. Sharing in Typed Module Assembly Language
31. Backwards Compatibility Policy
32. A Personal, Historical Perspective of Parallel Programming for High Performance
33. Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine
34. USING OF VARIETY OF TEACHING APPROACHES, METHODS, TECHNIQUES IN LEARNING FOREIGN LANGUAGE AND ACQUIRING KNOWLEDGE EFFECTIVELY
35. Compilation by Transformation in the Glasgow Haskell Compiler
36. Strictness analysis by abstract reduction using a tableau calculus
37. On Program Transformation in the Glasgow Haskell Compiler
38. Backward Compatibility Policy
39. Detecting Undefined Behaviors in CUDA C
40. Towards size-dependent types for array programming
41. Enabling the Use of C++20 Unseq Execution Policy for OpenCL
42. USING OF VARIETY OF TEACHING APPROACHES, METHODS, TECHNIQUES IN LEARNING FOREIGN LANGUAGE AND ACQUIRING KNOWLEDGE EFFECTIVELY
43. Metaphor Comprehension in Individuals with Autism Spectrum Disorder: Core Language Skills Matter
44. Core Language of Thought
45. THE USE OF THE EUROCOMGERM METHOD 'DIE SIEBEN SIEBE' IN MODERN UKRAINIAN SCHOOL
46. Maternal sensitivity and language in infancy each promotes child core language skill in preschool
47. A Cheap Implementation of Resugaring in BIRDS Based on Bidirectional Transformation
48. Uncovering the Neuroanatomy of Core Language Systems Using Lesion-Symptom Mapping
49. Mapping lexical-semantic networks and determining hemispheric language dominance: Do task design, sex, age, and language performance make a difference?
50. How Many Languages Do We Need?: The Economics of Linguistic Diversity
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.