Get started
Keyword

arrays

Description: Arrays are data structures that organize elements in indexed positions, commonly stored contiguously in computer memory.
Wikidata ID: wiki/Q186152
OpenAlex ID: keywords/arrays
Z3: An Efficient SMT Solver
2008 · Leonardo de Moura, Nikolaj Bjørner · Lecture notes in computer science · 6,556
Haskell 98 language and libraries : the revised report
2003 · Peyton Jones, L Simon · Cambridge University Press eBooks · 1,141
Analytical Modeling in Applied Electromagnetics
2003 · Sergei Tretyakov · 916
Simplification by Cooperating Decision Procedures
1979 · Greg Nelson, Derek C. Oppen · ACM Transactions on Programming Languages and Systems · 909
PDF
Dynamic program slicing
1988 · Bogdan Korel, Janusz Laski · Information Processing Letters · 759
Book Review: Introduction to Parallel Algorithms and Architectures : Arrays, Trees, Hypercubes by F. T. Leighton (Morgan Kauffman Pub, 1992)
1992 · Sajal K . Das · ACM SIGACT News · 606
A Decision Procedure for Bit-Vectors and Arrays
2007 · Vijay Ganesh, David L. Dill · Springer eBooks · 595
Matlab, An Introduction With Applications
2003 · Amos Gilat · CERN Document Server (European Organization for Nuclear Research) · 558
The YICES SMT Solver
2006 · Bruno Dutertre, Leonardo de Moura · 515
Pemrograman Web Dinamis menggunakan PHP dan MySQL
2011 · M. Rudiyanto Arief · 427
The AWK Programming Language
1988 · Alfred V. Aho, Brian W. Kernighan, et al. · CERN Document Server (European Organization for Nuclear Research) · 404
SELECT—a formal system for testing and debugging programs by symbolic execution
1975 · Robert S. Boyer, Bernard Elspas, et al. · ACM SIGPLAN Notices · 392
Parametric integer programming
1988 · Paul Feautrier · RAIRO - Operations Research · 378
PDF
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays
2009 · Robert Brummayer, Armin Biere · Lecture notes in computer science · 370
PDF
The C Programming Language, Second Edition
1988 · Brian W. Kernighan, Dennis M. Ritchie · Prentice Hall eBooks · 367
I-structures: data structures for parallel computing
1989 · Arvind, Rishiyur S. Nikhil, et al. · ACM Transactions on Programming Languages and Systems · 360
Using Designed Instructional Activities to Enable Novices to Manage Ambitious Mathematics Teaching
2009 · Magdalene Lampert, Heather Beasley, et al. · Springer eBooks · 314
Java Programming Language
2007 · Gholam Ali Shaykhian · NASA STI Repository (National Aeronautics and Space Administration) · 305
Factors Determining the Selection of Organic Reactions by Medicinal Chemists and the Use of These Reactions in Arrays (Small Focused Libraries)
2010 · Tony W. J. Cooper, Ian B. Campbell, et al. · Angewandte Chemie International Edition · 300
Decision Procedures: An Algorithmic Point of View
2008 · Daniel Kroening, Ofer Strichman · 292
PDF
Predicate abstraction for software verification
2002 · Cormac Flanagan, Shaz Qadeer · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 287
CVC Lite: A New Implementation of the Cooperating Validity Checker
2004 · Clark Barrett, Sergey Berezin · Lecture notes in computer science · 273
PDF
Algorithms and Data Structures : The Basic Toolbox
2008 · Mehlhorn, Kurt 1949-, Sanders, Peter 1967- · 262
Parameterized types for Java
1997 · Joseph A. Bank, Andrew C. Myers, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 250
A survey of new trends in symbolic execution for software testing and analysis
2009 · Corina S. Păsăreanu, Willem Visser · International Journal on Software Tools for Technology Transfer · 231
Works count: 4,140
Citation count: 30,410
Year
Topic
Type