Search Results
Showing 1 - 20 results of 69 for search '"programming language"', query time: 0.31s Refine ResultsPlease enable Javascript.
Please upgrade your browser.
Search Tools:
Get RSS Feed
Narrow Search
Pous, Damien
11
Biernacka, Małgorzata
7
Biernacki, Dariusz
7
Lenglet, Sergueï
7
Padovani, Luca
7
Polesiuk, Piotr
7
Schmitt, Alan
7
Cudennec, Loïc
6
Goubier, Thierry
6
Besson, Frédéric
5
Bielova, Nataliia
5
Jensen, Thomas
5
Blain Levy, Paul
4
Dal Lago, Ugo
4
Gavazzo, Francesco
4
Hirschowitz, Tom
4
Aotani, Tomoyuki
3
Castagna, Giuseppe
3
Cohen, Albert
3
Consel, Charles
3
Dezani-Ciancaglini, Mariangiola
3
Do, Xuan Khanh
3
Doré, Philippe
3
Dubrulle, Paul
3
Flissi, Areski
3
Jakob, Henner
3
Kesner, Delia
3
Loriant, Nicolas
3
Louise, Stéphane
3
Masuhara, Hidehiko
3
see all ...
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
34
[INFO]Computer Science [cs]
13
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
11
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
10
Calculus
7
Communication channels
7
Encoding
7
Interference
7
Magnetic heads
7
Semantics
7
Syntactics
7
Parallel
6
[INFO.INFO-DC]Computer Science [cs]/Distributed
6
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
6
and Cluster Computing [cs.DC]
6
[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
5
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
5
[INFO.INFO-WB]Computer Science [cs]/Web
5
privacy
5
web tracking
5
ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics
4
Subtyping
4
liveness properties
4
session types
4
Chemical programming
3
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
3
dataflow programming
3
many-core processor
3
ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.5: Program analysis
2
Acoustic
2
see all ...
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
17
IFIP Open Digital Library (International Federation for Information Processing)
8
Université de Nantes: HAL-UNIV-NANTES
8
Université de Paris: Portail HAL
3
Archives ouvertes de Paris-Saclay
2
HAL Université Côte d'Azur
2
HAL-CEA (Commissariat à l'énergie atomique et aux énergies alternatives)
2
INSA Rennes HAL (Institut National des Sciences Appliquées)
2
Portail HAL-ANR (Agence Nationale de la Recherche)
2
Université de Rennes 1: Publications scientifiques (HAL)
2
Archives ouvertes Hal IMT Atlantique
1
Belarusian State University: Electronic Library BSU
1
DML-CZ (Czech Digital Mathematics Library)
1
DataCite Metadata Store (German National Library of Science and Technology)
1
HAL Lyon 1 (University Claude Bernard Lyon 1)
1
Imperial College London: Spiral
1
Institut national des sciences de l'Univers: HAL-INSU
1
National Technical University of Athens (NTUA): DSpace
1
University of Glasgow: Enlighten - Publications
1
University of Missouri: MOspace
1
University of Pennsylvania: ScholaryCommons@Penn
1
University of the Sunshine Coast, Queensland, Australia: COAST Research Database
1
Université Grenoble Alpes: HAL
1
Université Savoie Mont Blanc: HAL
1
Université de Lille 3 - Sciences Humaines et Sociales: HAL
1
Université de Lorraine: HAL
1
Université de Lyon: HAL
1
Yıldız Technical University Research Information System
1
eCite UTAS (University of Tasmania)
1
École Centrale Paris: HAL-ECP
1
see all ...