• Search: "Programming theory"

Showing 161 - 180 of 3,896

161

Context-free languages via coalgebraic trace semantics
HASUO, Ichiro ; JACOBS, Bart
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :213-231

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
162

Computing dialectical trees efficiently in possibilistic defeasible logic programming
CHESNEVAR, Carlos I ; SIMARI, Guillermo R ; GODO, Lluis
LPNMR 2005 : logic programming and nonmonotonic reasoning (Diamante, 5-8 September 2005)Lecture notes in computer science. :158-171

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
163

Computations in space and space in computations
GIAVITTO, Jean-Louis ; MICHEL, Olivier ; COHEN, Julien ; et al.
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :137-152

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
164

Composable memory transactions
HARRIS, Tim ; MARLOW, Simon ; JONES, Simon Peyton ; et al.
PPoPP'05 (Proceedings of the 2005 ACM SIGPLAN symposium on principles and practice of parallel programming). :48-60

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
165

Component-based software engineering : The need to link methods and their theories
HE JIFENG ; XIAOSHAN LI ; ZHIMING LIU
Theoretical aspects of computing - ICTAC 2005 (Second international colloquium, Hanoi, Vietnam, October 17-21, 2005, proceedings)Lecture notes in computer science. :70-95

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
166

Complete symbolic reachability analysis using back-and-forth narrowing
THATI, Prasanna ; MESEGUER, José
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :379-394

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
167

Complete axioms for stateless connectors
BRUNI, Roberto ; LANESE, Ivan ; MONTANARI, Ugo
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :98-113

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
168

Chemical computing
DITTRICH, Peter
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :19-32

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
169

Cellular meta-programming over membranes
CIOBANU, Gabriel ; LUCANU, Dorel
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :196-206

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
170

Bisimilarity is not finitely based over BPA with interrupt
ACETO, Luca ; FOKKINK, Wan ; INGOLFSDOTTIR, Anna ; et al.
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :52-66

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
171

Bireachability and final multialgebras
WALICKI, Michal
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :408-423

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
172

Bio-inspired computing paradigms (natural computing)
PAUN, Gheorghe
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :155-160

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
173

Behavioral extensions of institutions
POPESCU, Andrei ; ROSU, Grigore
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :331-347

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
174

Autonomic runtime system for large scale parallel and distributed applications
JINGMEI YANG ; HUOPING CHEN ; BYOUNG UK KIM ; et al.
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :297-311

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
175

Autonomic computing : An overview
PARASHAR, Manish ; HARIRI, Salim
UPP 2004 : unconventional programming paradigms (15-17 September 2004, Mont Saint Michel, revised selected & invited papers)Lecture notes in computer science. :257-269

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
176

Automatic translation of serial to distributed code using CORBA event channels
PARSA, Saeed ; BUSHEHRIAN, Omid
Computer and information sciences (ISCIS 2005)0ISCIS 2005. :152-161

Computer science Informatique Telecommunications Télécommunications Sciences exactes et tech... Exact sciences and techn... …
Conference
Save to List
177

Argument-based expansion operators in possibilistic defeasible logic programming : Characterization and logical properties
CHESNEVAR, Carlos I ; SIMARI, Guillermo R ; GODO, Lluis ; et al.
Symbolic and quantitative approaches to reasoning with uncertainty (Barcelona, 6-8 July 2005)Lecture notes in computer science. :353-365

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
178

An assertion-based proof system for multithreaded Java
ABRAHAM, Erika ; DE BOER, Frank S ; DE ROEVER, Willem-Paul ; et al.
Formal Methods for Components and ObjectsTheoretical computer science. 331(2-3):251-290

Asie Asia Indonésie Indonesia Java Computer science …
Conference
Save to List
179

An algebraic framework for verifying the correctness of hardware with input and output : A formalization in HOL
FOX, Anthony
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :157-174

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
180

Algebra ∩ coalgebra = presheaves
ADAMEK, J
Algebra and coalgebra in computer science (Swansea, 3-6 September 2005)Lecture notes in computer science. :67-82

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter