Programming language (Page 1)

language designed to communicate instructions to a machine

  1. Explore » 
  2. computer science » 
  3. Programming language
Subconcepts:
  1. .NET Framework
  2. ASCII
  3. ASP.NET
  4. Abort
  5. Absoluteness
  6. Abstract data type
  7. Abstract interpretation
  8. Abstract machine
  9. Accounting method
  10. Adaptive optimization
  11. Advice (programming)
  12. Agora
  13. Algorithm design
  14. Algorithmics
  15. Alice (programming language)
  16. Alphanumeric
  17. Ambiguity
  18. Analysis of algorithms
  19. Append
  20. Application programming interface
  21. Arbitrary-precision arithmetic
  22. Argus
  23. Arithmetic underflow
  24. Array data structure
  25. Arrow
  26. Assertion
  27. Associative array
  28. Asymptotically optimal algorithm
  29. Atomic formula
  30. Atomic model
  31. Authoring system
  32. AutoLISP
  33. Automated reasoning
  34. Automated theorem proving
  35. Automatic programming
  36. BETA (programming language)
  37. BLISS
  38. Backslash
  39. Backtracking
  40. Batch processing
  41. Behavioral pattern
  42. Bin
  43. Binary decision diagram
  44. Binary tree
  45. Bisimulation
  46. Bitwise operation
  47. Blackboard (design pattern)
  48. Bloom filter
  49. Boilerplate text
  50. Boolean data type
  51. Buffer overflow
  52. Business logic
  53. Byte
  54. CLIPS
  55. COBOL
  56. Call graph
  57. Callback
  58. Ceylon
  59. Circular buffer
  60. Circumscription
  61. Classical logic
  62. Classifier (UML)
  63. Cloning (programming)
  64. Cluster (spacecraft)
  65. Cobra
  66. Collision
  67. Combinatory logic
  68. Common Object Request Broker Architecture
  69. Compiler
  70. Composability
  71. Comprehension
  72. Computation
  73. Computer file
  74. Computer program
  75. Computer programming
  76. Computer-aided
  77. Concurrency
  78. Concurrent computing
  79. Cone (formal languages)
  80. Confluence
  81. Conservative extension
  82. Constant (computer programming)
  83. Construct (python library)
  84. Constructionism
  85. Containment (computer programming)
  86. Context switch
  87. Continuation
  88. Control flow
  89. Control flow graph
  90. Control logic
  91. Correctness
  92. Crash
  93. Critical section
  94. Cross-platform
  95. Crystal (programming language)
  96. Curl (programming language)
  97. Curry
  98. Dart
  99. Data
  100. Data access
  101. Data acquisition
  102. Data cube
  103. Data file
  104. Data logger
  105. Data manipulation language
  106. Data mapping
  107. Data structure
  108. Data type
  109. Data validation
  110. Database transaction
  111. Dataflow
  112. Datalog
  113. Deadlock
  114. Debugging
  115. Decision problem
  116. Declaration
  117. Deductive database
  118. Deforestation (computer science)
  119. Delegate
  120. Delphi
  121. Dependence analysis
  122. Description logic
  123. Design language
  124. Design pattern
  125. Development environment
  126. Diagrammatic reasoning
  127. Direct proof
  128. DirectX
  129. Directive
  130. Discrete system
  131. Disjunctive normal form
  132. Dispose pattern
  133. Distributed Computing Environment
  134. Distributed algorithm
  135. Divide and conquer algorithms
  136. Documentation
  137. Domain of discourse
  138. Domain-specific language
  139. Durability
  140. Dynamic data
  141. Dynamic testing
  142. Edit distance
  143. Effi
  144. Electronic system-level design and verification
  145. Elementary theory
  146. Elixir (programming language)
  147. Empirical modelling
  148. Environment variable
  149. Erasure
  150. Escher
  151. Event calculus
  152. Exception handling
  153. Executable
  154. Execution model
  155. Execution time
  156. Expression (computer science)
  157. Expressive power
  158. Extensibility
  159. Extension (predicate logic)
  160. Extensionality
  161. External variable
  162. FAUST
  163. FIFO (computing and electronics)
  164. Factor (programming language)
  165. Factory (object-oriented programming)
  166. Falcon
  167. File format
  168. Finite thickness
  169. Finite-state machine
  170. First-order logic
  171. Floating point
  172. Flowchart
  173. Fold (higher-order function)
  174. Formal description
  175. Formal language
  176. Formal methods
  177. Formal semantics (linguistics)
  178. Formal specification
  179. Formal system
  180. Formal verification
  181. Fortran
  182. Fragment (logic)
  183. Fragmentation (computing)
  184. Front and back ends
  185. Functional design
  186. Functional programming
  187. GPSS
  188. GRASP
  189. Garbage
  190. Generic programming
  191. Glider
  192. Goto
  193. Granularity
  194. Graphical user interface
  195. Guard (computer science)
  196. Gödel
  197. HOL
  198. HTML5
  199. Harbour
  200. Hash function
  201. Heap (data structure)
  202. Horseshoe (symbol)
  203. Hot spot (computer programming)
  204. INT
  205. Icon
  206. Identifier
  207. Implementation
  208. Impromptu
  209. Indentation
  210. Index (typography)
  211. Indirection
  212. Inductive logic programming
  213. Initialization
  214. Installation
  215. Instruction set
  216. Instrument control
  217. Instrumentation (computer programming)
  218. Integer (computer science)
  219. Interactive programming
  220. Interchangeability
  221. Interpretation (philosophy)
  222. Interpreter
  223. JAR
  224. JSON
  225. Janus
  226. Java
  227. JavaScript
  228. Joins
  229. Kaleidoscope
  230. Karel
  231. LOOM
  232. Lambda calculus
  233. Language construct
  234. Lasso (programming language)
  235. Level set (data structures)
  236. Library function
  237. Linear search
  238. Linear temporal logic
  239. Linked list
  240. Linker
  241. Lint
  242. Lisp
  243. Literal (mathematical logic)
  244. Liveness
  245. Loader
  246. Local language
  247. Locale (computer software)
  248. Logic programming
  249. Logical conjunction
  250. Logical connective
  251. Logical framework
  252. Logo (programming language)
  253. Look-ahead
  254. Lookup table
  255. Loose coupling
  256. MATLAB
  257. Macro
  258. Marshalling
  259. Mathematical logic
  260. Memory footprint
  261. Mercury (programming language)
  262. Mesa
  263. Message broker
  264. Message passing
  265. Message queue
  266. Metalanguage
  267. Metamodeling
  268. Metaprogramming
  269. Metatheory
  270. Microsoft Office
  271. Minification
  272. Mobile agent
  273. Model checking
  274. Modelica
  275. Modular design
  276. Modular programming
  277. Mutual exclusion
  278. NIP
  279. Natural deduction
  280. Negation
  281. NetCDF
  282. NetLogo
  283. Nice
  284. Non-monotonic logic
  285. Normalization property
  286. Numbering
  287. Object-oriented programming
  288. Offset (computer science)
  289. Online algorithm
  290. Opcode
  291. Oracle
  292. Overhead (engineering)
  293. Overlay
  294. P system
  295. POSIX
  296. Pagoda
  297. Parallel algorithm
  298. Parallel array
  299. Parsing
  300. Partial evaluation
  301. Pascal (unit)
  302. Path (computing)
  303. Pattern language (formal languages)
  304. Pattern matching
  305. Peano axioms
  306. Performance prediction
  307. Performance tuning
  308. Perl
  309. Persistent data structure
  310. Petri net
  311. Philosophy of logic
  312. Pi calculus
  313. Pipeline (software)
  314. Planner
  315. Plug-in
  316. Polling
  317. Polyglot
  318. Potential method
  319. Precondition
  320. Predicate (mathematical logic)
  321. Preprocessor
  322. Process (computing)
  323. Process calculus
  324. Product type
  325. Profiling (computer programming)
  326. Program Design Language
  327. Program analysis
  328. Program code
  329. Program structure
  330. Program synthesis
  331. Program transformation
  332. Programmer
  333. Programming paradigm
  334. Programming style
  335. Prolog
  336. Propositional calculus
  337. Python (programming language)
  338. Quantifier elimination
  339. Queue
  340. Quine
  341. R package
  342. Random access
  343. Raw data
  344. Readability
  345. Realizability
  346. Reasoning system
  347. Recursion (computer science)
  348. Reduction strategy
  349. Reentrancy
  350. Refinement calculus
  351. Reflection (computer programming)
  352. Regular expression
  353. Relocation
  354. Resolution (logic)
  355. Resource management (computing)
  356. Retargeting
  357. Reverse engineering
  358. Rewriting
  359. Rippling
  360. Row
  361. Rule of inference
  362. Rule of thumb
  363. Rule-based system
  364. Runtime system
  365. Rust (programming language)
  366. SCOOP
  367. SIGNAL (programming language)
  368. SISAL
  369. SOAP
  370. SPARK (programming language)
  371. SQL
  372. Sass
  373. Satisfiability modulo theories
  374. Scaffold
  375. Schizophrenia (object-oriented programming)
  376. Scope (computer science)
  377. Scratch
  378. Scripting language
  379. Search algorithm
  380. Self-reference
  381. Semantics (computer science)
  382. Semaphore
  383. Separation logic
  384. Sequent
  385. Serialization
  386. Servant
  387. Set (abstract data type)
  388. Shuffling
  389. Side effect (computer science)
  390. Simula
  391. Situation calculus
  392. Skeleton (computer programming)
  393. Sleep (system call)
  394. Snippet
  395. Software
  396. Software maintainer
  397. Software portability
  398. Solidity
  399. Solver
  400. Sorting
  401. Soundness
  402. Source code
  403. Space partitioning
  404. Sparse array
  405. Spec#
  406. Specification language
  407. Stack (abstract data type)
  408. State (computer science)
  409. Static analysis
  410. Stress testing (software)
  411. Structured programming
  412. Sublanguage
  413. Subroutine
  414. Substitution (logic)
  415. Subtext
  416. Subtyping
  417. Swift
  418. Symbol (formal)
  419. Synchronizer
  420. System call
  421. System testing
  422. SystemC
  423. TRAC
  424. TUTOR
  425. Tag system
  426. Template
  427. Template method pattern
  428. Temporal logic
  429. Ternary operation
  430. Test data
  431. Test fixture
  432. Text processing
  433. Thematic structure
  434. Theory
  435. Theory of computation
  436. Thrashing
  437. Thread (computing)
  438. Time to market
  439. Toolbox
  440. Top-down and bottom-up design
  441. Tracing
  442. Trainer
  443. Trait
  444. Trampoline
  445. Transient (computer programming)
  446. Transition system
  447. Tree traversal
  448. Trimming
  449. Truth value
  450. Turbo Pascal
  451. Turing
  452. Turnstile
  453. Type safety
  454. TypeScript
  455. Undo
  456. Unification
  457. User Friendly
  458. User interface
  459. Vampire
  460. Virtual machine
  461. Visitor pattern
  462. Visual Basic for Applications
  463. Visual FoxPro
  464. Visual programming language
  465. Von Neumann architecture
  466. Web service
  467. Witness
  468. Workaround
  469. Wright
  470. XBRL
  471. ZEBRA (computer)
  472. Zipper
  473. cons
  474. occam
  475. sed
  476. struct
  477. tar (computing)
