×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [declarative specification]
Documents
1 FWO Research Network Foundations of Software Evolution Research Meeting Friday, January 18, 2002 Vrije Universiteit Brussel Brussels, Belgium
215 views
Documents
Type-based termination analysis with disjunctive invariants Dimitrios Vytiniotis, MSR Cambridge with Byron Cook (MSR Cambridge) and Ranjit Jhala (UCSD)
220 views
Technology
Ipaw12 datalog paper talk
315 views
Technology
Model-Based Simulation of SOAP Web Services From Temporal Logic Specifications (Talk @ ICECCS 2011)
1.339 views
Documents
February 25, 2005 Bluespec-2: Designing with Rules Arvind Computer Science & Artificial Intelligence Lab Massachusetts
213 views
Documents
1 Scaling Up Data Intensive Science to Campus Grids Douglas Thain Clemson University 25 Septmber 2009
215 views
Documents
Graphic Designers Who Program as Informal CS Learners
27 views
Documents
Ontology Merging and Aligning Ali Rahnama
[email protected]
215 views
Documents
1 DL.Org (Digital Library Interoperability, Best Practices and Modeling Foundations) Functionality Working Group Mtg 29-30 June 2009, Athens “Functionality
221 views
Documents
FORMAL METHODS Prolog April 2 & 6, 2015. Formal Methods Programming Languages Imperative Declarative ProceduralData Abstraction C … Objects Modules Ada
217 views