Showing 21 - 40 results of 710 for search '"programming languages"' Skip to content

0 items (Full)

Advanced Search History Search by Map: Arctic Antarctic

Search Results - Open Polar - "programming languages"

Search Results

Showing 21 - 40 results of 710 for search '"programming languages"', query time: 0.39s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 21
21

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 22
22

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 23
23

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 24
24

ORCA: An ORM/ODM Library for Go Programming Language

by KAYMAZ, Mehmet Emin, ÖZTÜRK, Övünç
Published in European Journal of Science and Technology (2020)

Get access
Get access

Article in Journal/Newspaper
Select result number 25
25

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 26
26

Perpetuality for full and safe composition (in a constructive setting)

by Kesner, Delia
Published 2008
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access

Conference Object
Select result number 27
27

Perpetuality for full and safe composition (in a constructive setting)

by Kesner, Delia
Published 2008
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access

Conference Object
Select result number 28
28

Perpetuality for full and safe composition (in a constructive setting)

by Kesner, Delia
Published 2008
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access

Conference Object
Select result number 29
29

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 30
30

On global types and multi-party sessions

by Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Padovani, Luca
Published 2011
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 31
31

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 32
32

On global types and multi-party sessions

by Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Padovani, Luca
Published 2011
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 33
33

On global types and multi-party sessions

by Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Padovani, Luca
Published 2011
Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 34
34

A type checking algorithm for qualified session types

by Giunti, Marco
Published in Electronic Proceedings in Theoretical Computer Science (2011)
Subjects: “...programming languages...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 35
35

A type checking algorithm for qualified session types

by Giunti, Marco
Published in Electronic Proceedings in Theoretical Computer Science (2011)
Subjects: “...programming languages...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 36
36

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 37
37

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

by Lemenkova, Polina
Published in GeoScience Engineering (2019)
Subjects: “...programming language...”

Get access
Get access
Get access
Get access

Article in Journal/Newspaper
Select result number 38
38

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 39
39

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 40
40

AWK AND GNU OCTAVE PROGRAMMING LANGUAGES INTEGRATED WITH GENERIC MAPPING TOOLS FOR GEOMORPHOLOGICAL ANALYSIS

by Polina LEMENKOVA
Published in GeoScience Engineering (2019)
Subjects: “...programming language...”

Get access
Get access

Article in Journal/Newspaper