Search Results

81

A GIS approach for improving transportation and mobility in Iqaluit, Nunavut Territory

by Copithorne, Dana
Published 2011

Subjects: “...Python Programming Language...”
Get access

Thesis

82

Automatic Generation of Data Conversion-Programs Using a Data Description Language (DDL). Volume I. System Description and Documentation.

by Ramirez,Jesus Arturo
Published 1973

Subjects: “...(*PROGRAMMING LANGUAGES...”
Get access
Get access

Text

83

Query-based Verification of Biochemical Oscillations through Probabilistic Model Checking

by Ballarini, Paolo, Mura, Ivan, Mardare, Radu
Published 2008

Subjects: “...QA076.7 Programming Languages - Semantics...”
Get access
Get access

Report

84

Formal software development using Z and the refinement calculus

by Wee, Dennis Ju-Xieng, 1967-
Published 1993

Subjects: “...Z (Computer program language)...”
Get access

Thesis

85

LaTeX poster template, A0 portrait : 'Mapping Land Cover Changes Using Landsat TM: A Case Study of Yamal Ecosystems, Arctic Russia'

by Lemenkova, Polina
Published 2018

Subjects: “...80308 Programming Languages...”
Get access
Get access

Article in Journal/Newspaper

86

LaTeX poster template, A0 portrait : 'Mapping Land Cover Changes Using Landsat TM: A Case Study of Yamal Ecosystems, Arctic Russia'

by Lemenkova, Polina
Published 2018

Subjects: “...80308 Programming Languages...”
Get access
Get access

Article in Journal/Newspaper

87

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

88

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

89

Linearly Typed Dyadic Group Sessions for Building Multiparty Sessions

by Xi, Hongwei, Wu, Hanwen
Published 2016

Subjects: “...Programming Languages cs.PL...”
Get access
Get access

Report

90

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

by Sano, Chuta, Kavanagh, Ryan, Pientka, Brigitte
Published 2023

Subjects: “...Programming Languages cs.PL...”
Get access
Get access

Article in Journal/Newspaper

91

Automatic Generation of Data Conversion-Programs Using a Data Description Language (DDL). Volume II. Appendix A. User Guide, Appendix B. SAPG User Guide, Appendix C. DDL Overlay, A...

by Ramirez,Jesus Arturo
Published 1973

Subjects: “...(*PROGRAMMING LANGUAGES...”
Get access
Get access

Text

92

Dynamic pointer tracking and its applications

by Zhang, Kun
Published 2010

Subjects: “...C (Computer program language)...”
Get access

Doctoral or Postdoctoral Thesis

93

Dynamic pointer tracking and its applications

by Zhang, Kun
Published 2010

Subjects: “...C (Computer program language)...”
Get access

Doctoral or Postdoctoral Thesis

94

The Development of a Homogeneous Numerical Ocean Model for the Arctic Ocean

by Galt,J. A.
Published 1972

Subjects: “...FORTRAN 4 PROGRAMMING LANGUAGE...”
Get access
Get access

Text

95

Intermediate representations for parallel languages on CGRAs

by Zhang, Dianyong, 1974-
Published 2007

Subjects: “...Object-oriented programming languages...”
Get access

Thesis

96

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

97

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

98

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

99

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

100

Deep-Sea Trenches of the Pacific Ocean: a Comparative Analysis of the Submarine Geomorphology Using Data Modeling by GMT, Python and R

by Lemenkova, Polina
Published 2021

Subjects: “...programming language...”
Get access
Get access

Thesis

Narrow Search