Publicação

Compiling the π-calculus into a Multithreaded Typed Assembly Language

Detalhes bibliográficos
Autores principais:	Tiago Cogumbreiro
Outros Autores:	Francisco Martins; Vasco T. Vasconcelos
Assunto:	Computer Science
Ano:	2008
País:	Portugal
Tipo de documento:	artigo
Tipo de acesso:	acesso a metadados
Instituição associada:	Universidade de Lisboa
Idioma:	inglês
Origem:	Repositório da Universidade de Lisboa

Registos relacionados

Compiling the π - calculus into a multithreaded typed assembly language
por: Garcia, Tiago Soares Cogumbreiro
Publicado em: (2009)

Compiling the $\pi$-calculus into a Multithreaded Typed Assembly Language
por: Cogumbreiro, Tiago
Publicado em: (2008)

COMPILING THE pi-CALCULUS INTO A MULTITHREADED TYPED ASSEMBLY LANGUAGE
por: Garcia, Tiago Soares Cogumbreiro
Publicado em: (2009)

Compiling the pi-calculus into a multi-threaded typed assembly language
por: Tiago Cogumbreiro
Publicado em: (2008)

Session Types for Linear Multithreaded Functional Programming
por: Vasco T. Vasconcelos
Publicado em: (2009)

Type-directed compilation for multicore programming
por: Kohei Honda
Publicado em: (2008)

Multithreading Strategies for Replicated Objects
por: Jörg Domaschka
Publicado em: (2008)

Revisiting Deterministic Multithreading Strategies
por: Jörg Domaschka
Publicado em: (2007)

Multithreaded Tabling for Logic Programming
por: Miguel João Gonçalves Areias
Publicado em: (2015)

Session-based Type Discipline for Pi Calculus with Matching
por: Marco Giunti
Publicado em: (2009)

Gopi: compiling linear and static channels in go
por: Giunti, Marco
Publicado em: (2020)

Session Types for Functional Multithreading
por: Vasconcelos, Vasco T.
Publicado em: (2005)

Session-Based Compilation Framework for Multicore Programming
por: Nobuko Yoshida
Publicado em: (2009)

Computing π(x): the combinatorial method
por: Silva, Tomás Oliveira e
Publicado em: (2006)

Behavioural theory at work: Program transformations in a service-centred calculus
por: Luis Cruz-Filipe
Publicado em: (2008)

π···π interactions in aromatic systems: effect of distance and molecular size
por: Nuno Alexandre Sousa Dias
Publicado em: (2023)

Multithreading RTOS processor design
por: Gomes, Tiago Agostinho da Silva
Publicado em: (2015)

ONTODL+: an ontology description language and its compiler
por: Dias, Alexandre Costa
Publicado em: (2021)

A compilation of experimental data on the mechanical properties and microstructural features of Ti-alloys
por: Salvador, Camilo A. F.
Publicado em: (2022)

Compiling Quantamorphisms for the IBM Q Experience
por: Neri, Ana
Publicado em: (2022)

Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited - Two Systems for Higher-Order Session Communication,
por: Nobuko Yoshida
Publicado em: (2007)

A formal treatment of the role of verified compilers in secure computation
por: Almeida, José Bacelar
Publicado em: (2022)

Large language models: compilers for the 4th generation of programming languages?
por: Marcondes, Francisco Supino
Publicado em: (2023)

Bringing Hardware Multithreading to the Real-Time Domain
por: Gomes, Tiago
Publicado em: (2016)

Multitarget Compilation Techniques for Generating Efficient OpenCL Code from Matrix-Oriented Computations
por: Luis Alexandre Cubal dos Reis
Publicado em: (2020)

Cooperative testing of multithreaded Java applications
por: Simões, Miguel Ângelo Marques
Publicado em: (2014)

An architecture for the compilation of persistent polymorphic reflective higher-order languages
por: Lopes, João António Correia
Publicado em: (1997)

Calculus of variations of Herglotz type
por: Santos, Simão Pedro Silva
Publicado em: (2017)

Variable-Order Fractional Scale Calculus
por: Valério, Duarte
Publicado em: (2023)

Visual Reflection: Language, Action and Feedback
por: L. Carriço
Publicado em: (1999)

Depending on session-typed processes
por: Toninho, Bernardo
Publicado em: (2018)

An algebra of behavioural types
por: Ravara, António
Publicado em: (2012)

Dia do π
por: Gomes, Cláudio
Publicado em: (2025)

A Language Modeling Approach for Classification of Audio Music
por: Gonçalo Marques
Publicado em: (2009)

Compiler Front-end for the IEC 61131-3 v3 Languages
por: Bruno Gonçalves Silva
Publicado em: (2017)

Is it Portuguese? Language detection in large document collections
por: Bruno Martins
Publicado em: (2001)

Scalable multithreading in a low latency myrinet cluster
por: Alves, Albano
Publicado em: (2002)

Spoken Language Technologies Applied to Digital Talking Books
por: Trancoso I.
Publicado em: (2006)

Computer-assisted independent study in multivariate calculus
por: Descalço, Luís
Publicado em: (2015)

Π-Π stacking stabilized polymeric micelles for hydrophobic drug delivery in the treatment of leishmaniasis
por: Alves, Ana G. Gomes
Publicado em: (2025)