Keyphrases
Blame Assignment
16%
Breach of Contract
11%
Calculus
18%
Checkers
12%
Class System
26%
Compiler
14%
Composable
11%
Context-sensitive
13%
Contract Enforcement
16%
Contract System
33%
Debugger
23%
Debugging
15%
Dynamic Typing
12%
Functional Programming
22%
Garbage Collection
12%
Gradual Types
18%
Gradual Typing
19%
High-order
28%
Higher-order Contracts
20%
Higher-order Functions
23%
Java
17%
Language Programs
16%
Message Passing
13%
Mixins
18%
Multi-language
16%
New Language
18%
Object-oriented
14%
Object-oriented Languages
21%
Object-oriented Programming
12%
Operating System
13%
Operational Semantics
45%
Parallelization
25%
Parametric Polymorphism
13%
Pearl
20%
Polymorphic Form
13%
Programmer
100%
Programming Environments
44%
Programming Languages
74%
Programming Model
16%
Racket
80%
Random Testing
16%
Runtime Systems
48%
Set-based
16%
Slideshow
16%
Software Contracts
27%
Software Engineering
12%
Type Soundness
11%
Type Systems
56%
Virtual Machine
13%
Wrapper
14%
Computer Science
And-States
14%
Code Reuse
11%
Code Sequence
11%
Computational Modeling
11%
Conference Paper
11%
Control Operator
11%
Cross Reference
11%
Data Structure
22%
debugger
25%
Debugging Process
16%
Design Language
15%
Domain-specific languages
21%
Dynamic Binding
11%
Dynamic Typing
12%
Extension Language
13%
Functional Programming
44%
Information Interface
11%
Instruction Sequence
11%
Interoperability
27%
Language Program
16%
Lindenmayer System
11%
Lisp
16%
Merge-Sort
11%
Message Passing
13%
Object Oriented Programming
27%
Operating Systems
13%
Operational Semantics
44%
Order Function
28%
Parallelism
20%
Parallelization
11%
Parametric Polymorphism
16%
Polymorphic Type
16%
Postcondition
16%
Power Efficiency
11%
Precondition
16%
Programming Environment
49%
Programming Language
63%
Programming Model
16%
Reasoning about Programs
11%
Runtime Support
11%
Runtime Systems
53%
Server Component
11%
Software Component
14%
Soundness
28%
Syntactics
13%
Technical Challenge
11%
Type Systems
63%
User Interaction
11%
Virtual Machine
18%
Web Browser
13%