• Suche: "Programming theory"

Treffer 201 - 220 von 3.896

201

Rewriting for Fitch style natural deductions
GEUVERS, Herman ; NEDERPELT, Rob
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :134-154

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
202

Research on edge detection method of infrared image based-on dynamic programming theory
YAN, Xiaoke ; SHI, Caicheng ; ZHAO, Baojun ; et al.
2004 7th International Conference on Signal Processing (ICSP'04). :1014-1017

Telecommunications Télécommunications Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
203

Querying unranked trees with stepwise tree automata
CARME, Julien ; NIEHREN, Joachim ; TOMMASI, Marc
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :105-118

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
204

Proving properties of term rewrite systems via logic programs
LIMET, Sébastien ; SALZER, Gernot
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :170-184

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
205

Prototyping generic Programming in Template Haskell
NORELL, Ulf ; JANSSON, Patrik
MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004)Lecture notes in computer science. :314-333

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
206

Programming with Transactional Coherence and Consistency (TCC)
HAMMOND, Lance ; CARLSTROM, Brian D ; WONG, Vicky ; et al.
Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-XI), October 9-13, 2004, Boston, MassachusettsACM SIGPLAN notices. 39(11):1-13

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
207

Probabilistic predicative programming
HEHNER, Eric C. R
MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004)Lecture notes in computer science. :169-185

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
208

Possible worlds and resources: the semantics of BI
PYM, David J ; O'HEARN, Peter W ; HONGSEOK YANG
Mathematical Foundations of Programming SemanticsTheoretical computer science. 315(1):257-305

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Konferenz
Zu den Favoriten
209

Optimizing generic functions
ALIMARINE, Artem ; SMETSERS, Sjaak
MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004)Lecture notes in computer science. :16-31

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
210

On the modularity of confluence in infinitary term rewriting
SIMONSEN, Jakob Grue
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :185-199

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
211

Object-oriented units of measurement
ALLEN, Eric ; CHASE, David ; LUCHANGCO, Victor ; et al.
Proceedings of the 2004 ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'04)ACM SIGPLAN notices. 39(10):384-403

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
212

Non-linear loop invariant generation using gröbner bases
SANKARANARAYANAN, Sriram ; SIPMA, Henny B ; MANNA, Zohar
Proceedings of the 2004 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004)ACM SIGPLAN notices. 39(1):318-329

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
213

Monadic Second-Order Unification is NP-complete
LEVY, Jordi ; SCHMIDT-SCHAUSS, Manfred ; VILLARET, Mateu
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :55-69

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
214

Modelling nondeterminism
MARTIN, Clare E ; CURTIS, Sharon A ; REWITZKY, Ingrid
MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004)Lecture notes in computer science. :228-251

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
215

Membrane calculus: A formal method for Grid transactions
ZHENGWEI QI ; CHENG FU ; DONGYU SHI ; et al.
GCC 2004 : grid and cooperative computing (Wuhan, 21-24 October 2004)Lecture notes in computer science. :73-80

Computer science Informatique Telecommunications Télécommunications Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
216

Matchbox: A tool for match-bounded string rewriting
WALDMANN, Johannes
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :85-94

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
217

MU-TERM: A tool for proving termination of context-sensitive rewriting
LUCAS, Salvador
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :200-209

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
218

Lazy Kleene algebra
MÖLLER, Bernhard
MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004)Lecture notes in computer science. :252-273

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
219

Isomorphisms of generic recursive polynomial types
FIORE, Marcelo
Proceedings of the 2004 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004)ACM SIGPLAN notices. 39(1):77-88

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Konferenz
Zu den Favoriten
220

Inferring type isomorphisms generically
ATANASSOW, Frank ; JEURING, Johan
MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004)Lecture notes in computer science. :32-53

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter