Works matching DE "DECLARATIVE programming languages"
Results: 62
An Efficient Scalable Runtime System for Macro Data Flow Processing Using S- Net.
- Published in:
- International Journal of Parallel Programming, 2014, v. 42, n. 6, p. 988, doi. 10.1007/s10766-013-0271-8
- By:
- Publication type:
- Article
Applications and extensions of Alloy: past, present and future.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 4, p. 915, doi. 10.1017/S0960129512000291
- By:
- Publication type:
- Article
PERFORMANCE EVALUATION AND TUNING IN AN ORACLE DBMS.
- Published in:
- Annals of DAAAM & Proceedings, 2010, p. 157
- By:
- Publication type:
- Article
The Layer-Oriented Approach to Declarative Languages for Biological Modeling.
- Published in:
- PLoS Computational Biology, 2012, v. 8, n. 5, p. 1, doi. 10.1371/journal.pcbi.1002521
- By:
- Publication type:
- Article
Lifted Reasoning for Combinatorial Counting.
- Published in:
- Journal of Artificial Intelligence Research, 2023, v. 76, p. 1, doi. 10.1613/jair.1.14062
- By:
- Publication type:
- Article
El uso de Prolog en el aula: de lógica a inteligencia artificial.
- Published in:
- Revista Vínculos, 2013, v. 10, n. 2, p. 289
- By:
- Publication type:
- Article
Typed quote/antiquote or: Compile-time parsing.
- Published in:
- Journal of Functional Programming, 2011, v. 21, n. 3, p. 219, doi. 10.1017/S0956796811000050
- By:
- Publication type:
- Article
Linear, bounded, functional pretty-printing.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 1, p. 1, doi. 10.1017/S0956796808006990
- By:
- Publication type:
- Article
The Nitrogen Erlang Web Framework.
- Published in:
- IEEE Internet Computing, 2012, v. 16, n. 6, p. 87, doi. 10.1109/MIC.2012.139
- By:
- Publication type:
- Article
Ontological Considerations When Modeling Missing Data With Relational Databases.
- Published in:
- Social Science Computer Review, 2014, v. 32, n. 6, p. 769, doi. 10.1177/0894439314521988
- By:
- Publication type:
- Article
GENERATORI PROGRAMSKOG KODA: RAZVOJ I PRAKTIČNA PRIMENA UPOTREBOM .NET PLATFORME.
- Published in:
- InfoM, 2014, n. 50, p. 44
- By:
- Publication type:
- Article
GUBS, a Behaviour-Based Language for Design in Synthetic Biology.
- Published in:
- Scientific Annals of Computer Science, 2013, v. 23, n. 1, p. 1, doi. 10.7561/SACS.2013.1.1
- By:
- Publication type:
- Article
Efficient approaches for multi-agent planning.
- Published in:
- Knowledge & Information Systems, 2019, v. 58, n. 2, p. 425, doi. 10.1007/s10115-018-1202-1
- By:
- Publication type:
- Article
Time prediction on multi-perspective declarative business processes.
- Published in:
- Knowledge & Information Systems, 2018, v. 57, n. 3, p. 655, doi. 10.1007/s10115-018-1180-3
- By:
- Publication type:
- Article
Exploiting maximal redundancy to optimize SQL queries.
- Published in:
- Knowledge & Information Systems, 2009, v. 20, n. 2, p. 187, doi. 10.1007/s10115-008-0156-0
- By:
- Publication type:
- Article
A Combined Approach based on automatic detection of Sensitive Attribute and Fragmentation to ensure Big Data security in Mongo data Store.
- Published in:
- Journal of Information Assurance & Security, 2018, v. 13, n. 1, p. 1
- By:
- Publication type:
- Article
Relational Databases with Ordered Relations.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 5, p. 587, doi. 10.1093/jigpal/jzi043
- By:
- Publication type:
- Article
Extending a Natural Language Interface with Geospatial Queries.
- Published in:
- IEEE Internet Computing, 2007, v. 11, n. 6, p. 82, doi. 10.1109/MIC.2007.124
- By:
- Publication type:
- Article
Reliability with Erlang.
- Published in:
- IEEE Internet Computing, 2007, v. 11, n. 6, p. 79, doi. 10.1109/MIC.2007.132
- By:
- Publication type:
- Article
Kata Soal Dalam Dialek Kedah.
- Published in:
- GEMA Online Journal of Language Studies, 2012, v. 12, n. 2, p. 475
- By:
- Publication type:
- Article
Big data, big decisions.
- Published in:
- EE: Evaluation Engineering, 2015, v. 54, n. 4, p. 4
- By:
- Publication type:
- Article
A suite of abstract domains for static analysis of string values.
- Published in:
- Software: Practice & Experience, 2015, v. 45, n. 2, p. 245, doi. 10.1002/spe.2218
- By:
- Publication type:
- Article
Ginga-NCL architecture for plug-ins.
- Published in:
- Software: Practice & Experience, 2013, v. 43, n. 4, p. 449, doi. 10.1002/spe.2144
- By:
- Publication type:
- Article
Questions similarity computation based on question classification.
- Published in:
- Application Research of Computers / Jisuanji Yingyong Yanjiu, 2014, v. 31, n. 4, p. 1090, doi. 10.3969/j.issn.1001-3695.2014.04.032
- By:
- Publication type:
- Article
Conceptual Graphs and First Order Logic.
- Published in:
- Computer Journal, 2000, v. 43, n. 1, p. 1, doi. 10.1093/comjnl/43.1.1
- By:
- Publication type:
- Article
The Answer Set Programming Competition.
- Published in:
- AI Magazine, 2012, v. 33, n. 4, p. 114, doi. 10.1609/aimag.v33i4.2448
- By:
- Publication type:
- Article
A cross-analysis framework for multi-source volunteered, crowdsourced, and authoritative geographic information: The case study of volunteered personal traces analysis against transport network data.
- Published in:
- Geo-Spatial Information Science, 2018, v. 21, n. 3, p. 257, doi. 10.1080/10095020.2017.1374703
- By:
- Publication type:
- Article
Investigating expressiveness and understandability of hierarchy in declarative business process models.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 3, p. 1081, doi. 10.1007/s10270-013-0356-2
- By:
- Publication type:
- Article
Data Mining: From Procedural to Declarative Approaches.
- Published in:
- New Generation Computing, 2015, v. 33, n. 2, p. 115, doi. 10.1007/s00354-015-0202-x
- By:
- Publication type:
- Article
pHood: Tool Description, Analysis Techniques, and Case Studies.
- Published in:
- New Generation Computing, 2014, v. 32, n. 1, p. 59, doi. 10.1007/s00354-014-0103-4
- By:
- Publication type:
- Article
A declarative approach for Java code instrumentation.
- Published in:
- Software Quality Journal, 2015, v. 23, n. 1, p. 143, doi. 10.1007/s11219-013-9220-4
- By:
- Publication type:
- Article
The Effects of Using a Nonprocedural Computer Language on Programmer Productivity.
- Published in:
- MIS Quarterly, 1985, v. 9, n. 2, p. 109, doi. 10.2307/249112
- By:
- Publication type:
- Article
Review on conversion of natural language queries into SQL queries.
- Published in:
- International Journal of Advanced Research in Computer Science, 2017, v. 8, n. 5, p. 1036
- By:
- Publication type:
- Article
HIGHER-ORDER ATTRIBUTE SEMANTICS OF FLAT DECLARATIVE LANGUAGES.
- Published in:
- Computing & Informatics, 2010, v. 29, n. 2, p. 251
- By:
- Publication type:
- Article
A Systematic Review of SQL-on-Hadoop by Using Compact Data Formats.
- Published in:
- Baltic Journal of Modern Computing, 2017, v. 5, n. 2, p. 233, doi. 10.22364/bjmc.2017.5.2.06
- By:
- Publication type:
- Article
A datalog-based computational model for coordination-free, data-parallel systems.
- Published in:
- Theory & Practice of Logic Programming, 2018, v. 18, n. 5/6, p. 874, doi. 10.1017/S147106841800042X
- By:
- Publication type:
- Article
Past and present (and future) of parallel and distributed computation in (constraint) logic programming.
- Published in:
- 2018
- By:
- Publication type:
- Editorial
Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper).
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 800, doi. 10.1017/S1471068417000424
- By:
- Publication type:
- Article
Representing hybrid automata by action language modulo theories.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 924, doi. 10.1017/S1471068417000412
- By:
- Publication type:
- Article
Achievements in answer set programming.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 961, doi. 10.1017/S1471068417000345
- By:
- Publication type:
- Article
Ticker: A system for incremental ASP-based stream reasoning.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 744, doi. 10.1017/S1471068417000370
- By:
- Publication type:
- Article
Program completion in the input language of GRINGO.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 855, doi. 10.1017/S1471068417000394
- By:
- Publication type:
- Article
When you must forget: Beyond strong persistence when forgetting in answer set programming.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 837, doi. 10.1017/S1471068417000382
- By:
- Publication type:
- Article
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 780, doi. 10.1017/S1471068417000254
- By:
- Publication type:
- Article
The third open answer set programming competition.
- Published in:
- Theory & Practice of Logic Programming, 2014, v. 14, n. 1, p. 117, doi. 10.1017/S1471068412000105
- By:
- Publication type:
- Article
Active integrity constraints and revision programming.
- Published in:
- Theory & Practice of Logic Programming, 2011, v. 11, n. 6, p. 905, doi. 10.1017/S1471068410000475
- By:
- Publication type:
- Article
Concurrent goal-based execution of Constraint Handling Rules.
- Published in:
- Theory & Practice of Logic Programming, 2011, v. 11, n. 6, p. 841, doi. 10.1017/S147106841000044X
- By:
- Publication type:
- Article
On nested simple recursion.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 5/6, p. 617, doi. 10.1007/s00153-011-0236-9
- By:
- Publication type:
- Article
A FORMAL MODEL FOR IMPLEMENTATION OF OR PARALLELISM.
- Published in:
- Economic Computation & Economic Cybernetics Studies & Research, 2009, v. 43, n. 2, p. 1
- By:
- Publication type:
- Article
The SQL Function XMLNEST to Generate Recursive XML Values from Relational Data.
- Published in:
- Journal of Information Science & Engineering, 2011, v. 27, n. 4, p. 1283
- By:
- Publication type:
- Article