BABEL
Edit Page
Report
Scan day: 16 February 2014 UTC
18
Virus safety - good
Description: Operational semantics based on lazy narrowing; provides some higher-order features.
MOVES: Software Modeling and Verification (Info 2) MOVES: Software Modeling and Verification Die funktional-logische Programmiersprache BABEL Integration funktionaler und logischer Sprachen Funktionale und Logik-Programmiersprachen bieten gegenüber den konventionellen Programmiersprachen viele Vorteile und sind vor allem für Anwendungen in der symbolischen Datenverarbeitung wichtig. Man fasst sie unter dem Oberbegriff
Size: 421 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | MOVES: Software Modeling and Verification (Info 2) |
| Keywords: | |
| Description: | |
| IP-address: | 137.226.118.107 |
WHOIS Info
| NS | |
| WHOIS | Status: connect |
| Date | Changed: 2010-03-19T16:17:12+01:00 Changed: 2005-01-24T19:29:11+01:00 Changed: 2002-01-17T14:29:34+01:00 |