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