All Fields
Computer Science
Medicine
FAQ
Contact
Sign in
List of CLI languages
Known as:
.NET language
, List of .net programming languages
, .NET languages
Â
(More)
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
0
5
10
1979
2018
Related topics
Related topics
50 relations
.NET Framework
ASP.NET
Actor model
Ada
(More)
Broader (1)
Lists of programming languages
Related mentions per year
Related mentions per year
1936-2018
1940
1960
1980
2000
2020
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
Zhengping Qian
,
Xiuwei Chen
,
+4 authors
Zheng Zhang
EuroSys
2012
The computation core of many data-intensive applications can be best expressed as matrix computations. The MadLINQ project…Â
(More)
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Secure distributed programming with value-dependent types
Nikhil Swamy
,
Juan Chen
,
Cédric Fournet
,
Pierre-Yves Strub
,
Karthikeyan Bhargavan
,
Jean Yang
ICFP
2011
Distributed applications are difficult to program reliably and securely. Dependently typed functional languages promise to…Â
(More)
Is this relevant?
2010
2010
A .NET framework for an integrated fault diagnosis and failure prognosis architecture
Chaochao Chen
,
Douglas Brown
,
Chris Sconyers
,
George J. Vachtsevanos
,
Bin Zhang
,
Marcos E. Orchard
2010 IEEE AUTOTESTCON
2010
This paper presents a .NET framework as the integrating software platform linking all constituent modules of the fault diagnosis…Â
(More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Kiwi: Synthesis of FPGA Circuits from Parallel Programs
David J. Greaves
,
Satnam Singh
2008 16th International Symposium on Field…
2008
We describe the Kiwi parallel programming library and its associated synthesis system which is used to transform C# parallel…Â
(More)
Is this relevant?
2007
2007
Lost in translation: formalizing proposed extensions to c#
Gavin M. Bierman
,
Erik Meijer
,
Mads Torgersen
OOPSLA
2007
Current real-world software applications typically involve heavy use of relational and XML data and their query languages…Â
(More)
Is this relevant?
2007
2007
Extensible pattern matching via a lightweight language extension
Don Syme
,
Gregory Neverov
,
James Margetson
ICFP
2007
Pattern matching of algebraic data types (ADTs) is a standard feature in typed functional programming languages, but it is well…Â
(More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
LINQ: reconciling object, relations and XML in the .NET framework
Erik Meijer
,
Brian Beckman
,
Gavin M. Bierman
SIGMOD Conference
2006
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
Martin von Löwis
,
Jan Möller
2006
In the past, embedded systems developers have been severely constrained in their choice of programming languages. Recent…Â
(More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
BoogiePL: A typed procedural language for checking object-oriented programs
Robert DeLine
,
K. Rustan M. Leino
2005
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
Michael Barnett
,
Wolfram Schulte
Journal of Systems and Software
2003
We propose a method for implementing behavioral interface specifications on the .NET platform. Our interface specifications are…Â
(More)
Is this relevant?