Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

System programming language

Known as: Applications language, SPL, Systems programming language 
A system programming language usually refers to a programming language used for system programming; such languages are designed for writing system… Expand
Wikipedia

Related topics

Related topics

50 relations
AIXALGOL WAdaAssembly language
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
RustBelt: securing the foundations of the rust programming language
Rust is a new systems programming language that promises to overcome the seemingly fundamental tradeoff between high-level safety… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2014
Highly Cited
2014
Natural proofs for data structure manipulation in C using separation logic
The natural proof technique for heap verification developed by Qiu et al. [32] provides a platform for powerful sound reasoning… Expand
  • figure 1
  • figure 4
  • figure 5
  • figure 6
  • table 1
Is this relevant?
2006
2006
MobyRek: a conversational recommender system for on-the-move travellers.
Although many e-commerce websites support travel information search and in particular travel planning, most of them simply let… Expand
  • figure 17.1
  • figure 17.2
  • figure 17.3
  • figure 17.4
  • table 17.1
Is this relevant?
Highly Cited
2002
Highly Cited
2002
RULE-BASED DETECTION OF INCONSISTENCY IN UML MODELS
Software design inconsistency can be hard to trace manually. Computer assistance in detecting and resolving inconsistency issues… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The psychology of language : from data to theory
What is Language? What is Psycholinguistics? The Speech System and Spoken Word Recognition Visual Word Recognition Pronouncing… Expand
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models
The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Scripting: Higher-Level Programming for the 21st Century
A fundamental change is occurring in the way people write computer programs, away from system programming languages such as C or… Expand
  • figure 1
  • table 1
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Active diagnosis of discrete event systems
While the need for accurate and timely diagnosis of system failures and the advantages of automated diagnostic systems are well… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1989
Highly Cited
1989
On the undecidability of splicing systems
The notion of splicing system has been used to abstract the process of DNA digestion by restriction enzymes and subsequent… Expand
Is this relevant?
Highly Cited
1977
Highly Cited
1977
OPS, A Domain-Independent Production System Language
It has been claimed that production systems have several advantages over other representational schemes. These include the… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE