Strictness analysis and denotational abstract interpretation
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Compiling strictness into streams
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A variation of conceptual graphs: an object-oriented approach
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Abstract continuations: a mathematical semantics for handling full jumps
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Continuations may be unreasonable
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Intensions and extensions in a reflective tower
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
A collecting interpretation of expressions
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The semantics of program dependence
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Reasoning about continuations with control effects
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
A denotational semantics of inheritance and its correctness
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Binding time analysis for high order untyped functional languages
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
On the relations computable by a class of concurrent automata
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Replacing function parameters by global variables
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Set abstraction in functional and logic programming
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Static and dynamic semantics processing
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A dynamic extent control operator for partial continuations
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parameter-passing and the lambda calculus
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Collecting interpretations of expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Laboratory activities for studying the formal semantics of programming languages
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
The design, implementation, and use of DSTutor: a tutoring system for denotational semantics
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Parameterized partial evaluation
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
A semantics-directed partitioning of a processor architecture
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
SPARE: A Development Environment for Program Analysis Algorithms
IEEE Transactions on Software Engineering
Abstract interpretation in weak powerdomains
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Proving the correctness of storage representations
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Generating a compiler for a lazy language by partial evaluation
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
CPS-transformation after strictness analysis
ACM Letters on Programming Languages and Systems (LOPLAS)
Normal forms and conservative properties for query languages over collection types
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Partial evaluation of general parsers
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Towards efficient partial evaluation
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Semantics for null extended nested relations
ACM Transactions on Database Systems (TODS)
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Denotational semantics of a calculator
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Parameterized partial evaluation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Path analysis and the optimization of nonstrict functional languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Denotational abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A generic account of continuation-passing styles
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the semantic diversity of delegation-based programming languages
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Compiler correctness for parallel languages
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Bananas in space: extending fold and unfold to exponential types
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Programming language semantics
ACM Computing Surveys (CSUR)
A framework for programming denotational semantics in C++
ACM SIGPLAN Notices
ISO/IEC 10514–1, the standard for Modula-2: process aspects
ACM SIGPLAN Notices
Two for the price of one: composing partial evaluation and compilation
Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation
Automatic parallelization of object-oriented programming languages using tuple space
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
An Automatic Program Generator for Multi-Level Specialization
Lisp and Symbolic Computation
Programming languages for mobile code
ACM Computing Surveys (CSUR)
Reading and writing mathematics: the MAVIS project
Assets '98 Proceedings of the third international ACM conference on Assistive technologies
A systematic study of functional language implementations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fold and unfold for program semantics
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
A Consistent Causality-Based View on a Timed Process AlgebraIncluding Urgent Interactions
Formal Methods in System Design - Special issue: industrial critical systems
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
A domain specific language framework for non-visual browsing of complex HTML structures
Assets '00 Proceedings of the fourth international ACM conference on Assistive technologies
Static and Dynamic Program Compilation by Interpreter Specialization
Higher-Order and Symbolic Computation
Proceedings of the 2001 ACM symposium on Applied computing
Denotational semantics for agent communication language
Proceedings of the fifth international conference on Autonomous agents
An indexed model of recursive types for foundational proof-carrying code
ACM Transactions on Programming Languages and Systems (TOPLAS)
The derivation of functional equivalents of imperative programs
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Concatenate, reverse and map vanish for free
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
What design heuristics may enhance the utility of a formal specification?
SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Polytypic data conversion programs
Science of Computer Programming
Search Heuristics for Box Decomposition Methods
Journal of Global Optimization
CPS Translations and Applications: The Cube and Beyond
Higher-Order and Symbolic Computation
A Foreword to ‘Fundamental Concepts in ProgrammingLanguages’
Higher-Order and Symbolic Computation
Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering
Higher-Order and Symbolic Computation
Composing programming languages by combining action-semantics modules
Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
Type-Directed Partial Evaluation
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Semantics-Based Filtering: Logic Programming's Killer App?
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
A New Framework for Testing Real-Time Software
COMPSAC '00 24th International Computer Software and Applications Conference
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Reducing the Memory Complexity of Type-Inference Algorithms
ICICS '02 Proceedings of the 4th International Conference on Information and Communications Security
Semantics of Agent Communication: An Introduction
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Calculating Functional Programs
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Index Design for Structured Documents Based on Abstraction
DASFAA '99 Proceedings of the Sixth International Conference on Database Systems for Advanced Applications
Enhanced Control Flow Graphs in Montages
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
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
Specification of an Active Database System Application Using Dynamic Relation Nets
CL '00 Proceedings of the First International Conference on Computational Logic
Integrating Domain Specific Language Design in the Software Life Cycle
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Safeness of Make-Based Incremental Recompilation
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Calculating functional programs
Algebraic and coalgebraic methods in the mathematics of program construction
"-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems
CSB '02 Proceedings of the IEEE Computer Society Conference on Bioinformatics
The Translator Pattern - External Functionality with Homomorphic Mappings
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
A functional correspondence between evaluators and abstract machines
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Foundational proof checkers with small witnesses
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Free theorems in the presence of seq
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
From λ to π; or, Rediscovering continuations
Mathematical Structures in Computer Science
Combinators for program generation
Journal of Functional Programming
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Understanding expression simplification
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Transformation by interpreter specialisation
Science of Computer Programming - Special issue on program transformation
An operational semantics for Scheme
ACM SIGPLAN Lisp Pointers
Proceedings of the 2005 ACM symposium on Applied computing
Programming language semantics
Encyclopedia of Computer Science
A denotational semantics for stateflow
Proceedings of the 5th ACM international conference on Embedded software
Haskell server pages through dynamic loading
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
Performance modeling and analysis of software architectures: an aspect-oriented UML based approach
Science of Computer Programming - Special issue on system and software architectures(IWSSA'04)
The logic of demand in Haskell
Journal of Functional Programming
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
Proof Methods for Corecursive Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
The Impact of seq on Free Theorems-Based Program Transformations
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Effectiveness of a language implementation project in building appreciation for formal specification
Journal of Computing Sciences in Colleges - Papers of the twelfth annual CCSC Northeastern Conference
The rewriting logic semantics project
Theoretical Computer Science
A stepwise approach to developing languages for SIP telephony service creation
Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications
Staging telephony service creation: a language approach
Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications
An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models
Electronic Notes in Theoretical Computer Science (ENTCS)
On to formal semantics for path expression pointcuts
Proceedings of the 2008 ACM symposium on Applied computing
A meta-model semantics for structural constraints in ODP computational language
SMO'06 Proceedings of the 6th WSEAS International Conference on Simulation, Modelling and Optimization
A meta-model syntax for structural constraints in ODP enterprise language
SMO'06 Proceedings of the 6th WSEAS International Conference on Simulation, Modelling and Optimization
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation
SAS '08 Proceedings of the 15th international symposium on Static Analysis
Asynchronous Exceptions as an Effect
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
A rewriting logic approach to operational semantics
Information and Computation
Dynamic reordering of alternatives for definite logic programs
Computer Languages, Systems and Structures
The worker/wrapper transformation
Journal of Functional Programming
Relational Semantics Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
Optimistic parallel discrete relaxation
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Peano Structures and the Semantics of Iteration
Electronic Notes in Theoretical Computer Science (ENTCS)
Provably Correct Code Generation: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
The Rewriting Logic Semantics Project
Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Applet verification strategies for RAM-constrained devices
ICISC'02 Proceedings of the 5th international conference on Information security and cryptology
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Meta-modelling syntax and semantics of structural concepts for open networked enterprises
ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part III
VDM semantics of programming languages: combinators and monads
Formal methods and hybrid real-time systems
Inter-deriving semantic artifacts for object-oriented programming
Journal of Computer and System Sciences
Terminological cycles in KL-ONE-based knowledge representation languages
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Advanced modelling made simple with the Gmodel metalanguage
Proceedings of the First International Workshop on Model-Driven Interoperability
Formally specified type checkers for domain specific languages: experience report
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Semantics of UML models for dynamic behavior: a survey of different approaches
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
OCL for the ODP information viewpoint specifications
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
The rewriting logic semantics project: a progress report
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Deductive multi-valued model checking
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Static detection of access anomalies in ada95
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
The predicate-minimizing logic MIN
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
A rational deconstruction of landin's SECD machine
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Towards provably correct code generation via horn logical continuation semantics
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Semantic querying of mathematical web service descriptions
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
An expressive aspect language for system applications with arachne
Transactions on Aspect-Oriented Software Development I
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
Integrating architecture description languages: a semantics-based approach
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
An algebraic basis for specifying and enforcing access control in security systems
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Denotational semantics and refinement
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Facilitating modular property-preserving extensions of programming languages
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
A scheme for defining partial higher-order functions by recursion
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Modular composition of language features through extensions of semantic language models
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Formal aspects of and development environments for Montages
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Lenient evaluation is neither strict nor lazy
Computer Languages
Towards the formal specification and verification of maple programs
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Towards modular compilers for effects
TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
Reasoning about i/o in functional programs
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
The Impact of seq on Free Theorems-Based Program Transformations
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Proof Methods for Corecursive Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
The rewriting logic semantics project: A progress report
Information and Computation
| Hi-index | 0.00 |