ϟ
Programming language (Page 1)
language designed to communicate instructions to a machine
Subconcepts:
- Abort
- Absoluteness
- Abstract data type
- Abstract interpretation
- Abstract machine
- Accounting method
- Adaptive optimization
- Advice (programming)
- Agora
- Algorithm design
- Algorithmics
- Alice (programming language)
- Alphanumeric
- Ambiguity
- Analysis of algorithms
- Append
- Application programming interface
- Arbitrary-precision arithmetic
- Argus
- Arithmetic underflow
- Array data structure
- Arrow
- ASCII
- ASP.NET
- Assertion
- Associative array
- Asymptotically optimal algorithm
- Atomic formula
- Atomic model
- Authoring system
- AutoLISP
- Automated reasoning
- Automated theorem proving
- Automatic programming
- Backslash
- Backtracking
- Batch processing
- Behavioral pattern
- BETA (programming language)
- Bin
- Binary decision diagram
- Binary tree
- Bisimulation
- Bitwise operation
- Blackboard (design pattern)
- BLISS
- Bloom filter
- Boilerplate text
- Boolean data type
- Buffer overflow
- Business logic
- Byte
- Callback
- Call graph
- Ceylon
- Circular buffer
- Circumscription
- Classical logic
- Classifier (UML)
- CLIPS
- Cloning (programming)
- Cluster (spacecraft)
- COBOL
- Cobra
- Collision
- Combinatory logic
- Common Object Request Broker Architecture
- Compiler
- Composability
- Comprehension
- Computation
- Computer-aided
- Computer file
- Computer program
- Computer programming
- Concurrency
- Concurrent computing
- Cone (formal languages)
- Confluence
- cons
- Conservative extension
- Constant (computer programming)
- Constructionism
- Construct (python library)
- Containment (computer programming)
- Context switch
- Continuation
- Control flow
- Control flow graph
- Control logic
- Correctness
- Crash
- Critical section
- Cross-platform
- Crystal (programming language)
- Curl (programming language)
- Curry
- Dart
- Data
- Data access
- Data acquisition
- Database transaction
- Data cube
- Data file
- Dataflow
- Datalog
- Data logger
- Data manipulation language
- Data mapping
- Data structure
- Data type
- Data validation
- Deadlock
- Debugging
- Decision problem
- Declaration
- Deductive database
- Deforestation (computer science)
- Delegate
- Delphi
- Dependence analysis
- Description logic
- Design language
- Design pattern
- Development environment
- Diagrammatic reasoning
- Directive
- Direct proof
- DirectX
- Discrete system
- Disjunctive normal form
- Dispose pattern
- Distributed algorithm
- Distributed Computing Environment
- Divide and conquer algorithms
- Documentation
- Domain of discourse
- Domain-specific language
- Durability
- Dynamic data
- Dynamic testing
- Edit distance
- Effi
- Electronic system-level design and verification
- Elementary theory
- Elixir (programming language)
- Empirical modelling
- Environment variable
- Erasure
- Escher
- Event calculus
- Exception handling
- Executable
- Execution model
- Execution time
- Expression (computer science)
- Expressive power
- Extensibility
- Extensionality
- Extension (predicate logic)
- External variable
- Factor (programming language)
- Factory (object-oriented programming)
- Falcon
- FAUST
- FIFO (computing and electronics)
- File format
- Finite-state machine
- Finite thickness
- First-order logic
- Floating point
- Flowchart
- Fold (higher-order function)
- Formal description
- Formal language
- Formal methods
- Formal semantics (linguistics)
- Formal specification
- Formal system
- Formal verification
- Fortran
- Fragmentation (computing)
- Fragment (logic)
- Front and back ends
- Functional design
- Functional programming
- Garbage
- Generic programming
- Glider
- Gödel
- Goto
- GPSS
- Granularity
- Graphical user interface
- GRASP
- Guard (computer science)
- Harbour
- Hash function
- Heap (data structure)
- HOL
- Horseshoe (symbol)
- Hot spot (computer programming)
- HTML5
- Icon
- Identifier
- Implementation
- Impromptu
- Indentation
- Index (typography)
- Indirection
- Inductive logic programming
- Initialization
- Installation
- Instruction set
- Instrumentation (computer programming)
- Instrument control
- INT
- Integer (computer science)
- Interactive programming
- Interchangeability
- Interpretation (philosophy)
- Interpreter
- Janus
- JAR
- Java
- JavaScript
- Joins
- JSON
- Kaleidoscope
- Karel
- Lambda calculus
- Language construct
- Lasso (programming language)
- Level set (data structures)
- Library function
- Linear search
- Linear temporal logic
- Linked list
- Linker
- Lint
- Lisp
- Literal (mathematical logic)
- Liveness
- Loader
- Locale (computer software)
- Local language
- Logical conjunction
- Logical connective
- Logical framework
- Logic programming
- Logo (programming language)
- Look-ahead
- Lookup table
- LOOM
- Loose coupling
- Macro
- Marshalling
- Mathematical logic
- MATLAB
- Memory footprint
- Mercury (programming language)
- Mesa
- Message broker
- Message passing
- Message queue
- Metalanguage
- Metamodeling
- Metaprogramming
- Metatheory
- Microsoft Office
- Minification
- Mobile agent
- Model checking
- Modelica
- Modular design
- Modular programming
- Mutual exclusion
- Natural deduction
- Negation
- NetCDF
- .NET Framework
- NetLogo
- Nice
- NIP
- Non-monotonic logic
- Normalization property
- Numbering
- Object-oriented programming
- occam
- Offset (computer science)
- Online algorithm
- Opcode
- Oracle
- Overhead (engineering)
- Overlay
- Pagoda
- Parallel algorithm
- Parallel array
- Parsing
- Partial evaluation
- Pascal (unit)
- Path (computing)
- Pattern language (formal languages)
- Pattern matching
- Peano axioms
- Performance prediction
- Performance tuning
- Perl
- Persistent data structure
- Petri net
- Philosophy of logic
- Pi calculus
- Pipeline (software)
- Planner
- Plug-in
- Polling
- Polyglot
- POSIX
- Potential method
- Precondition
- Predicate (mathematical logic)
- Preprocessor
- Process calculus
- Process (computing)
- Product type
- Profiling (computer programming)
- Program analysis
- Program code
- Program Design Language
- Programmer
- Programming paradigm
- Programming style
- Program structure
- Program synthesis
- Program transformation
- Prolog
- Propositional calculus
- P system
- Python (programming language)
- Quantifier elimination
- Queue
- Quine
- Random access
- Raw data
- Readability
- Realizability
- Reasoning system
- Recursion (computer science)
- Reduction strategy
- Reentrancy
- Refinement calculus
- Reflection (computer programming)
- Regular expression
- Relocation
- Resolution (logic)
- Resource management (computing)
- Retargeting
- Reverse engineering
- Rewriting
- Rippling
- Row
- R package
- Rule-based system
- Rule of inference
- Rule of thumb
- Runtime system
- Rust (programming language)
- Sass
- Satisfiability modulo theories
- Scaffold
- Schizophrenia (object-oriented programming)
- SCOOP
- Scope (computer science)
- Scratch
- Scripting language
- Search algorithm
- sed
- Self-reference
- Semantics (computer science)
- Semaphore
- Separation logic
- Sequent
- Serialization
- Servant
- Set (abstract data type)
- Shuffling
- Side effect (computer science)
- SIGNAL (programming language)
- Simula
- SISAL
- Situation calculus
- Skeleton (computer programming)
- Sleep (system call)
- Snippet
- SOAP
- Software
- Software maintainer
- Software portability
- Solidity
- Solver
- Sorting
- Soundness
- Source code
- Space partitioning
- SPARK (programming language)
- Sparse array
- Spec#
- Specification language
- SQL
- Stack (abstract data type)
- State (computer science)
- Static analysis
- Stress testing (software)
- struct
- Structured programming
- Sublanguage
- Subroutine
- Substitution (logic)
- Subtext
- Subtyping
- Swift
- Symbol (formal)
- Synchronizer
- SystemC
- System call
- System testing
- Tag system
- tar (computing)
- Template
- Template method pattern
- Temporal logic
- Ternary operation
- Test data
- Test fixture
- Text processing
- Thematic structure
- Theory
- Theory of computation
- Thrashing
- Thread (computing)
- Time to market
- Toolbox
- Top-down and bottom-up design
- TRAC
- Tracing
- Trainer
- Trait
- Trampoline
- Transient (computer programming)
- Transition system
- Tree traversal
- Trimming
- Truth value
- Turbo Pascal
- Turing
- Turnstile
- TUTOR
- Type safety
- TypeScript
- Undo
- Unification
- User Friendly
- User interface
- Vampire
- Virtual machine
- Visitor pattern
- Visual Basic for Applications
- Visual FoxPro
- Visual programming language
- Von Neumann architecture
- Web service
- Witness
- Workaround
- Wright
- XBRL
- ZEBRA (computer)
- Zipper
DOI: 10.1016/0022-5193(64)90038-4
1964
Cited 13986 times
The genetical evolution of social behaviour. I
DOI: 10.1007/bf02478259
1943
Cited 13865 times
A logical calculus of the ideas immanent in nervous activity
DOI: 10.1042/bj0620315
1956
Cited 13813 times
A study of the conditions and mechanism of the diphenylamine reaction for the colorimetric estimation of deoxyribonucleic acid
DOI: 10.1006/nimg.2001.0978
2002
Cited 13807 times
Automated Anatomical Labeling of Activations in SPM Using a Macroscopic Anatomical Parcellation of the MNI MRI Single-Subject Brain
DOI: 10.1109/cvpr.2017.106
2017
Cited 13787 times
Feature Pyramid Networks for Object Detection
DOI: 10.1163/156856897x00357
1997
Cited 13536 times
The Psychophysics Toolbox
DOI: 10.1021/ct700301q
2008
Cited 13500 times
GROMACS 4: Algorithms for Highly Efficient, Load-Balanced, and Scalable Molecular Simulation
DOI: 10.3758/bf03206553
2004
Cited 13491 times
SPSS and SAS procedures for estimating indirect effects in simple mediation models
DOI: 10.1007/s11263-009-0275-4
2009
Cited 13267 times
The Pascal Visual Object Classes (VOC) Challenge
DOI: 10.1287/mnsc.30.9.1078
1984
Cited 13254 times
Some Models for Estimating Technical and Scale Inefficiencies in Data Envelopment Analysis
DOI: 10.1016/j.softx.2015.06.001
2015
Cited 13239 times
GROMACS: High performance molecular simulations through multi-level parallelism from laptops to supercomputers
DOI: 10.1093/bioinformatics/btp187
2009
Cited 13220 times
DnaSP v5: a software for comprehensive analysis of DNA polymorphism data
DOI: 10.1186/1471-2105-10-421
2009
Cited 13207 times
BLAST+: architecture and applications
DOI: 10.1107/s090744490804362x
2009
Cited 13160 times
Structure validation in chemical crystallography
DOI: 10.18637/jss.v048.i02
2012
Cited 13087 times
<b>lavaan</b>: An<i>R</i>Package for Structural Equation Modeling
DOI: 10.1016/0167-2789(92)90242-f
1992
Cited 13070 times
Nonlinear total variation based noise removal algorithms
DOI: 10.1111/j.1755-0998.2010.02847.x
2010
Cited 12968 times
Arlequin suite ver 3.5: a new series of programs to perform population genetics analyses under Linux and Windows
DOI: 10.1109/iccv.2017.324
2017
Cited 12918 times
Focal Loss for Dense Object Detection
DOI: 10.1017/cbo9780511609220.014
1988
Cited 12798 times
Prospect theory: An analysis of decision under risk
DOI: 10.1162/jocn.1991.3.1.71
1991
Cited 12727 times
Eigenfaces for Recognition
MAG: 3214833809
1990
Cited 12700 times
Qualitative evaluation and research methods
DOI: 10.1016/0377-0427(87)90125-7
1987
Cited 12691 times
Silhouettes: A graphical aid to the interpretation and validation of cluster analysis
DOI: 10.1109/tpami.2017.2699184
2018
Cited 12628 times
DeepLab: Semantic Image Segmentation with Deep Convolutional Nets, Atrous Convolution, and Fully Connected CRFs
DOI: 10.1109/mcom.2002.1024422
2002
Cited 12611 times
A survey on sensor networks
DOI: 10.1109/iccv.2017.244
2017
Cited 12589 times
Unpaired Image-to-Image Translation Using Cycle-Consistent Adversarial Networks
DOI: 10.1111/j.1471-8286.2005.01155.x
2005
Cited 12556 times
<scp>genalex</scp> 6: genetic analysis in Excel. Population genetic software for teaching and research
DOI: 10.1016/s0165-0114(86)80034-3
1986
Cited 12484 times
Intuitionistic fuzzy sets
DOI: 10.1021/ac50052a726
1980
Cited 12458 times
Official Methods of Analysis of
DOI: 10.1107/s0108767390010224
1991
Cited 12397 times
Improved methods for building protein models in electron density maps and the location of errors in these models
DOI: 10.1021/ja00299a024
1985
Cited 12391 times
Development and use of quantum mechanical molecular models. 76. AM1: a new general purpose quantum mechanical molecular model
DOI: 10.1145/219717.219748
1995
Cited 12373 times
WordNet
DOI: 10.1038/372425a0
1994
Cited 12322 times
Positional cloning of the mouse obese gene and its human homologue
DOI: 10.1107/s0021889802022112
2003
Cited 12271 times
Single-crystal structure validation with the program<i>PLATON</i>
DOI: 10.1007/bf00122574
1992
Cited 12181 times
Advances in prospect theory: Cumulative representation of uncertainty
DOI: 10.1109/iccv.2015.123
2015
Cited 12110 times
Delving Deep into Rectifiers: Surpassing Human-Level Performance on ImageNet Classification
DOI: 10.17763/haer.57.1.j463w79r56455411
1987
Cited 12058 times
Knowledge and Teaching:Foundations of the New Reform
DOI: 10.1007/bf00058655
1996
Cited 12047 times
Bagging predictors
DOI: 10.1373/clinchem.2008.112797
2009
Cited 12015 times
The MIQE Guidelines: Minimum Information for Publication of Quantitative Real-Time PCR Experiments
DOI: 10.1126/science.290.5500.2319
2000
Cited 11996 times
A Global Geometric Framework for Nonlinear Dimensionality Reduction
DOI: 10.1109/cvpr.2017.632
2017
Cited 11903 times
Image-to-Image Translation with Conditional Adversarial Networks
DOI: 10.1006/ceps.1999.1020
2000
Cited 11872 times
Intrinsic and Extrinsic Motivations: Classic Definitions and New Directions
DOI: 10.2307/2118477
1992
Cited 11851 times
A Contribution to the Empirics of Economic Growth
DOI: 10.1002/jae.616
2001
Cited 11847 times
Bounds testing approaches to the analysis of level relationships
DOI: 10.1007/978-3-319-46448-0_2
2016
Cited 11714 times
SSD: Single Shot MultiBox Detector
DOI: 10.1371/journal.pone.0061217
2013
Cited 11713 times
phyloseq: An R Package for Reproducible Interactive Analysis and Graphics of Microbiome Census Data
DOI: 10.1002/jmor.1050880104
1951
Cited 11710 times
A series of normal stages in the development of the chick embryo
MAG: 2582743722
2014
Cited 11570 times
R: A language and environment for statistical computing.
DOI: 10.1021/cr00039a007
1995
Cited 11416 times
Palladium-Catalyzed Cross-Coupling Reactions of Organoboron Compounds
DOI: 10.5555/944919.944937
2003
Cited 11415 times
Latent dirichlet allocation
DOI: 10.1038/nmeth.2604
2013
Cited 11403 times
UPARSE: highly accurate OTU sequences from microbial amplicon reads
DOI: 10.1109/cvpr.2001.990517
2005
Cited 11397 times
Rapid object detection using a boosted cascade of simple features
DOI: 10.1103/physrevlett.70.1895
1993
Cited 11370 times
Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
DOI: 10.1063/1.2408420
2007
Cited 11356 times
Canonical sampling through velocity rescaling
DOI: 10.1006/cogp.1999.0734
2000
Cited 11340 times
The Unity and Diversity of Executive Functions and Their Contributions to Complex “Frontal Lobe” Tasks: A Latent Variable Analysis
DOI: 10.1287/orsc.3.3.383
1992
Cited 11334 times
Knowledge of the Firm, Combinative Capabilities, and the Replication of Technology
DOI: 10.1016/j.neuroimage.2004.07.051
2004
Cited 11329 times
Advances in functional and structural MR image analysis and implementation as FSL
DOI: 10.1093/bib/5.2.150
2004
Cited 11329 times
MEGA3: Integrated software for Molecular Evolutionary Genetics Analysis and sequence alignment
DOI: 10.1002/(sici)1097-4571(199009)41:6<391::aid-asi1>3.0.co;2-9
1990
Cited 11305 times
Indexing by latent semantic analysis
DOI: 10.1175/bams-d-11-00094.1
2012
Cited 11200 times
An Overview of CMIP5 and the Experiment Design
DOI: 10.1109/cvpr.2018.00745
2018
Cited 11186 times
Squeeze-and-Excitation Networks
DOI: 10.1021/ac60131a045
1957
Cited 11161 times
Reaction Kinetics in Differential Thermal Analysis
DOI: 10.1021/ja01145a126
1951
Cited 11138 times
The Determination of Pore Volume and Area Distributions in Porous Substances. I. Computations from Nitrogen Isotherms
DOI: 10.1093/nar/gky1131
2018
Cited 11055 times
STRING v11: protein–protein association networks with increased coverage, supporting functional discovery in genome-wide experimental datasets
DOI: 10.1006/knac.1993.1008
1993
Cited 11033 times
A translation approach to portable ontology specifications
DOI: 10.1007/bf02551274
1989
Cited 10992 times
Approximation by superpositions of a sigmoidal function
DOI: 10.1007/978-0-387-98141-3
2009
Cited 10980 times
ggplot2
DOI: 10.1021/ja01318a036
1934
Cited 10944 times
The Determination of Enzyme Dissociation Constants
DOI: 10.1186/gb-2004-5-10-r80
2004
Cited 10890 times
DOI: 10.1093/bioinformatics/btu153
2014
Cited 10888 times
Prokka: rapid prokaryotic genome annotation
DOI: 10.1021/j100308a038
1987
Cited 10868 times
The missing term in effective pair potentials
DOI: 10.1107/s0907444910045749
2011
Cited 10756 times
Overview of the<i>CCP</i>4 suite and current developments
DOI: 10.1002/1097-0266(200010/11)21:10/11<1105::aid-smj133>3.0.co;2-e
2000
Cited 10721 times
Dynamic capabilities: what are they?
DOI: 10.1021/ie50320a024
1936
Cited 10686 times
RESISTANCE OF SOLID SURFACES TO WETTING BY WATER
DOI: 10.1103/physreve.69.026113
2004
Cited 10628 times
Finding and evaluating community structure in networks
DOI: 10.1093/nar/30.1.207
2002
Cited 10580 times
Gene Expression Omnibus: NCBI gene expression and hybridization array data repository
DOI: 10.1161/01.cir.101.23.e215
2000
Cited 10550 times
PhysioBank, PhysioToolkit, and PhysioNet
DOI: 10.1021/cr00035a013
1995
Cited 10544 times
Photocatalysis on TiO2 Surfaces: Principles, Mechanisms, and Selected Results
DOI: 10.1093/molbev/msm088
2007
Cited 10522 times
PAML 4: Phylogenetic Analysis by Maximum Likelihood
DOI: 10.1126/scisignal.2004088
2013
Cited 10486 times
Integrative Analysis of Complex Cancer Genomics and Clinical Profiles Using the cBioPortal
DOI: 10.1073/pnas.85.8.2444
1988
Cited 10415 times
Improved tools for biological sequence comparison.
DOI: 10.1038/nprot.2012.016
2012
Cited 10310 times
Differential gene and transcript expression analysis of RNA-seq experiments with TopHat and Cufflinks
DOI: 10.1093/bioinformatics/btr330
2011
Cited 10280 times
The variant call format and VCFtools
DOI: 10.1021/ja00053a020
1992
Cited 10255 times
A new family of mesoporous molecular sieves prepared with liquid crystal templates
DOI: 10.1101/gr.849004
2004
Cited 10240 times
WebLogo: A Sequence Logo Generator: Figure 1
DOI: 10.1073/pnas.0502848102
2005
Cited 10193 times
Two-dimensional atomic crystals
DOI: 10.1093/bioinformatics/btg412
2004
Cited 10158 times
APE: Analyses of Phylogenetics and Evolution in R language
DOI: 10.1002/elps.1150181505
1997
Cited 10121 times
SWISS‐MODEL and the Swiss‐Pdb Viewer: An environment for comparative protein modeling
DOI: 10.1021/i160057a011
1976
Cited 10038 times
A New Two-Constant Equation of State
DOI: 10.1109/4235.585893
1997
Cited 9914 times
No free lunch theorems for optimization
DOI: 10.1038/163688a0
1949
Cited 9907 times
Measurement of Diversity
DOI: 10.1021/ac50043a017
1979
Cited 9861 times
Sequential extraction procedure for the speciation of particulate trace metals
DOI: 10.1039/b917103g
2010
Cited 9768 times
The chemistry of graphene oxide
DOI: 10.1038/s41587-019-0209-9
2019
Cited 9737 times
Reproducible, interactive, scalable and extensible microbiome data science using QIIME 2
DOI: 10.1016/j.jbi.2019.103208
2019
Cited 9730 times
The REDCap consortium: Building an international community of software platform partners
DOI: 10.1093/bioinformatics/bti610
2005
Cited 9726 times
Blast2GO: a universal tool for annotation, visualization and analysis in functional genomics research
DOI: 10.1006/cbmr.1996.0014
1996
Cited 9645 times
AFNI: Software for Analysis and Visualization of Functional Magnetic Resonance Neuroimages
DOI: 10.1107/s0021889812029111
2012
Cited 9627 times
<i>WinGX</i>and<i>ORTEP for Windows</i>: an update
DOI: 10.1109/cvpr.2017.690
2017
Cited 9600 times
YOLO9000: Better, Faster, Stronger
DOI: 10.1017/cbo9780511801389
2000
Cited 9576 times
An Introduction to Support Vector Machines and Other Kernel-based Learning Methods
DOI: 10.1103/physrevlett.64.821
1990
Cited 9538 times
Synchronization in chaotic systems