A General Translation Program for Phrase Structure Languages
Journal of the ACM (JACM)
Computability of Recursive Functions
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Properties of Programs and the First-Order Predicate Calculus
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Communications of the ACM
A formal semantics for computer languages and its application in a compiler-compiler
Communications of the ACM
EULER: a generalization of ALGOL and it formal definition: Part 1
Communications of the ACM
A syntax directed compiler for ALGOL 60
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
Block structure (Extended Abstract): Retention or deletion?
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Addressable data graphs (Extended Abstract)
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Operational semantics of programming languages
Proceedings of ACM conference on Proving assertions about programs
Correctness results for lambda calculus interpreters
Correctness results for lambda calculus interpreters
Formal languages and their relation to automata
Formal languages and their relation to automata
Programming Languages, Information Structures, and Machine Organization.
Programming Languages, Information Structures, and Machine Organization.
Data structure models for programming languages
ACM SIGPLAN Notices
The contour model of block structured processes
ACM SIGPLAN Notices
IDL: sharing intermediate representations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Web Structures: A Tool for Representing and Manipulating Programs
IEEE Transactions on Software Engineering
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
Representation in CAD: Models and semantics
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
A Sampler of Formal Definitions
ACM Computing Surveys (CSUR)
A model for verification of data security in operating systems
Communications of the ACM
Production systems: or can we do better than BNF
Communications of the ACM
Procedure linkage optimization working paper
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems
IEEE Transactions on Software Engineering
The Varieties of Programming Language Semantics
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
The Varieties of Programming Language Semantics
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Dynamic microprogramming in a time sharing environment
MICRO 10 Proceedings of the 10th annual workshop on Microprogramming
Some restrictions on W-grammars
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
DAC '76 Proceedings of the 13th Design Automation Conference
The design of a system for the synthesis of correct microprograms
MICRO 8 Proceedings of the 8th annual workshop on Microprogramming
ACM '76 Proceedings of the 1976 annual conference
Data abstraction from a programming language viewpoint
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Operational semantics of programming languages
Proceedings of ACM conference on Proving assertions about programs
Algol 68 as an implementation language for portable interpreters
Proceedings of the Strathclyde ALGOL 68 conference
The design of a virtual machine for Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Mechanical construction of type-checking predicates for extensible data types
ACM '74 Proceedings of the 1974 annual conference - Volume 1
The design of a virtual machine for Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
On teaching theoretical foundations of Computer Science
ACM SIGACT News
Economic justification of an OSCL/OSRL
ACM SIGOPS Operating Systems Review
Towards a simpler method of operational semantics for language definition
ACM SIGPLAN Notices
Encyclopedia of Computer Science
Some Problems in Certifying Microprograms
IEEE Transactions on Computers
On the Development of a Measurement System for High Level Language Program Statistics
IEEE Transactions on Computers
Strum: Structured Microprogram Development System for Correct Firmware
IEEE Transactions on Computers
Programming Languages The First 25 Years
IEEE Transactions on Computers
Complexity measures for software engineering
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
A summary of progress toward proving program correctness
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Architecture prototyping in the software engineering environment
IBM Systems Journal
IBM Journal of Research and Development
On proving correctness of microprograms
IBM Journal of Research and Development
Integrating the Semantics of Deterministic Multi-layered Communication Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
VDM semantics of programming languages: combinators and monads
Formal methods and hybrid real-time systems
Writing and using program specifications
Proceedings of the FSE/SDP workshop on Future of software engineering research
Formal semantics of a SNOBOL4 subset
Computer Languages
Methods for specifying static semantics
Computer Languages
The formal definition of semantics by string automata
Computer Languages
Survey: A survey of state vectors
Computer Science Review
Hi-index | 0.04 |