Results 141 to 150 of about 1,138,309 (354)
Automation of Formal Verification of Programs in the Pifagor Language
Моделирование и анализ информационных систем, 2015 Nowadays, due to software sophistication, programs correctness is more often proved by means of formal verification. The method of deduction based on Hoare logic could be used for any programminglanguage and it has the capability of partial automation of ...
M. S. Ushakova, A. I. Legalov
doaj +1 more source
Set abstraction in functional and logic programming [PDF]
, 1989 Frank S. K. Silbermann, Bharat Jayaraman
openalex +1 more source
Certification of programs with computational effects
, 2014 In purely functional programming languages imperative features, more generally computational effects are prohibited. However, non-functional lan- guages do involve effects.
Ekici, Burak
core
Semantics for interactive high-order functional-logic programming [PDF]
, 1998 本研究の目的はインタラクションのある高階関数論理型の操作的、代数的、論理的、圏論的意味論を与えることである。それぞれの意味論は以下の目的のために重要であり、しかもそれぞれのそれぞれに対する正当性 ...Thesis (Ph. D. in Engineering)--University of Tsukuba, (A), no.
Hamana Makoto, 浜名 誠
core
Advanced Optical Materials, EarlyView.Demonstration of an electro‐optic phase shifter fabricated by inkjet printing liquid crystal on an integrated silicon photonics chip surface. On a completed silicon photonics wafer (including modulators, detectors, and metallization), the back‐end‐of‐line stack is opened up to inkjet‐print liquid crystal. A phase shift of 6 for 2.7 V is obtained within
Lukas Van Iseghem +10 more
wiley +1 more source
(Co)recursion in Logic Programming: Lazy vs Eager [PDF]
arXiv, 2014 CoAlgebraic Logic Programming (CoALP) is a dialect of Logic Programming designed to bring a more precise compile-time and run-time analysis of termination and productivity for recursive and corecursive functions in Logic Programming. Its second goal is to introduce guarded lazy (co)recursion akin to functional theorem provers into logic programming. In
arxiv
Functional inductive logic programming with queries to the user [PDF]
, 1993 Francesco Bergadano, Daniele Gunetti
openalex +1 more source
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems
, 1996 CIAO is an advanced programming environment supporting Logic and Constraint programming. It offers a simple concurrent kernel on top of which declarative and non-declarative extensions are added via librarles.
Bueno Carrillo, Francisco +6 more
core
Normalisierung und partielle Auswertung von funktional-logischen Programmen [PDF]
, 2016 This thesis deals with the development of a normalization scheme and a partial evaluator for the functional logic programming language Curry. The functional logic programming paradigm combines the two most important fields of declarative programming ...
Peemöller, Björn
core +1 more source
Advanced Theory and Simulations, EarlyView.This study presents a wave propagation‐based optimization strategy for asymmetric double‐layer Au gratings to improve infrared polarization selectivity. A logic‐based method efficiently determines single‐wavelength structures through analytical modeling, while a learning‐based approach utilizing an explainable neural network enables broadband ...
Ryuna Kang +4 more
wiley +1 more source