Showing 1 - 20 results of 175 for search '"programming languages"' Skip to content

0 items (Full)

Advanced Search History Search by Map: Arctic Antarctic

Reset Filters

Document Type: Text

Reset Filters

Show filters (1)

Document Type: Text

Search Results - Open Polar - "programming languages"

Search Results

Showing 1 - 20 results of 175 for search '"programming languages"', query time: 0.33s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 1
1

Linearly Typed Dyadic Group Sessions for Building Multiparty Sessions

by Xi, Hongwei, Wu, Hanwen
Published 2016
Subjects: “...Computer Science - Programming Languages...”

Get access

Text
Select result number 2
2

Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity

by Sano, Chuta, Kavanagh, Ryan, Pientka, Brigitte
Published 2023
Subjects: “...Computer Science - Programming Languages...”

Get access

Text
Select result number 3
3

Experiences with the Orca Programming Language

by Gregory V. Wilson, Henri E. Bal
“...We investigate the capabilities and shortcomings of Orca, a Modulalike parallel programming...”

Get access

Text
Select result number 4
4

A Comparative Study Of Five Parallel Programming Languages

by Henri E. Bal
Published 1991

Get access

Text
Select result number 5
5

Panda: A Portable Platform to Support Parallel Programming Languages

by Raoul Bhoedjang, Tim Rühl, Rutger Hofman, Koen Langendoen, Henri Bal, Frans Kaashoek
Published 1993
“...Current parallel programming languages require advanced run-time support to implement communication...”

Get access

Text
Select result number 6
6

Panda: A Portable Platform to Support Parallel Programming Languages

by Raoul Bhoedjang, Tim Ruhl, Rutger Hofman, Koen Langendoen, Henri Bal, Frans Kaashoek
Published 1993
“...Current parallel programming languages require advanced run-time support to implement communication...”

Get access

Text
Select result number 7
7

An Implementation of the Programming Language DML in Java: Compiler

by Angefertigt Leitung, Prof Dr, Gert Smolka, Andy Walter, Kapitel Andy Walter
Published 1999

Get access
Get access

Text
Select result number 8
8

Ownership guided C to Rust translation

by Zhang, Hanliang, David, Cristina, Yu, Yijun, Wang, Meng
Published 2023
Subjects: “...Computer Science - Programming Languages...”

Get access

Text
Select result number 9
9

CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle

by El-Korashy, Akram, Tsampas, Stelios, Patrignani, Marco, Devriese, Dominique, Garg, Deepak, Piessens, Frank
Published 2020
Subjects: “...Computer Science - Programming Languages...”

Get access

Text
Select result number 10
10

Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus

by Xi, Hongwei, Ren, Zhiqiang, Wu, Hanwen, Blair, William
Published 2016
Subjects: “...Computer Science - Programming Languages...”

Get access

Text
Select result number 11
11

Proceedings First International Workshop on Process Algebra and Coordination

by Aceto, Luca, Mousavi, Mohammad Reza
Published in Electronic Proceedings in Theoretical Computer Science (2011)
Subjects: “...Computer Science - Programming Languages...”

Get access
Get access

Text
Select result number 12
12

Symbolic Analysis of Maude Theories with Narval

by Alpuente, María, Ballis, Demis, Escobar, Santiago, Sapiña, Julia
Published 2019
Subjects: “...Computer Science - Programming Languages...”

Get access

Text
Select result number 13
13

Semi-Automation of Meta-Theoretic Proofs in Beluga

by Schwartzentruber, Johanna, Pientka, Brigitte
Published in Electronic Proceedings in Theoretical Computer Science (2023)
Subjects: “...Computer Science - Programming Languages...”

Get access
Get access

Text
Select result number 14
14

An Implementation of the Programming Language DML in Java: Runtime Environment

by Angefertigt Leitung, Prof Dr, Gert Smolka, Daniel Simon, Kapitel Andy Walter
Published 2000

Get access
Get access

Text
Select result number 15
15

The Arc Consistency Problem: a Case Study in Parallel Programming with Shared Objects

by Irina Athanasiu, Henri E. Bal
Published 1993
Subjects: “...parallel programming languages...”

Get access

Text
Select result number 16
16

Contextual Refinement Types

by Gaulin, Antoine, Pientka, Brigitte
Published in Electronic Proceedings in Theoretical Computer Science (2023)
Subjects: “...Computer Science - Programming Languages...”

Get access
Get access

Text
Select result number 17
17

ZPL: A Machine Independent Programming Language for Parallel Computers

by Bradford L. Chamberlain, Sung-Eun Choi, E Christopher Lewis, Calvin Lin, Lawrence Snyder, W. Derrick Weathersby
Published 2000
Subjects: “...parallel programming language...”

Get access
Get access

Text
Select result number 18
18

AWK and GNU Octave Programming Languages Integrated with Generic Mapping Tools for Geomorphological Analysis

by Lemenkova, Polina
Published 2019
Subjects: “...80308 Programming Languages...”

Get access
Get access

Text
Select result number 19
19

AWK and GNU Octave Programming Languages Integrated with Generic Mapping Tools for Geomorphological Analysis

by Lemenkova, Polina
Published 2019
Subjects: “...80308 Programming Languages...”

Get access
Get access

Text
Select result number 20
20

A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math

by Wonnacott, David G., Osera, Peter-Michael
Published 2019
Subjects: “...Computer Science - Programming Languages...”

Get access

Text