Abstract interpretation of functional languages : from theory to practice

Abstract interpretation of functional languages : from theory to practice

Bibliographic Details
Main Author:	Hunt, Sebastian
Published:	Imperial College London 1991
Subjects:	004
Online Access:	https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.718315

Similar Items

Abstract interpretation and the parallel evaluation of functional languages
by: Burn, Geoffrey Livingston
Published: (1987)

A λ-calculus interpreter and its relationship to algorithmic languages
by: Livingstone, Ian Kirkland
Published: (1974)

Groups, formal language theory and decidability
by: Jones, Sam Anthony Mark
Published: (2015)

Network traffic classification : from theory to practice
by: Carela Español, Valentín
Published: (2014)

Abstraction and structure in knowledge discovery in databases
by: Corzo, F. A.
Published: (2011)

Multilayered abstractions for partial differential equations
by: Markall, Graham
Published: (2013)

Abstract hoare logic
by: Mathiesen, Erik Arne
Published: (2007)

Exploiting data-parallelism in functional languages
by: Jouret, Guido Karel
Published: (1991)

Scalable abstractions for general-purpose parallel computation
by: Hanlon, James W.
Published: (2014)

Set- and graph-theoretic investigations in abstract argumentation
by: Spanring, C.
Published: (2017)

Building abstractable story components with institutions and tropes
by: Thompson, Matthew
Published: (2018)

Abstract machines for dynamic computation
by: Walton, Christopher D.
Published: (2001)

Productive and efficient computational science through domain-specific abstractions
by: Rathgeber, Florian
Published: (2014)

Developments in abstract and assumption-based argumentation and their application in logic programming
by: Schulz, Claudia
Published: (2017)

Safe reinforcement learning using formally verified abstract policies
by: Mason, George
Published: (2018)

Orchestrating high performance services : theory and practice
by: Keenan, Anthony
Published: (2015)

HybridLF : a system for reasoning in higher-order abstract syntax
by: Furniss, Amy Elizabeth
Published: (2015)

Testing equivalences and fully abstract models for communication processes
by: De Nicola, Rocco
Published: (1986)

Finite-state abstractions for probabilistic computation tree logic
by: Wagner, Daniel
Published: (2011)

Computer architecture : description and interpretation
by: Fernandes, E. S. T.
Published: (1982)

Interpreting document collections with topic models
by: Aletras, Nikolaos
Published: (2014)

A study of an abstract associative processor in a set-manipulation environment
by: Pollard, Richard
Published: (1977)

Static analysis by abstract interpretation of functional temporal properties of programs
by: Urban, Caterina
Published: (2015)

Incremental program transformation using abstract parallel machines
by: Goodman, Joy Ai-Leen
Published: (2002)

Raising the level of abstraction : simulation of large chip multiprocessors running multithreaded applications
by: Rico Carro, Alejandro
Published: (2013)

Interpreting biomedical data via deep neural networks
by: Antoniades, Andreas
Published: (2018)

Corpus linguistics and language learning : bootstrapping linguistic knowledge and resources from text
by: Atwell, Eric Steven
Published: (2008)

On The Design of Chorded Languages
by: Petrounias, Alexis
Published: (2009)

The language of collaborative tagging
by: Togia, Theodosia
Published: (2015)

Ontological interpretation of network monitoring data
by: Napier, Ian
Published: (2014)

Méthodes par abstraction et extraction pour le résumé de conversations orales issues de centres d’appels téléphoniques
by: Trione, Jérémy
Published: (2017)

Generating program animators from programming language semantics
by: Berry, Dave
Published: (1990)

Supercompilation for call-by-need languages
by: Bolingbroke, Maximilian Conroy
Published: (2013)

Expressive power of graph languages
by: Antonopoulos, Timos
Published: (2009)

Meta-language in logic programming
by: Eshghi, Kave
Published: (1987)

An object-oriented language and architecture
by: Stow, P. J.
Published: (1990)

Interpretation and mining of statistical machine learning (Q)SAR models for toxicity prediction
by: Webb, Samuel J.
Published: (2015)

Relationships for object-oriented programming languages
by: Wren, Alisdair Stuart
Published: (2007)

Artist-programmers and programming languages for the arts
by: McLean, Christopher Alex
Published: (2011)

A digital system design language
by: Shahdad, Boroumand
Published: (1974)

Cannot write session to /tmp/vufind_sessions/sess_fv0j0odqtkhmmgsv8529252a88