Papers in this category: 8477431 Current Page: 1 / 100
MAG: 1000000349
1984
The importance of parasitic entomophages and ways of increasing their effectiveness in forests.
MAG: 1000000686
1996
广州幅(F49)南半幅—海南岛幅(E49)海域新生代沉积盆地分布和油气资源
MAG: 1000001125
2001
Molluscs of the river Muchawka and selected habitat factors
MAG: 1000001352
2013
ANKARA SANCAĞI’NDA KARAKEÇİLİLERİN SOSYO-EKONOMİK VAZİYETİ (1620-1720)
MAG: 1000003278
2011
Premios Nacionales 2010: los más selectos del Estado de Chile.
MAG: 1000003482
2000
Patologías más frecuentes del área perianal
MAG: 1000003849
1999
La evaluación en bachillerato: una perspectiva práctica
MAG: 1000003881
1990
非吸烟烟草对BALB/3T3 A31—1—13细胞的转化活性
DOI: 10.14597/infraeco.2014.4.2.090
2014
Wpływ długotrwałego gromadzenia odpadów z cmentarzy na zmianę ich masy
MAG: 1000005846
2010
Trophy Phrases vs Long Tail Search Terms
MAG: 100000600
1990
Los tallos de la vid: cultivo del viñedo
MAG: 1000007130
1997
哲学家在做什么?──评任恢忠《物质、意识、场》
MAG: 1000007405
1993
AMIC Seminar on Participatory Communication for Environmental Management : Kuala Lumpur Mar 30-Apr 2, 1993 : [closing address]
MAG: 1000008429
1999
“大容量”的诱惑——如何选择大容量电子邮件系统
MAG: 100000846
1996
Cited 6 times
Emergency medical care following the great Hanshin-Awaji earthquake: practices and proposals (a report from a university hospital located in the damaged region).
DOI: 10.1017/cbo9780511628382.010
1996
Notes
MAG: 1000009618
2006
Survey: Upstream Sector Oil and Natural Gas Most Profitable in China
MAG: 1000010178
2011
Analisis Kualitas Air di Hutan Wisata Sungai Dumai sebagai Kajianuntuk Kegiatan Pengelolaan Wisata Alam Bunga Tujuh
MAG: 1000010520
2015
Álbum comparativo da cidade de São Paulo 1862-1887 - Rio Tieté
MAG: 1000011119
2011
Jorge Salinas incursionara en el teatro experimental
MAG: 1000012203
1921
Port of Algiers
DOI: 10.6092/unibo/amsdottorato/1016
2008
Is Mozambique the new south african frontier?The socio-economic impact of the Great Limpopo Transfrontier Conservation Area on the livelihood strategies of border communities in the Pafuri administrative post
MAG: 1000014842
2004
以“肝脏”为核心的专题复习
MAG: 100001526
2001
Implicacions dels mercats de futurs i opcions sobre bestiar en viu: anàlisi de la possibilitat d'implantació en territori català
MAG: 1000015521
2005
大学城的另类定位——广州旅游的“太阳”
MAG: 1000015956
1976
Aspectos jurídicos del comercio internacional como promoción del desarrollo económico
MAG: 1000016420
2011
Los caminos del agua
MAG: 1000018412
2004
Studi habitat dan pakan rusa Bawean (Axis kuhlii) di SUaka Margasatwa Pulau Bawean, Kabupaten Gresik, Jawa Timur
MAG: 1000018485
2015
On the up: UK growth forecast improves for next two years
MAG: 1000018802
2010
Aplikasi Metode Keandalan Waktu Perjalanan Dalam Pemilihan Rute Di Perumnas Mandala
MAG: 1000019151
2008
Co-host Cities of the Beijing Olympic Games
DOI: 10.3133/ofr729
1972
Geologic map of NE part of Spanish Fork Peak Quadrangle, Utah
DOI: 10.1007/978-94-017-8759-8_11
2014
Chinese Migration to Japan, 1978–2010: Patterns and Policies
MAG: 100002112
2012
Alfonso Domingo: entrevista: "cada uno ve en El Bosco lo que quiere ver"
MAG: 1000021746
1985
Inventario floristico de las plantas indeseables en dos regiones citricolas del pais
MAG: 100002191
1997
Cited 3 times
Historia de la alimentación mediterránea
MAG: 1000022444
2011
Modern problems of organization of search, rescue and rendering assistanse in sea acidents. Review.
MAG: 1000023992
2010
Ecotourism Achievements and Challenges in China and the World
MAG: 100002529
2005
Brukarnas krav i byggprocessen : en fallstudie
MAG: 1000026568
2001
Cited 9 times
The Professional Accountancy Bodies and the Provision of Education and Training in Relation to Environmental Issues
MAG: 1000026579
2000
Figuraciones para una nueva emoción (cuatro notas. verano 2000
MAG: 1000026725
2008
MAPPING PARKING SYSTEM
MAG: 100002674
2011
NATURAL AND CULTURAL HERITAGE TOURISM POTENTIAL AND SUSTAINABLE PLANNING PROPOSAL FOR ELMALI, ANTALYA
MAG: 100002745
2007
Marketing móvil: una nueva herramienta de comunicación : análisis y nuevas perspectivas para el mercado español
MAG: 100002815
2011
Impactes da mobilidade no modelo urbano: a sustentabilidade do transporte público
DOI: 10.1023/a:1007447308678
1998
Cited 21 times
The effects of interactions with reef residents on the settlement
MAG: 1000028279
1988
La representación de la realidad en "El Mercader de Venecia"
MAG: 100002856
2011
Heritage at risk. Local development, a strategy for its control: historic quarter of the City of Colonia del Sacramento
MAG: 1000028781
2001
La politica sanitaria en la ganaderia andaluza.
MAG: 1000029991
2009
LibGuides: * Jewish Studies: Sample testimonies
DOI: 10.1007/978-1-4020-4948-4_12
2006
Cited 7 times
Medicinal plants in tropical homegardens
MAG: 100003126
1999
Cited 4 times
Gaudí, l'home i l'obra
MAG: 1000031813
2008
Analysis of an Epidemic Outbreak of Keratoconjunctivitis in Medical Residents
MAG: 1000031946
1992
Pandangan dunia ekologis dalam desert Solitaire karya Edward Abbey (Ecological Worldview in Edward Abbey's Desert Solitaire)
MAG: 100003318
1992
Centros de documentación sobre el mundo árabe e Islam
MAG: 1000034781
2002
Procesos de aprendizaje y formación docente en condiciones de extrema diversidad
MAG: 1000034952
2014
台灣證券交易所「收盤前資訊揭露」對投資人情緒、市場報酬與波動度之關聯性研究
MAG: 1000035346
2007
崇高风范 泽被长淮——彭雪枫将军牺牲前后的故事
DOI: 10.1501/ankara-24313
2010
Gediz havzasında don risk tarihlerinin değerlendirilmesi
MAG: 1000035744
1974
Terra rossa. Área de estudio: Cuenca del Guadalquivir. Localización: Puebla de los Infantes, Sevilla
MAG: 1000036419
1994
Cited 5 times
Quantitative and qualitative changes of the phytoplankton in heated Konin lakes
DOI: 10.3133/93811
2005
Evaluating the impacts of white-tailed deer (Odocoileus virginianus) on vegetation within Pea Ridge National Military Park
MAG: 1000037274
2006
Adjustment time of the first baroclinic Rossby wave in the global oceans
MAG: 1000037341
1987
A conceptual method for monitoring locust habitat
DOI: 10.5848/csp.2434.00002
2015
The NATO Club and Afghanistan: Northern, Rich, and White Nations Defend the Imperial Palace
DOI: 10.1007/978-3-540-77587-4_156
2010
Cited 5 times
Microbial Communities in Oil Shales, Biodegraded and Heavy Oil Reservoirs, and Bitumen Deposits
MAG: 1000039826
1954
Discurso de contestación por... José Caruana Reig, Barón de San Petrillo
MAG: 1000040141
2000
石黝炉原子吸收法直接测定酒,饮料中铜,锰,铅
DOI: 10.1007/3-540-26676-3_9
2005
Local Government Perceptions of Urban Forestry
DOI: 10.7560/746435
1985
Cited 3 times
The Lowland Maya Postclassic
MAG: 1000041348
2013
Juan Ramírez de Lucas: La Luminosa pasión de García Lorca
MAG: 1000041603
2010
Corner of Frederick Street and Marine Square, Trinidad
MAG: 1000042516
2009
学画三味——浅谈中国画的真、善、美
DOI: 10.1038/176590a0
1955
Locust Research: Discussions in London
MAG: 1000042977
2000
轮状病毒(HRV)胃肠炎防治研究进展
MAG: 1000043616
2010
吴江文化环境与“吴江派”的生成
DOI: 10.1017/cbo9780511706196.001
2010
PREFACE
MAG: 1000044004
2002
Революционный террор во Франции XVIII века: новейшие интерпретации
MAG: 1000046263
1987
Europa occidental-América Latina, experiencias y desafíos
DOI: 10.1017/cbo9780511782367.001
2010
THE MOLUCCAS—TERNATE
MAG: 1000048385
2014
Геосистемный подход в формировании региональных систем особо охраняемых природных территорий (на примере Свердловской области)
MAG: 1000048534
1999
Contrastación de hipótesis explicativas de la distribución de la diversidad específica de arañas ( Arachnida, araneae ) en las islas Canarias
MAG: 1000048737
1986
A Watershed Event: China’s Shakespeare Festival
MAG: 1000048889
2003
Caracterización arqueométrica de la producción cerámica numantina: tesis doctoral presentada por Manuel García Heras
MAG: 1000049223
2013
RESEARCHES ON THE COAST OF SOMALIA. HETEROCHEIRA MARTELLII ARDOIN, 1974 (COLEOPTERA TENEBRIONIDAE): FIRST DESCRIPTION OF THE LARVA AND PUPA
MAG: 1000049443
2012
Prime osservazioni sul controllo interno nelle s.r.l.
MAG: 1000049508
2014
Animales de ciudad: algunas especies cambian de hábitos para adaptarse al medio urbano
MAG: 1000050324
2004
A study about DWCRA and the economic participation of women and children in Kerala
MAG: 1000050516
2015
MACROFLORAL ANALYSIS, CHARCOAL IDENTIFICATION, BONE COLLAGEN EXTRACTION, AND AMS RADIOCARBON AGE DETERMINATION OF SAMPLES FROM THE FORT LOOKOUT II SITE (39LM0057), LYMAN COUNTY, SOUTH DAKOTA
MAG: 1000051
1994
El contexto: su naturaleza y su papel en el proceso de interpretación de enunciados
MAG: 1000051846
1987
Las Segunda campaña de excavaciones en el yacimiento del "Macerado" (Leciñena- Perdiguera, Zaragoza). Noticia preliminar
MAG: 1000052305
2012
七年级英语(上)寒假自测卷二
MAG: 1000052571
2000
Characterisation of olive germplasm from Marche Region.
MAG: 1000052698
2007
L' uso di "Corylus colurna" per la selezione di portinnesti monocaule del nocciolo
DOI: 10.1007/978-90-481-9744-6_8
2011
Dynamics in the Formation of Ecological Knowledge
MAG: 100005359
1989
The Global Dimensions of Africa's Crisis: Debts, Structural Adjustment, and Workers
MAG: 1000053670
1989
Women in the centre. Women, planning and Birmingham City Centre
MAG: 1000053798
2004
Voraussichtliche Entwicklung der Schulabgängerzahlen in Baden-Württemberg bis 2020
MAG: 1000054119
1989
Carta abierta para el homenaje a Julian Pitt-Rivers
MAG: 1000054280
2011
论“人才以用为本”的有效落实机制
Papers in this category: 8477431 Current Page: 1 / 100