• Suche: "Logical programming environment"

Treffer 1 - 8 von 8

1

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 …
Konferenz
Zu den Favoriten
2

Compiler implementation in a formal logical framework
Hickey, Jason ; Nogin, Aleksey ; Granicz, Adam
Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding. :1-13

Verification 0202 electrical engineer... 02 engineering and techn... higher-order abstract sy... logical programming envi... Reliability …
Fachzeitschrift
Zu den Favoriten
3

A Computation Infrastructure for Knowledge-Based Development of Reliable Software Systems
Constable, Robert ; Kreitz, Christoph ; CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE
DTIC

Computer Programming and... Computer Systems SOFTWARE ENGINEERING COMPUTER PROGRAMMING ALGORITHMS COMPUTER NETWORKS …
Fachzeitschrift
Zu den Favoriten
4

High Confidence Reconfigurable Distributed Control
Hickey, Jason ; Hauser, John ; Murray, Richard ; et al.
DTIC AND NTIS

Flight Control and Instr... Computer Programming and... COMPUTER PROGRAMS FLIGHT CONTROL SYSTEMS FLIGHT TESTING REAL TIME …
Fachzeitschrift
Zu den Favoriten
5

An Open Logical Programming Environment. A Practical Framework for Sharing Formal Models
Constable, Robert L. ; Kreitz, Christoph ; CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE
DTIC AND NTIS

Computer Programming and... SOFTWARE ENGINEERING COMPUTER PROGRAMMING AUTOMATION COMPUTER LOGIC PROBLEM SOLVING …
Fachzeitschrift
Zu den Favoriten
6

A Computation Infrastructure for Knowledge-Based Development of Reliable Software Systems
CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE ; Constable, Robert ; Kreitz, Christoph ; et al.
DTIC

E-Ressource
Zu den Favoriten
7

High Confidence Reconfigurable Distributed Control
CALIFORNIA INST OF TECH PASADENA OFFICE OF SPONSORED RESEARCH ; Hickey, Jason ; Hauser, John ; et al.
DTIC AND NTIS

E-Ressource
Zu den Favoriten
8

An Open Logical Programming Environment. A Practical Framework for Sharing Formal Models
CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE ; Constable, Robert L. ; Kreitz, Christoph ; et al.
DTIC AND NTIS

E-Ressource
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter