Program abstraction and instantiation
ACM Transactions on Programming Languages and Systems (TOPLAS)
A project-based course in compiler construction
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
Solutions to the n Queens problem using tasking in Ada
ACM SIGPLAN Notices
A study of record packing methods
ACM SIGPLAN Notices
Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Pancode and boxcharts: structured programming revisited
ACM SIGPLAN Notices
A mathematical approach to nondeterminism in data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
How (not) to code a finite state machine
ACM SIGPLAN Notices
Spin-out: the Chinese rings in the classroom
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
IEEE Transactions on Software Engineering
Design and implementation of the UW Illustrated compiler
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Professional skills assessment in programming competitions
ACM SIGCSE Bulletin
A structured approach to program optimization
IEEE Transactions on Software Engineering
Skip lists: a probabilistic alternative to balanced trees
Communications of the ACM
ACM Transactions on Mathematical Software (TOMS)
GRIN: The History of a Laboratory
IEEE Annals of the History of Computing
High Performance Software Testing on SIMD Machines
IEEE Transactions on Software Engineering
ACM SIGPLAN Notices
The MSL compiler writing project
ACM SIGCSE Bulletin
Real programmers don't use spreadsheets
ACM SIGPLAN Notices
A bibliography on syntax error handling in context free languages
ACM SIGPLAN Notices
Is eight enough?: the eight queens problem re-examined
ACM SIGCSE Bulletin
First step to Forth engine construction
ACM SIGFORTH Newsletter
The testing of an APL compiler
APL '93 Proceedings of the international conference on APL
Third generation TP monitors: a database challenge
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
There's more to OOP than syntax!
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Implementing deletion in B+-trees
ACM SIGMOD Record
Compiler-Based Multiple Instruction Retry
IEEE Transactions on Computers
Optimizing Jan Jannink's Implementation of B+-tree deletion
ACM SIGMOD Record
An inverted taxonomy of sorting algorithms
Communications of the ACM - Special section on computer architecture
Teaching introductory programming in the multi-media world
ITiCSE '96 Proceedings of the 1st conference on Integrating technology into computer science education
A high-level microprogrammed processor
MICRO 23 Proceedings of the 23rd annual workshop and symposium on Microprogramming and microarchitecture
Content + experiences = curriculum
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
Design and static semantics of algorithm languageL
ACM SIGPLAN Notices
Decision Tree Induction Based on Efficient Tree Restructuring
Machine Learning
An optimal search tree: modified complete binary search tree
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
A library of generic algorithms in Ada
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
CONVERSIM: a teaching simulation language incorporating a conversational model builder
WSC '88 Proceedings of the 20th conference on Winter simulation
Construction through decomposition: a divide-and-conquer algorithm for the N-queens problem
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
An object-oriented view of backtracking
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Characteristics of scalability and their impact on performance
Proceedings of the 2nd international workshop on Software and performance
ACM Computing Surveys (CSUR)
Global Data Flow Analysis Problems Arising in Locally Least-Cost Error Recovery
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Predicting the success of freshmen in a computer science major
Communications of the ACM
Analyses of deterministic parsing algorithms
Communications of the ACM
Implementing Quicksort programs
Communications of the ACM
Pagination of B*-trees with variable-length records
Communications of the ACM
ACM SIGCSE Bulletin
Sorting sequential files with limited auxiliary storage
ACM-SE 18 Proceedings of the 18th annual Southeast regional conference
Drawing labelled directed binary graphs on a grid
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Extended LL(k) grammars and parsers
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Bit-vector encoding of n-queen problem
ACM SIGPLAN Notices
A framework for table driven testing of Java classes
Software—Practice & Experience
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
The Problem of Functional Completeness of Metaalgebras of Regular Events
Cybernetics and Systems Analysis
IEEE Computer Graphics and Applications
Extensions to Query Languages for Graph Traversal Problems
IEEE Transactions on Knowledge and Data Engineering
A Visual Query Language for Graphical Interaction with Schema-Intensive Databases
IEEE Transactions on Knowledge and Data Engineering
Towards an Optimal Data-Structure: CB-trees
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
Randomized Jumplists: A Jump-and-Walk Dictionary Data Structure
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Equivalent Transformation by Safe Extension of Data Structures
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Practical Methods for Proving Program Termination
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Scheduled Discovery of Exception Rules
DS '99 Proceedings of the Second International Conference on Discovery Science
Journal of Computing Sciences in Colleges
A top down approach to sorting
SIGCSE '81 Proceedings of the twelfth SIGCSE technical symposium on Computer science education
Pascal procedures and functions for teaching linear data structures
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
SIGCSE '82 Proceedings of the thirteenth SIGCSE technical symposium on Computer science education
Diagnostic system for distributed software: A relational database approach
ICSE '84 Proceedings of the 7th international conference on Software engineering
A new program structure to improve accuracy and readability of pascal software
ICSE '84 Proceedings of the 7th international conference on Software engineering
Functional programming and logical programming for the telegram analysis problem
ICSE '84 Proceedings of the 7th international conference on Software engineering
A powerful strategy for deriving efficient programs by transformation
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
A parser as a user-interface, driven by an enclosed array.
APL '82 Proceedings of the international conference on APL
Interactive software development tool: ISDT
ICSE '81 Proceedings of the 5th international conference on Software engineering
Development of computer programs by problem analysis Diagram(PAD)
ICSE '81 Proceedings of the 5th international conference on Software engineering
Cross software development for microprocessors using a translator writing system
ICSE '79 Proceedings of the 4th international conference on Software engineering
A new representation for linear lists
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
An experiment with an introductory course in computer science
SIGCSE '77 Proceedings of the eighth SIGCSE technical symposium on Computer science education
A programming sequence for the liberal arts college
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
Dynamically maintaining configurations in the plane (Detailed Abstract)
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
The automatic synthesis of recursive programs
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Proceedings of the Strathclyde ALGOL 68 conference
Is Pascal a logical subset of Algol68 or not? Part One
Proceedings of the Strathclyde ALGOL 68 conference
A portable discrete event simulation package for microcomputers
ANSS '79 Proceedings of the 12th annual symposium on Simulation
Debugging “level”: Step-wise debugging
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
A workbench for project oriented software engineering courses
SIGSCE '84 Proceedings of the fifteenth SIGCSE technical symposium on Computer science education
Some thoughts on teaching first year programming
SIGSCE '84 Proceedings of the fifteenth SIGCSE technical symposium on Computer science education
An undergraduate compiler laboratory
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
Capsules: A data abstraction facility for Pascal
ACM '81 Proceedings of the ACM '81 conference
Introduction to silicon compilation
DAC '79 Proceedings of the 16th Design Automation Conference
"Ceci n'est pas une pipe": Observations on the Nature of Webware
WSE '02 Proceedings of the Fourth International Workshop on Web Site Evolution (WSE'02)
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
A useful application of formal procedure parameters
ACM SIGPLAN Notices
Pattern Recognition Letters
Abstract data types, then and now
Software pioneers
ACM SIGPLAN Notices
A poor man's realization of recursive structured Fortran
ACM SIGPLAN Notices
A note on error recovery in recursive descent parsers
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A contribution to an improvement of PASCAL
ACM SIGPLAN Notices
Program readability, closing keywords and prefix-style intermediate keywords
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Language support for data parallelism in pointer based dynamic data structures
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
The design of the kernel architecture for the Eurotra software
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
Scarcely variabled programming and Pascal
ACM SIGPLAN Notices
PROGEN: a programming environment
ACM SIGPLAN Notices
Pascal as host language of computer algebra systems
ACM SIGPLAN Notices
The programming language Pascal (in teaching perspective): take it or leave it
ACM SIGPLAN Notices
On the organization of Pascal blocks
ACM SIGPLAN Notices
The little language compiler course project
ACM SIGCSE Bulletin
A data-oriented introduction to program design
ACM SIGCSE Bulletin
Eighteen Pascal texts: an objective comparison
ACM SIGCSE Bulletin
A framework for teaching recursion
ACM SIGCSE Bulletin
ACM SIGCSE Bulletin
Coloring heuristics for register allocation
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Computer science education at universities: the case of developing countries
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
The introductory programming course in computer science: ten principles
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
A first course in computer science for graduate students
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
A course in programming and practice: toward small systems
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
The roots of structured programming
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
On teaching theoretical foundations of Computer Science
ACM SIGACT News
Designing software without backtracking: the part of dream and the part of reality
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
An optimal search tree: complete binary search tree
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Integration of generic program analysis tools into a software development environment
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
SYPAC: a pascal based computer algebra system for micro-computers
ACM SIGSAM Bulletin
Toward type-oriented dynamic vertical migration
ACM SIGMICRO Newsletter
Improving the performance of UCSD Pascal via microprogramming on the PDP-11/60
ACM SIGMICRO Newsletter
There's more to a model than code: understanding and formalizing in silico modeling experience
GECCO '05 Proceedings of the 7th annual workshop on Genetic and evolutionary computation
On the usefulness of deterministic grammars for simulation languages
ACM SIGSIM Simulation Digest
Lock-free dynamic hash tables with open addressing
Distributed Computing - Special issue: PODC 02
A new adaptive mesh refinement strategy for numerically solving evolutionary PDE's
Journal of Computational and Applied Mathematics
Exact admission-control for integrated aperiodic and periodic tasks
Journal of Computer and System Sciences
Case study on algebraic software methodologies for scientific computing
Scientific Programming
Optimistic parallelism requires abstractions
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Creating a configurable compiler driver for system V release 4
UNIX'94 Proceedings of the USENIX Applications Development Symposium Proceedings on USENIX Applications Development Symposium Proceedings
A new algorithm for encoding and decoding the Hilbert order
Software—Practice & Experience
A memetic algorithm for the job-shop with time-lags
Computers and Operations Research
Iterative interpretation of tail-recursive LISP procedures
ACM Lisp Bulletin
Regionalization with dynamically constrained agglomerative clustering and partitioning (REDCAP)
International Journal of Geographical Information Science
Design of an interactive matrix calculator
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Using preliminary Ada in a process control application
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Towards a Taxonomy for ECFG and RRPG Parsing
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
ICCS 2009 Proceedings of the 9th International Conference on Computational Science
The PlusCal Algorithm Language
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Proceedings of the First Asia-Pacific Symposium on Internetware
Quality emphasis at IBM's software engineering institute
IBM Systems Journal
MieruCompiler: integrated visualization tool with "horizontal slicing" for educational compilers
Proceedings of the 41st ACM technical symposium on Computer science education
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
The tao of parallelism in algorithms
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Brainy: effective selection of data structures
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Numerical sorting-based optimization as applied to general differential and nonlinear equations
Cybernetics and Systems Analysis
Methods for computing NASCAR tire/track intersections
Proceedings of the 49th Annual Southeast Regional Conference
Programming from galois connections
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Automation and Remote Control
An interactive support software for design and use of simulation packages
Mathematical and Computer Modelling: An International Journal
Minimal spanning trees and partial sorting
Operations Research Letters
A Formal Syntax of Natural Languages and the Deductive Grammar
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Implementation concepts in vaucanson 2
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
Bringing safe, dynamic parallel programming to the spark verifiable subset of ada
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology
Service subscription and consumption for personal web applications
The Personal Web
| Hi-index | 0.10 |