A specification language to assist in analysis of discrete event simulation models
Communications of the ACM
ACM Transactions on Programming Languages and Systems (TOPLAS)
Noncorrecting syntax error recovery
ACM Transactions on Programming Languages and Systems (TOPLAS)
Side effects and aliasing can have simple axiomatic descriptions
ACM Transactions on Programming Languages and Systems (TOPLAS)
A formal approach to undo operations in programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
The suitability of language syntaxes for program generation
ACM SIGPLAN Notices
Eliminating go to's while preserving program structure
Journal of the ACM (JACM)
The Turing programming language
Communications of the ACM
A method for asynchronous parallelization
ICSE '88 Proceedings of the 10th international conference on Software engineering
SABLE: A tool for generating structured, multi-level simulations
25 years of DAC Papers on Twenty-five years of electronic design automation
Felix, an object-oriented operating system
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Recursive Pattern Matching on concrete data types
ACM SIGPLAN Notices
Scannerless NSLR(1) parsing of programming languages
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Production trees: a compact representation of parsed programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic transformation of series expressions into loops
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient construction of LR(k) states and tables
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Euclidean definition of the functions div and mod
ACM Transactions on Programming Languages and Systems (TOPLAS)
A quick introduction to the programming language MIKE
ACM SIGPLAN Notices
CRL/Pascal: a Pascal-oriented cross reference language and its applications
ACM SIGPLAN Notices
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Extending attribute grammars to support programming-in-the-large
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantic analysis of shared-memory concurrent languages using abstract model-checking
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
An Ada-like separate compilation style in C
ACM SIGAda Ada Letters
Rosetta: a generator of data language compilers
Proceedings of the 1997 symposium on Software reusability
I/O considered harmful (at least for the first few weeks)
Proceedings of the 2nd Australasian conference on Computer science education
Declaration-free type checking
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
High-level programming features for improving the efficiency of a relational database system
ACM Transactions on Database Systems (TODS)
Theseus—a programming language for relational databeses
ACM Transactions on Database Systems (TODS)
Validation algorithms for pointer values in DBTG databases
ACM Transactions on Database Systems (TODS)
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Some Aspects of High-Level Microprogramming
ACM Computing Surveys (CSUR)
Comparison of the Programming Languages C and Pascal
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Language for Array and Vector Processors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification of Abstract Data Types in Modula
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hardware protection against software piracy
Communications of the ACM
Implications of structured programming for machine architecture
Communications of the ACM
A portable optimizing compiler for Modula-2
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
PANDA: A Pascal network data base management system
SIGSMALL '82 Proceedings of the 5th ACM SIGSMALL symposium on Small systems
Graphical data structures in APL
APL '81 Proceedings of the international conference on APL
Dynamic systems and their distributed termination
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Fable: A programming-language solution to IC process automation problems
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
ACM SIGPLAN history of programming languages conference SIMULA language summary
ACM SIGPLAN Notices - Special issue: History of programming languages conference
The integration of a Problem Solving Process in the first course
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
Experiences with PASCAL in an introductory course
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
Conformant arrays and strong typing
ACM '81 Proceedings of the ACM '81 conference
Software requirements in the 80's
ACM '80 Proceedings of the ACM 1980 annual conference
Practical applications of path pascal in systems programming
ACM '79 Proceedings of the 1979 annual conference
Yet another conversational programming language - BPL
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Software verification and validation in practice and theory (Position Statement)
ACM '78 Proceedings of the 1978 annual conference - Volume 2
A brief account: Implementation and applications of a Pascal program verifier (Position Statement)
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Formal module level specifications
ACM '77 Proceedings of the 1977 annual conference
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Lexical analysis of German texts
ACM SIGLASH Newsletter
History of programming languages---II
The development of the C programming language
History of programming languages---II
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Functional declarative language design and predicate calculus: a practical approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGSAM Bulletin
TMML: an assembler-level programming AID
ACM SIGSMALL Newsletter
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
On the composition of well-structured programs
Classics in software engineering
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Hi-index | 0.07 |