Proving memory management invariants for a language based on linear logic
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
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
Delimiting the scope of effects
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
In-place updates in the presence of control operators
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Isolating side effects in sequential languages
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Polymorphic queries across sets, bags, and lists
ACM SIGPLAN Notices
An introduction to Remy's fast polymorphic record projection
ACM SIGMOD Record
Caching intermediate results for program improvement
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Normalizing incomplete databases
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A theory of weak bisimulation for core CML
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Programming language semantics
ACM Computing Surveys (CSUR)
A natural semantics for Eiffel dynamic binding
ACM Transactions on Programming Languages and Systems (TOPLAS)
A framework for programming denotational semantics in C++
ACM SIGPLAN Notices
A demand-driven set-based analysis
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Denotational semantics using an operationally-based term model
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Static typing for dynamic messages
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Secure information flow in a multi-threaded imperative language
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Experience with an analytic approach to teaching programming languages
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Reasoning about Java classes: preliminary report
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Static caching for incremental computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal semantics and interpreters in a principles of programming languages course
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Trace-Based Abstract Interpretation of Operational Semantics
Lisp and Symbolic Computation
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Semantics study and reality of computing
ACM Computing Surveys (CSUR)
Reasoning with higher-order abstract syntax in a logical framework
ACM Transactions on Computational Logic (TOCL)
Two applications of analytic functors
Theoretical Computer Science - Special issue on theories of types and proofs
Developing a stage lighting system from scratch
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
A normal form for XML documents
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A fully abstract denotational semantics for the π-calculus
Theoretical Computer Science
On the Yoneda completion of a quasi-metric space
Theoretical Computer Science
Information and Computation
Tagless staged interpreters for typed languages
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Nonmonotonic consequences in default domain theory
Annals of Mathematics and Artificial Intelligence
Automated Software Engineering
Journal of Logic, Language and Information
Semantics of Untyped Functional Programs
Programming and Computing Software
Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering
Higher-Order and Symbolic Computation
PolyTOIL: A type-safe polymorphic object-oriented language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Nominal Logic: A First Order Theory of Names and Binding
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Design and Correctness of Program Transformations Based on Control-Flow Analysis
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Semantics of Agent Communication: An Introduction
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Directions in Functional Programming for Real(-Time) Applications
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
On the Semantics of Refinement Calculi
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Eliminating Dead Code on Recursive Data
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Axiomatizing the Least Fixed Point Operation and Binary Supremum
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Runtime Behavior of Conversion Interpretation of Subtyping
IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
Fine Control of Demand in Haskell
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Recursive Function Definition over Coinductive Types
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Eliminating dead code on recursive data
Science of Computer Programming - Special issue on static analysis (SAS'99)
A relational account of call-by-value sequentiality
Information and Computation - Special issue: LICS'97
Real PCF extended with integration
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Games and Full Abstraction for FPC
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Syntactic Considerations on Recursive Types
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Complete Axioms for Categorical Fixed-Point Operators
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Structure-preserving binary relations for program abstraction
The essence of computation
The semantics and execution of a synchronous block-diagram language
Science of Computer Programming
Information and Computation
A characterization of partial metrizability: domains are quantifiable
Theoretical Computer Science - Topology in computer science
ACM Transactions on Programming Languages and Systems (TOPLAS)
Nominal logic, a first order theory of names and binding
Information and Computation - TACS 2001
From λ to π; or, Rediscovering continuations
Mathematical Structures in Computer Science
A computational formalization for partial evaluation
Mathematical Structures in Computer Science
Intersection types and bounded polymorphism
Mathematical Structures in Computer Science
TinkerType: a language for playing with formal systems
Journal of Functional Programming
Journal of Functional Programming
Higher-order functional languages and intensional logic
Journal of Functional Programming
A theory of weak bisimulation for Core CML
Journal of Functional Programming
Journal of Functional Programming
Foundations for Programming Languages by John C. Mitchell, MIT Press, 1996.
Journal of Functional Programming
First-order functional languages and intensional logic
Journal of Functional Programming
A normal form for XML documents
ACM Transactions on Database Systems (TODS)
Practical semantic analysis of web sites and documents
Proceedings of the 13th international conference on World Wide Web
On the proper role of coercion in semantic typing
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 2
Two-level languages for program optimization
Theoretical Computer Science - Mathematical foundations of programming semantics
The correspondence between partial metrics and semivaluations
Theoretical Computer Science - Mathematical foundations of programming semantics
Semantics of the reFLect language
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
A compositional logic for polymorphic higher-order functions
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
From process logic to program logic
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Strong normalisation in the π-calculus
Information and Computation
A Denotational Semantics for Deliberation Dialogues
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
A relational model of non-deterministic dataflow
Mathematical Structures in Computer Science
Pattern matching as cut elimination
Theoretical Computer Science
Theoretical Computer Science
The largest Cartesian closed category of domains, considered constructively
Mathematical Structures in Computer Science
Programming language semantics
Encyclopedia of Computer Science
Subtyping, recursion, and parametric polymorphism in kernel fun
Information and Computation
A logical analysis of aliasing in imperative higher-order functions
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
The logic of demand in Haskell
Journal of Functional Programming
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Exploring an information-based approach to computation and computational complexity
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Alpha-structural recursion and induction
Journal of the ACM (JACM)
On the expressive power of the loop language
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The best interval representations of t-norms and automorphisms
Fuzzy Sets and Systems
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
On the relations between monadic semantics
Theoretical Computer Science
Improved typings for probabilistic noninterference in a multi-threaded language
Journal of Computer Security
A logical analysis of aliasing in imperative higher-order functions
Journal of Functional Programming
Complete Laziness: a Natural Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantically linear programming languages
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Information systems revisited – the general continuous case
Theoretical Computer Science
Trust '08 Proceedings of the 1st international conference on Trusted Computing and Trust in Information Technologies: Trusted Computing - Challenges and Applications
Semantics in Data and Knowledge Bases
Semantics in Data and Knowledge Bases
Operational domain theory and topology of sequential programming languages
Information and Computation
A semantic framework for metamodel-based languages
Automated Software Engineering
Formalizing Operational Semantic Specifications in Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Abstract Interpretation From a Denotational-semantics Perspective
Electronic Notes in Theoretical Computer Science (ENTCS)
Categories of Timed Stochastic Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
A Purely Definitional Universal Domain
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Achieving information flow security through monadic control of effects
Journal of Computer Security - 18th IEEE Computer Security Foundations Symposium (CSF 18)
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular verification of security protocol code by typing
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Subtyping recursion and parametric polymorphism in kernel fun
Information and Computation
Sequentiality and the π-calculus
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Stable computational semantics of conflict-free rewrite systems (partial orders with duplication)
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Binding in Nominal Equational Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Computationally sound verification of source code
Proceedings of the 17th ACM conference on Computer and communications security
Refinement types for secure implementations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Foundations of uncertain-data integration
Proceedings of the VLDB Endowment
A semantics for lazy assertions
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Program logics for homogeneous meta-programming
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Behavior abstraction in malware analysis
RV'10 Proceedings of the First international conference on Runtime verification
Incomplete information and certain answers in general data models
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Mappings, maps and tables: towards formal semantics for associations in UML2
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Descriptive and relative completeness of logics for higher-order functions
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
A simple semantics for polymorphic recursion
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
A denotational semantics for deliberation dialogues
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Alpha-structural recursion and induction
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Inverse-limit and topological aspects of abstract interpretation
Theoretical Computer Science
Semantics of model views for information exchanges using the industry foundation class schema
Advanced Engineering Informatics
A generic model for state-based agent systems
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Implicit arguments: event modification or option type categories?
AC'11 Proceedings of the 18th Amsterdam colloquim conference on Logic, Language and Meaning
Functional semantics of parsing actions, and left recursion elimination as continuation passing
Proceedings of the 14th symposium on Principles and practice of declarative programming
Coinductive Axiomatization of Recursive Type Equality and Subtyping
Fundamenta Informaticae
A Simple Adequate Categorical Model for PCF, II
Fundamenta Informaticae
Implementing conformiq Qtronic
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Enhancing UML extensions with operational semantics behaviored profiles with templates
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
An equational approach to secure multi-party computation
Proceedings of the 4th conference on Innovations in Theoretical Computer Science
When is naive evaluation possible?
Proceedings of the 32nd symposium on Principles of database systems
Optimizing monitoring of finite state properties through monitor compaction
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
An observationally complete program logic for imperative higher-order functions
Theoretical Computer Science
Representations of Algebraic Domains and Algebraic L-domains by Information Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Computer Security - Foundational Aspects of Security
Hi-index | 0.01 |