FAQ

List of CLI languages

Known as: .NET language, List of .net programming languages, .NET languages 
CLI Languages are computer programming languages that are used to produce libraries and programs that conform to the Common Language Infrastructure… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1979-2018
051019792018

Related topics

Related topics

50 relations
.NET FrameworkASP.NETActor modelAda
(More)

Broader (1)

Lists of programming languages

Related mentions per year

Related mentions per year

1936-2018
19401960198020002020
List of CLI languages
Java
Imperative programming
C++
Type system
Type conversion

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
MadLINQ: large-scale distributed matrix computation for the cloud
The computation core of many data-intensive applications can be best expressed as matrix computations. The MadLINQ project… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Secure distributed programming with value-dependent types
Distributed applications are difficult to program reliably and securely. Dependently typed functional languages promise to… (More)
  • figure 1
Is this relevant?
2010
2010
A .NET framework for an integrated fault diagnosis and failure prognosis architecture
This paper presents a .NET framework as the integrating software platform linking all constituent modules of the fault diagnosis… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Kiwi: Synthesis of FPGA Circuits from Parallel Programs
We describe the Kiwi parallel programming library and its associated synthesis system which is used to transform C# parallel… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2007
2007
Lost in translation: formalizing proposed extensions to c#
Current real-world software applications typically involve heavy use of relational and XML data and their query languages… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
Extensible pattern matching via a lightweight language extension
Pattern matching of algebraic data types (ADTs) is a standard feature in typed functional programming languages, but it is well… (More)
  • table 1
  • figure 1
Is this relevant?
Highly Cited
2006
Highly Cited
2006
LINQ: reconciling object, relations and XML in the .NET framework
Many software applications today need to handle data from different data models; typically objects from the host programming… (More)
Is this relevant?
2006
2006
A Microsoft .NET Front-End for GCC
In the past, embedded systems developers have been severely constrained in their choice of programming languages. Recent… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2005
Highly Cited
2005
BoogiePL: A typed procedural language for checking object-oriented programs
This note defines BoogiePL, an intermediate language for program analysis and program verification. The language is a simple… (More)
Is this relevant?
2003
2003
Runtime verification of .NET contracts
We propose a method for implementing behavioral interface specifications on the .NET platform. Our interface specifications are… (More)
  • figure 1
  • figure 3
  • figure 7
Is this relevant?