• Suche: "Programming theory"

Treffer 221 - 240 von 3.896

221

Inductive theorems for higher-order rewriting
AOTO, Takahito ; YAMADA, Toshiyuki ; TOYAMA, Yoshihito
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :269-284

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

Friends need a bit more: Maintaining invariants over shared state
BARNETT, Mike ; NAUMANN, David A
MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004)Lecture notes in computer science. :54-84

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

Forward reachability analysis of timed Petri nets
PAROSH AZIZ ABDULLA ; DENEUX, Johann ; MAHATA, Pritha ; et al.
FORMATS 2004 : formal techniques, modelling and analysis of timed and fault-tolerant systems (Grenoble, 22-24 September 2004)Lecture notes in computer science. :343-362

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
224

Formal online methods for voltage/frequency control in multiple clock domain microprocessors
QIANG WU ; PHILO JUANG ; MARTONOSI, Margaret ; 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):248-259

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

Efficient monitoring of safety properties
HAVELUND, Klaus ; ROSU, Grigore
International journal on software tools for technology transfer (Print). 6(2):158-173

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

Efficient λ-evaluation with interaction nets
MACKIE, Ian
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :155-169

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

Describing gen/kill static analysis techniques with Kleene algebra
FERNANDES, Therrezinha ; DESHARNAIS, Jules
MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004)Lecture notes in computer science. :110-128

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

Dependency pairs revisited
HIROKAWA, Nao ; MIDDELDORP, Aart
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :249-268

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

Deductive verification of UML models in TLPVS
ARONS, Tamarah ; HOOMAN, Jozef ; KUGLER, Hillel ; et al.
UML 2004 - the unified modeling languages (Lisbon, 11-15 October 2004)Lecture notes in computer science. :335-349

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

Constructing polymorphic programs with quotient types
ABBOTT, Michael ; ALTENKIRCH, Thorsten ; GHANI, Neil ; et al.
MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004)Lecture notes in computer science. :2-15

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

Computing schedules for multithreaded real-time programs using geometry
GERNER, Philippe ; THAO DANG
FORMATS 2004 : formal techniques, modelling and analysis of timed and fault-tolerant systems (Grenoble, 22-24 September 2004)Lecture notes in computer science. :325-342

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn... …
Konferenz
Zu den Favoriten
232

Compiling exceptions correctly
HUTTON, Graham ; WRIGHT, Joel
MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004)Lecture notes in computer science. :211-227

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

Chasing bottoms: A case study in program verification in the presence of partial and infinite values
DANIELSSON, Nils Anders ; JANSSON, Patrik
MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004)Lecture notes in computer science. :85-109

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

CLPS-B: A constraint solver to animate a B specification
BOUQUET, Fabrice ; LEGEARD, Bruno ; PEUREUX, Fabien
International journal on software tools for technology transfer (Print). 6(2):143-157

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

Böhm-like trees for term rewriting systems
KETEMA, Jeroen
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :233-248

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

Automated termination proofs with AProVE
GIESL, Jürgen ; THIEMANN, René ; SCHNEIDER-KAMP, Peter ; et al.
RTA 2004 : rewriting techniques and applications (Aachen, 3-5 June 2004)Lecture notes in computer science. :210-220

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

Augmenting types with unbounded demonic and angelic nondeterminacy
MORRIS, Joseph M
MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004)Lecture notes in computer science. :274-288

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

Approximating Boolean functions by OBDDs
GRONEMEIER, Andre
MFCS 2004 : mathematical foundations of computer science (Prague, 22-27 August 2004)Lecture notes in computer science. :251-262

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

Application-level checkpointing for shared memory programs
BRONEVETSKY, Greg ; MARQUES, Daniel ; PINGALI, Keshav ; 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):235-247

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

An injective language for reversible computation
MU, Shin-Cheng ; ZHENJIANG HU ; TAKEICHI, Masato
MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004)Lecture notes in computer science. :289-313

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