Communications of the ACM
Out of Flatland: towards 3-D visual programming
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
A survey of adaptable grammars
ACM SIGPLAN Notices
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Tiling design patterns—a case study using the interpreter pattern
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Measuring cognitive activities in software engineering
Proceedings of the 20th international conference on Software engineering
Some Combinatorial Properties of Certain Trees With Applications to Searching and Sorting
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Two Families of Languages Related to ALGOL
Journal of the ACM (JACM)
On The Ambiguity Problem of Backus Systems
Journal of the ACM (JACM)
A Translator-Oriented Symbolic Programming Language
Journal of the ACM (JACM)
Operations Which Preserve Definability in Languages
Journal of the ACM (JACM)
Syntactic Analysis and Operator Precedence
Journal of the ACM (JACM)
Random-Access Stored-Program Machines, an Approach to Programming Languages
Journal of the ACM (JACM)
On the Syntax of Algorithmic Languages
Journal of the ACM (JACM)
Programming Language for Automata
Journal of the ACM (JACM)
Journal of the ACM (JACM)
An Algorithmic Semantics for ALGOL 60 Identifier Denotation
Journal of the ACM (JACM)
The Closure Statement: A Programming Language Construct Allowing Ultraconcurrent Execution
Journal of the ACM (JACM)
Connected Component Labeling Using Quadtrees
Journal of the ACM (JACM)
Technical opinion: on the perils of programming
Communications of the ACM
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
A Coroutine Approach to Parsing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM - Special 25th Anniversary Issue
A quadtree medial axis transform
Communications of the ACM
Region representation: quadtrees from boundary codes
Communications of the ACM
Region representation: boundary codes from quadtrees
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Experience with an extensible language
Communications of the ACM
A language for treating graphs
Communications of the ACM
Finiteness assumptions and intellectual isolation of computer scientists
Communications of the ACM
Use of transition matrices in compiling
Communications of the ACM
Communications of the ACM
Programming Languages: A general purpose graphic language
Communications of the ACM
The remaining trouble spots in ALGOL 60
Communications of the ACM
A class of unambiguous computer languages
Communications of the ACM
“Structural connections” in formal languages
Communications of the ACM
Conversion of a power to a series of Chebyshev polynomials
Communications of the ACM
Programming of digital computers
Communications of the ACM
Mechanical languages: a course specification
Communications of the ACM
A method of syntax-checking ALGOL 60
Communications of the ACM
A method of syntax specification
Communications of the ACM
EULER: a generalization of ALGOL and it formal definition: Part 1
Communications of the ACM
An ALGOL compiler: construction and use in relation to an elaborate operating system
Communications of the ACM
An ALGOL-like computer design language
Communications of the ACM
A final solution to the Dangling else of ALGOL 60 and related languages
Communications of the ACM
Documentation problems: ALGOL 60
Communications of the ACM
Communications of the ACM
A string language for symbol manipulation based on ALGOL 60
Communications of the ACM
A storage allocation scheme for ALGOL 60
Communications of the ACM
Vectorcardiographic diagnosis with the aid of ALGOL
Communications of the ACM
Communications of the ACM
Automatic-programming-language translation through syntactical analysis
Communications of the ACM
Remark on algorithm 16: crout with pivoting
Communications of the ACM
Compilation for two computers with NELIAC
Communications of the ACM
A syntax controlled generator of formal language processors
Communications of the ACM
Some remarks on the syntax of symbolic programming languages
Communications of the ACM
A note on the dangling else ALGOL 60
Communications of the ACM
A redundancy check for ALGOL programs
Communications of the ACM
Communications between independently translated blocks
Communications of the ACM
An error-correcting parse algorithm
Communications of the ACM
Algorithm 123: Real error function, ERF(x)
Communications of the ACM
On ambiguity in phrase structure languages
Communications of the ACM
Communications of the ACM
A decision matrix as the basis for a simple data input routine
Communications of the ACM
IEEE Annals of the History of Computing
Galois Connections and Fixed Point Calculus
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
The invention of concurrent programming
The origin of concurrent programming
Communicating sequential processes
The origin of concurrent programming
Iteration theorems for LL(k) languages (Extended Abstract)
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
The PL/EXUS language and virtual machine
HLLCA '73 Proceedings of the ACM-IEEE symposium on High-level-language computer architecture
Block structure (Extended Abstract): Retention or deletion?
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
A language for the description of digital computer processors
DAC '68 Proceedings of the 5th annual Design Automation Workshop
Translations on a context free grammar
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
Invited papers—1: basic concepts of automata theory
ACM '65 Proceedings of the 1965 20th national conference
Artificial languages: Computers, connector systems, and data descriptions
ACM '62 Proceedings of the 1962 ACM national conference on Digest of technical papers
Automatic programming and compilers III: A report on the status of SMALGOL
ACM '62 Proceedings of the 1962 ACM national conference on Digest of technical papers
Operational semantics of programming languages
Proceedings of ACM conference on Proving assertions about programs
The American side of the development of Algol
ACM SIGPLAN Notices - Special issue: History of programming languages conference
The European side of the last phase of the development of ALGOL 60
ACM SIGPLAN Notices - Special issue: History of programming languages conference
ACM SIGPLAN Notices - Special issue: History of programming languages conference
The development of the SIMULA languages
ACM SIGPLAN Notices - Special issue: History of programming languages conference
Guarded commands, non-determinacy and a calculus for the derivation of programs
Proceedings of the international conference on Reliable software
A definition of the cobol procedure division using algol metalinguistics
ACM '61 Proceedings of the 1961 16th ACM national meeting
A computer program for discovering and proving recognition rules for Backus Normal Form grammars
ACM '64 Proceedings of the 1964 19th ACM national conference
The evaluation, classification and interpretation of expressions
ACM '64 Proceedings of the 1964 19th ACM national conference
An environment for an operating system
ACM '64 Proceedings of the 1964 19th ACM national conference
Interactive theorem retrieval and generation
ACM '68 Proceedings of the 1968 23rd ACM national conference
Assertions: A Personal Perspective
IEEE Annals of the History of Computing
From the stack principle to ALGOL
Software pioneers
The programming language Pascal
Software pioneers
Assertions: a personal perspective
Software pioneers
The PL/EXUS language and virtual machine
HLLCA '73 Proceedings of a symposium on High-level-language computer architecture
Component-based DSL development
Proceedings of the 2nd international conference on Generative programming and component engineering
ACM SIGPLAN Notices
An intuitive representation of context-free languages
COLING '69 Proceedings of the 1969 conference on Computational linguistics
History of programming languages---II
Recollections about the development of Pascal
History of programming languages---II
ALGOL Bulletin
Encyclopedia of Computer Science
Realization of natural language interfaces using lazy functional programming
ACM Computing Surveys (CSUR)
Protomatching network traffic for high throughputnetwork intrusion detection
Proceedings of the 13th ACM conference on Computer and communications security
Computing versus human thinking
Communications of the ACM - The patent holder's dilemma: buy, sell, or troll?
The American side of the development of ALGOL
History of programming languages I
The European side of the last phase of the development of ALGOL 60
History of programming languages I
The development of the SIMULA languages
History of programming languages I
History of programming languages I
The development of the Emerald programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Structured programming with go to statements
Classics in software engineering
Programming Languages The First 25 Years
IEEE Transactions on Computers
A basis for a mathematical theory of computation, preliminary report
IRE-AIEE-ACM '61 (Western) Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference
IRE-AIEE-ACM '61 (Western) Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference
A method of combining ALGOL and COBOL
IRE-AIEE-ACM '61 (Western) Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference
A new approach to the functional design of a digital computer
IRE-AIEE-ACM '61 (Western) Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference
A computer for direct execution of algorithmic languages
AFIPS '61 (Eastern) Proceedings of the December 12-14, 1961, eastern joint computer conference: computers - key to total systems control
AFIPS '61 (Eastern) Proceedings of the December 12-14, 1961, eastern joint computer conference: computers - key to total systems control
AFIPS '62 (Fall) Proceedings of the December 4-6, 1962, fall joint computer conference
WebDSL: A Case Study in Domain-Specific Language Engineering
Generative and Transformational Techniques in Software Engineering II
HYTRAN: a software system to aid the analog programmer
AFIPS '64 (Fall, part I) Proceedings of the October 27-29, 1964, fall joint computer conference, part I
AFIPS '64 (Spring) Proceedings of the April 21-23, 1964, spring joint computer conference
AFIPS '64 (Spring) Proceedings of the April 21-23, 1964, spring joint computer conference
A general-purpose table-driven compiler
AFIPS '64 (Spring) Proceedings of the April 21-23, 1964, spring joint computer conference
Compiler generation using formal specification of procedure-oriented and machine languages
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
META PI: an on-line interactive compiler-compiler
AFIPS '68 (Fall, part I) Proceedings of the December 9-11, 1968, fall joint computer conference, part I
PDL: a tool for software design
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Enabling nonexpert construction of basic sensor-based systems
ACM Transactions on Computer-Human Interaction (TOCHI)
A Multimodal Human-Robot-Interaction Scenario: Working Together with an Industrial Robot
Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques
History of IBM's technical contributions to high level programming languages
IBM Journal of Research and Development
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
How to communicate smartly with your house?
International Journal of Ad Hoc and Ubiquitous Computing
Arithmetical metabolic P systems
IWINAC'11 Proceedings of the 4th international conference on Interplay between natural and artificial computation - Volume Part I
Efficient information retrieval in network management using web services
DSOM'06 Proceedings of the 17th IFIP/IEEE international conference on Distributed Systems: operations and management
MuSQL: a music structured query language
MMM'07 Proceedings of the 13th International conference on Multimedia Modeling - Volume Part II
Extending the TPTP language to higher-order logic with automated parser generation
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Higher order programming for unordered minds
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Teaching: people to people - about people a plea for the historic and human view
ISSEP'05 Proceedings of the 2005 Informatics in Secondary Schools - Evolution and Perspectives international conference on From Computer Literacy to Informatics Fundamentals
Deep and shallow binding: The assignment operation
Computer Languages
Survey: A survey of state vectors
Computer Science Review
Hi-index | 48.95 |