|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 40 publication records. Showing 40 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alan Jeffrey |
Preface.  |
HOOTS  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Helsen, Peter Thiemann 0001 |
Syntactic Type Soundness for the Region Calculus. |
HOOTS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Virga |
Efficient Substitution in Hoare Logic Expressions. |
HOOTS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Baldamus |
First-order Semantics for Higher-order Processes. |
HOOTS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo |
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion. |
HOOTS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuhiko Minamide |
A New Criterion for Safe Program Transformations. |
HOOTS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey (eds.) |
4th International Workshop on Higher Order Operational Techniques in Semantics, HOOTS 2000, Satellite to PLI 2000, Montreal, Canada, September 22, 2000 |
HOOTS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Andrew Moran, Søren B. Lassen, Simon L. Peyton Jones |
Imprecise Exceptions, Co-Inductively. |
HOOTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon 0001, Andrew M. Pitts |
Preface. |
HOOTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuhiko Minamide |
Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation. |
HOOTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörgen Gustavsson, David Sands 0001 |
A Foundation for Space-Safe Transformations of Call-by-Need Programs. |
HOOTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Belmina Dzafic, Frank Pfenning |
On proving syntactic properties of CPS programs. |
HOOTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | John Howard Eli Fiskio-Lasseter, Amr Sabry |
Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog. |
HOOTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenio Moggi, Fabrizio Palumbo |
Monadic Encapsulation of Effects: a Revised Approach. |
HOOTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Andrew Kennedy |
Monads, Effects and Transformations. |
HOOTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Neal Glew |
Object Closure Conversion. |
HOOTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Pankaj Kakkar, Michael W. Hicks, Jonathan T. Moore, Carl A. Gunter |
Specifying the PLAN Network Programming Langauge. |
HOOTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon 0001, Andrew M. Pitts (eds.) |
Third Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1999, Paris, France, September 30 - October 1, 1999 |
HOOTS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Luca Cardelli, Andrew D. Gordon 0001 |
Mobile Ambients. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Cédric Fournet, Georges Gonthier |
Secure Implementation of Channel Abstractions. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Husain Ibraheem, David A. Schmidt |
Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and "Higher-Order" Derivations. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippa Gardner |
A Type-theoretic Description of Action Calculi. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Dami |
Operational Subsumption, an Ideal Model of Subtyping. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon 0001, Andrew M. Pitts, Carolyn L. Talcott |
Preface. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Allen Stoughton |
An Operational Semantics Framework Supporting the Incremental Construction of Derivation Trees. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson |
Flow Logic and Operational Semantics. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Zena M. Ariola, Amr Sabry |
Correctness of Monadic State: An Imperative Call-by-Need Calculus. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Flatt, Matthias Felleisen |
Program Units as Higher-Order Modules. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Jeffrey |
Premonoidal categories and flow graphs. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Glynn Winskel |
An Operational Understanding of Bisimulation from Open Maps. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, John Hatcliff, Peter Thiemann 0001 |
Monadic Type Systems: Pure Type Systems for Impure Settings. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott F. Smith |
Specification Diagrams for Actor Systems. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Montanari, Marco Pistore |
An Introduction to History Dependent Automata. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Montanari, Carolyn L. Talcott |
Can Actors and pi-Agents Live Together? |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Sands |
Computing with Contexts: A simple approach. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Søren B. Lassen, Corin Pitcher |
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Gregory Morrisett, Robert Harper 0001 |
Typed Closure Conversion for Recursively-Defined Functions. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen N. Freund, John C. Mitchell |
A Type System For Object Initialization In the Java Bytecode Language. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew M. Pitts |
Parametric Polymorphism and Operational Equivalence. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon 0001, Andrew M. Pitts, Carolyn L. Talcott (eds.) |
Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997 |
HOOTS |
1997 |
DBLP BibTeX RDF |
|
Displaying result #1 - #40 of 40 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license