Showing 81 - 100 of 3,896

81

Generic models for computational effects
POWER, John
Logic, language, information and computationTheoretical computer science. 364(2):254-269

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Conference
Save to List
82

Formal compiler construction in a logical framework
HICKEY, Jason ; NOGIN, Aleksey
Second ACM SIGPLAN workshop MEchanized Reasoning about Languages with varIable and Names (MERΛIN 2003)Higher-order and symbolic computation. 19(2-3):197-230

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

Formal and incremental construction of distributed algorithms : On the distributed reference counting algorithm
CANSELL, Dominique ; MERY, Dominique
Applied semanticsTheoretical computer science. 364(3):318-337

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

Formal analysis of PIN block attacks
STEEL, Graham
Automated reasoning for security protocol analysisTheoretical computer science. 367(1-2):257-270

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Conference
Save to List
85

Explicit substitutions and higher-order syntax
GHANI, Neil ; UUSTALU, Tarmo ; HAMANA, Makoto
Second ACM SIGPLAN workshop MEchanized Reasoning about Languages with varIable and Names (MERΛIN 2003)Higher-order and symbolic computation. 19(2-3):263-282

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Conference
Save to List
86

Dynamic frames : Support for framing, dependencies and sharing without restrictions
KASSIOS, Ioannis T
FM 2006 (formal methods)Lecture notes in computer science. :268-283

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

Differential interaction nets
EHRHARD, T ; REGNIER, L
Logic, language, information and computationTheoretical computer science. 364(2):166-195

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Conference
Save to List
88

Creol : A type-safe object-oriented model for distributed concurrent systems
BROCH JOHNSEN, Einar ; OWE, Olaf ; YU, Ingrid Chieh
Formal methods for components and objectsTheoretical computer science. 365(1-2):23-66

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

CSP-CASL : A new integration of process algebra and algebraic specification
ROGGENBACH, Markus
Algebraic methods in language processingTheoretical computer science. 354(1):42-71

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

Backtracking games and inflationary fixed points
DAWAR, Anuj ; GRÄDEL, Erich ; KREUTZER, Stephan
Automata, languages and programming: logic and semantics (ICALP-B 2004)Theoretical computer science. 350(2-3):174-187

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Conference
Save to List
91

Associating synchronization constraints with data in an object-oriented language
VAZIRI, Mandana ; TIP, Frank ; DOLBY, Julian
Conference record of POPL® 2006: The 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages®, January 11-13, 2006, Charleston, South Carolina, USAACM SIGPLAN notices. 41(1):334-345

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

An initial algebra approach to term rewriting systems with variable binders
HAMANA, Makoto
Second ACM SIGPLAN workshop MEchanized Reasoning about Languages with varIable and Names (MERΛIN 2003)Higher-order and symbolic computation. 19(2-3):231-262

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Conference
Save to List
93

Adaptive velocity threshold particle swarm optimization
ZHIHUA CUI ; JIANCHAO ZENG ; GUOJI SUN
Rough sets and knowledge technology (First international conference, RSKT 2006, Chongqing, China, July 24-26, 2006)Lecture notes in computer science. :327-332

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

About permutation algebras, (pre)sheaves and named sets
GADDUCCI, Fabio ; MICULAN, Marino ; MONTANARI, Ugo
Second ACM SIGPLAN workshop MEchanized Reasoning about Languages with varIable and Names (MERΛIN 2003)Higher-order and symbolic computation. 19(2-3):283-304

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Conference
Save to List
95

A concurrent lambda calculus with futures
NIEHREN, J ; SCHWINGHAMMER, J ; SMOLKA, G
Applied semanticsTheoretical computer science. 364(3):338-356

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Conference
Save to List
96

A categorical model for the geometry of interaction
HAGHVERDI, Esfandiar ; SCOTT, Philip
Automata, languages and programming: logic and semantics (ICALP-B 2004)Theoretical computer science. 350(2-3):252-274

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Conference
Save to List
97

A calculus of coroutines
LAIRD, J
Automata, languages and programming: logic and semantics (ICALP-B 2004)Theoretical computer science. 350(2-3):275-291

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Conference
Save to List
98

X10 : An object-oriented approach to non-uniform cluster computing
CHARLES, Philippe ; DONAWA, Christopher ; EBCIOGLU, Kemal ; et al.
Proceedings of the 20th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'05)ACM SIGPLAN notices. 40(10):519-538

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

Weak linearization of the lambda calculus
ALVES, Sandra ; FLORIDO, Mario
Applied Semantics: Selected TopicsTheoretical computer science. 342(1):79-103

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Conference
Save to List
100

Weak bisimilarity and regularity of context-free processes is EXPTIME-hard
MAYR, Richard
Expressiveness in ConcurrencyTheoretical computer science. 330(3):553-575

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

Filter