Journal of the ACM (JACM)
Properties of Programs and the First-Order Predicate Calculus
Journal of the ACM (JACM)
A syntax directed compiler for ALGOL 60
Communications of the ACM
Recursively defined data types: part 1
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Advice on structuring compilers and proving them correct
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the Relation between Direct and Continuation Semantics
Proceedings of the 2nd Colloquium on Automata, Languages and Programming
An algebraic formulation of the Chomsky hierarchy
Proceedings of the Proceedings of the First International Symposium on Category Theory Applied to Computation and Control
Proceedings of the Proceedings of the First International Symposium on Category Theory Applied to Computation and Control
The algebraic theory of recursive program schemes
Proceedings of the Proceedings of the First International Symposium on Category Theory Applied to Computation and Control
Degrees of translatability and canonical forms in program schemas: Part I
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
Semantics and axiomatics of a simple recursive language.
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
An algebraic theory of recursive definitions and recursive languages
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
Correctness of translations of programming languages--an algebraic approach
Correctness of translations of programming languages--an algebraic approach
The Mathematical Theory of Context-Free Languages
The Mathematical Theory of Context-Free Languages
Journal of the ACM (JACM)
Transformations of denotational semantics in semantics directed compiler generation
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Toward compiler implementation correctness proofs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parsing Languages by Pattern Matching
IEEE Transactions on Software Engineering
Concrete syntax for data objects in functional languages
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
AUTO STAR—a software development system
ACM SIGPLAN Notices
Journal of Symbolic Computation
Representational and Denotational Semantics of Digital Systems
IEEE Transactions on Computers
Rewrite, rewrite, rewrite, rewrite, rewrite...
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A logical theory of concurrent objects
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Termination, deadlock, and divergence
Journal of the ACM (JACM)
Constructing specification morphisms
Journal of Symbolic Computation - Special issue on automatic programming
Using functor categories to generate intermediate code
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Abstract syntax from concrete syntax
ICSE '97 Proceedings of the 19th international conference on Software engineering
Trace-Based Abstract Interpretation of Operational Semantics
Lisp and Symbolic Computation
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Program specification and development in standard ML
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Towards a semantic theory for equational programming languages
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Data abstractions for database systems
ACM Transactions on Database Systems (TODS)
Semantics of the Domain of Flow Diagrams
Journal of the ACM (JACM)
Concurrent Processes and Their Syntax
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Operational and Semantic Equivalence Between Recursive Programs
Journal of the ACM (JACM)
Dynamic Programming as Graph Searching: An Algebraic Approach
Journal of the ACM (JACM)
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
Journal of the ACM (JACM)
The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions
Journal of the ACM (JACM)
Abstract Implementations and Their Correctness Proofs
Journal of the ACM (JACM)
Deriving Target Code as a Representation of Continuation Semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Data Type Specification: Parameterization and the Power of Specification Techniques
ACM Transactions on Programming Languages and Systems (TOPLAS)
Control Flow Aspects of Semantics-Directed Compiling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Functional and constraint logic programming
Constraints in computational logics
Strongly non-circular attribute grammars and their recursive evaluation
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
On category theory as a (meta) ontology for information systems research
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Precise typing of abstract data type specifications
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A coinductive completeness proof for the equivalence of recursive types
Theoretical Computer Science
A unified language processing methodology
Theoretical Computer Science
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Compositionality and Model-Theoretic Interpretation
Journal of Logic, Language and Information
A functorial semantics for multi-algebras and partial algebras, with applications to syntax
Theoretical Computer Science
Towards an Algebraic Specification of the Java Virtual Machine
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Abstract Data Types in Computer Algebra
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Calculating Functional Programs
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
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
The Equational Theory of Fixed Points with Applications to Generalized Language Theory
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
Calculating functional programs
Algebraic and coalgebraic methods in the mathematics of program construction
Algebraic specifications: some old history and new thoughts
Nordic Journal of Computing
Infinite trees and completely iterative theories: a coalgebraic view
Theoretical Computer Science
Busy and lazy FP with infinite objects
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
The semantics of lazy (and industrious) evaluation
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Classes of functions for computing on binary trees (Extended Abstract)
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
On the faithful regular extensions of iterative algebras
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
A constructive alternative to axiomatic data type definitions
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Data type specification: Parameterization and the power of specification techniques
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Control flow aspects of semantics directed compiling (Summary)
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
The structure of “data structures”
ACM '81 Proceedings of the ACM '81 conference
Reverse Engineering Legacy Information Systems for Internet Based Interoperation
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
A semantic theory for value-passing processes based on the late approach
Information and Computation
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
The external consistency of abstract data types
ACM SIGPLAN Notices
The algebraic structure of interfaces
Science of Computer Programming
Journal of Functional Programming
Syntactic composition of top-down tree transducers is short cut fusion
Mathematical Structures in Computer Science
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Iterative vs. regular factor algebras
ACM SIGACT News
Journal of Automata, Languages and Combinatorics
Rewriting-Based Techniques for Runtime Verification
Automated Software Engineering
Transformation selection for aptness-based web retrieval
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
High-level views on low-level representations
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
A verification methodology for concurrent software with synchronous communication
Formal methods and models for system design
Algebraic fusion of functions with an accumulating parameter and its improvement
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Infinite Unfolding and Transformations of Nondeterministic Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
The rewriting logic semantics project
Theoretical Computer Science
Algorithmic differentiation in Axiom
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Modular and generic programming with interpreterlib
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Database interoperability through state-based logical data independence
International Journal of Computer Applications in Technology
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Algebraic fusion of functions with an accumulating parameter and its improvement
Journal of Functional Programming
Proving Infinitary Normalization
Types for Proofs and Programs
A Mezei-Wright theorem for categorical algebras
Theoretical Computer Science
Closures in Binary Partial Algebras
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal semantics of programming languages: VDL
IBM Journal of Research and Development
Electronic Notes in Theoretical Computer Science (ENTCS)
The Rewriting Logic Semantics Project
Electronic Notes in Theoretical Computer Science (ENTCS)
A domain equation for bisimulation
Information and Computation
A survey of strategies in rule-based program transformation systems
Journal of Symbolic Computation
Distinguishing data structures and functions: the constructor calculus and functorial types
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Regular and algebraic words and ordinals
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
A probabilistic applied pi-calculus
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
On mathematical laws of software
Transactions on computational science II
Determinization of weighted finite automata over strong bimonoids
Information Sciences: an International Journal
Fundamenta Informaticae
Adjoint folds and unfolds: or: scything through the thicket of morphisms
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers
Electronic Notes in Theoretical Computer Science (ENTCS)
Infinitary Combinatory Reduction Systems
Information and Computation
From grammars and automata to algebras and coalgebras
CAI'11 Proceedings of the 4th international conference on Algebraic informatics
Revisiting information hiding: reflections on classical and nonclassical modularity
Proceedings of the 25th European conference on Object-oriented programming
A categorical semantics for inductive-inductive definitions
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Towards Effects in Mathematical Operational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a signal calculus for event-based synchronous languages
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Elementary algebraic specifications of the rational function field
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Interpolation for predefined types
Mathematical Structures in Computer Science
Relating tree series transducers and weighted tree automata
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
A generalized view on parsing and translation
IWPT '11 Proceedings of the 12th International Conference on Parsing Technologies
Formal aspects of and development environments for Montages
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
A document manipulation system based on natural semantics
Mathematical and Computer Modelling: An International Journal
Algebraic synchronization trees and processes
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Generic programming with adjunctions
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
Infinite Unfolding and Transformations of Nondeterministic Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Functional semantics of parsing actions, and left recursion elimination as continuation passing
Proceedings of the 14th symposium on Principles and practice of declarative programming
The ζ-Semantics: A Comprehensive Semantics for Functional Programs
Fundamenta Informaticae
Deciding the twins property for weighted tree automata over extremal semifields
ATANLP '12 Proceedings of the Workshop on Applications of Tree Automata Techniques in Natural Language Processing
A denotational model for instantaneous signal calculus
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Rational term rewriting revisited: decidability and confluence
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Adjoint folds and unfolds-An extended study
Science of Computer Programming
A Connection Between Concurrency and Language Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.01 |
Many apparently divergent approaches to specifying formal semantics of programming languages are applications of initial algebra semantics. In this paper an overview of initial algebra semantics is provided. The major technical feature is an initial continuous algebra which permits unified algebraic treatment of iterative and recursive semantic features in the same framework as more basic operations.