skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục
Lọc theo: Dạng tài nguyên: Khác xóa Tác giả/ người sáng tác: Flatt, Matthew; van, Tijs xóa
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Khác
Thêm vào Góc nghiên cứu

C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact)

Eyolfson, Jon ; Lam, Patrick; Flatt, Matthew; van, Tijs

DOI: 10.4230/DARTS.2.1.3

Toàn văn sẵn có

2
Material Type:
Khác
Thêm vào Góc nghiên cứu

LJGS: Gradual Security Types for Object-Oriented Languages (Artifact)

Fennell, Luminous ; Thiemann, Peter; Flatt, Matthew; van, Tijs

DOI: 10.4230/DARTS.2.1.4

Toàn văn sẵn có

3
Material Type:
Khác
Thêm vào Góc nghiên cứu

Magic with Dynamo – Flexible Cross-Component Linking for Java with Invokedynamic (Artifact)

Jezek, Kamil ; Dietrich, Jens; Flatt, Matthew; van, Tijs

DOI: 10.4230/DARTS.2.1.5

Toàn văn sẵn có

4
Material Type:
Khác
Thêm vào Góc nghiên cứu

Object Inheritance Without Classes (Artifact)

Jones, Timothy ; Homer, Michael; Flatt, Matthew; van, Tijs

DOI: 10.4230/DARTS.2.1.6

Toàn văn sẵn có

5
Material Type:
Khác
Thêm vào Góc nghiên cứu

One Way to Select Many (Artifact)

Järvi, Jaakko ; Parent, Sean; Flatt, Matthew; van, Tijs

DOI: 10.4230/DARTS.2.1.7

Toàn văn sẵn có

6
Material Type:
Khác
Thêm vào Góc nghiên cứu

Front Matter, Table of Contents, Preface, Artifact Evaluation Committee

Flatt, Matthew ; van der Storm, Tijs; Flatt, Matthew; van, Tijs

DOI: 10.4230/DARTS.2.1.i

Toàn văn sẵn có

7
Material Type:
Khác
Thêm vào Góc nghiên cứu

Fine-grained Language Composition: A Case Study (Artifact)

Barrett, Edd ; Bolz, Carl Friedrich ; Diekmann, Lukas ; Tratt, Laurence; Flatt, Matthew; van, Tijs

DOI: 10.4230/DARTS.2.1.1

Toàn văn sẵn có

8
Material Type:
Khác
Thêm vào Góc nghiên cứu

Program Tailoring: Slicing by Sequential Criteria (Artifact)

Tan, Tian ; Li, Yue ; Zhang, Yifei ; Xue, Jingling; Flatt, Matthew; van, Tijs

DOI: 10.4230/DARTS.2.1.8

Toàn văn sẵn có

9
Material Type:
Khác
Thêm vào Góc nghiên cứu

Higher-Order Demand-Driven Program Analysis (Artifact)

Facchinetti, Leandro ; Palmer, Zachary ; Smith, Scott F.; Flatt, Matthew; van, Tijs

DOI: 10.4230/DARTS.2.1.9

Toàn văn sẵn có

10
Material Type:
Khác
Thêm vào Góc nghiên cứu

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)

Bach Poulsen, Casper ; Néron, Pierre ; Tolmach, Andrew ; Visser, Eelco; Flatt, Matthew; van, Tijs

DOI: 10.4230/DARTS.2.1.10

Toàn văn sẵn có

11
Material Type:
Khác
Thêm vào Góc nghiên cứu

Lightweight Session Programming in Scala (Artifact)

Scalas, Alceste ; Yoshida, Nobuko; Flatt, Matthew; van, Tijs

DOI: 10.4230/DARTS.2.1.11

Toàn văn sẵn có

12
Material Type:
Khác
Thêm vào Góc nghiên cứu

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact)

Späth, Johannes ; Nguyen Quang Do, Lisa ; Ali, Karim ; Bodden, Eric; Flatt, Matthew; van, Tijs

DOI: 10.4230/DARTS.2.1.12

Toàn văn sẵn có

13
Material Type:
Khác
Thêm vào Góc nghiên cứu

Transactional Tasks: Parallelism in Software Transactions (Artifact)

Swalens, Janwillem; Flatt, Matthew; van, Tijs

DOI: 10.4230/DARTS.2.1.13

Toàn văn sẵn có

14
Material Type:
Khác
Thêm vào Góc nghiên cứu

Staccato: A Bug Finder for Dynamic Configuration Updates (Artifact)

Toman, John ; Grossman, Dan; Flatt, Matthew; van, Tijs

DOI: 10.4230/DARTS.2.1.14

Toàn văn sẵn có

15
Material Type:
Khác
Thêm vào Góc nghiên cứu

Front Matter, Table of Contents, Preface, Artifact Evaluation Committee

Flatt, Matthew ; van der Storm, Tijs; Flatt, Matthew; van, Tijs

DOI: 10.4230/DARTS.2.1.0

Toàn văn sẵn có

16
Material Type:
Khác
Thêm vào Góc nghiên cứu

Making an Embedded DBMS JIT-friendly (Artifact)

Bolz, Carl Friedrich ; Kurilova, Darya ; Tratt, Laurence; Flatt, Matthew; van, Tijs

DOI: 10.4230/DARTS.2.1.2

Toàn văn sẵn có

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Gợi ý tìm kiếm

Bỏ qua truy vấn này và tìm kiếm mọi thứ

theo tác giả:

  1. Flatt, Matthew; van, Tijs
  2. Flatt, Matthew
  3. van der Storm, Tijs
  4. Tratt, Laurence
  5. Bolz, Carl Friedrich

Đang tìm Cơ sở dữ liệu bên ngoài...