• Search: "Programming theory"

Showing 61 - 80 of 3,896

61

Probing the shape of the brown dwarf desert around main-sequence A-F-G-type stars using post-common-envelope WD-BD binaries
Chen, Zhangliang ; Chen, Yizhi ; Chen, Chen ; et al.

binaries: close brown dwarfs white dwarfs 天文学 天文学::恒星与银河系... Astronomy & Astrophysics …
Academic journal
Save to List
62

Towards declarative characterisation and negotiation of bindings
Hanssen, Øyvind
Proceedings of the 4th workshop on Reflective and adaptive middleware systems - ARM '05. :1-6

VDP::Mathematics and nat... VDP::Matematikk og natur... VDP::Mathematics and nat... VDP::Matematikk og natur... 0202 electrical engineer... VDP::Technology: 500::In... …
Academic journal
Save to List
63

Theory of semidefinite programming for Sensor Network Localization
SO, Anthony Man-Cho ; YINYU YE
Large-scale nonlinear and semidefinite programmingMathematical programming. 109(2-3):367-384

Control theory, operatio... Automatique, recherche o... Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn... …
Conference
Save to List
64

Approximating boolean functions by OBDDs
GRONEMEIER, Andre
29th symposium on mathematical foundations of computer science MFCS 2004Discrete applied mathematics. 155(2):194-209

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques …
Conference
Save to List
65

A primal-dual algorithm for computing Fisher equilibrium in the absence of gross substitutability property
GARG, Dinesh ; JAIN, Kamal ; TALWAR, Kunal ; et al.
Internet and Network EconomicsTheoretical computer science. 378(2):143-152

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Conference
Save to List
66

Uniqueness logic
HARRINGTON, Dana
Algebraic methods in language processingTheoretical computer science. 354(1):24-41

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Conference
Save to List
67

Transposing partial components : An exercise on coalgebraic refinement
BARBOSA, Luis S ; OLIVEIRA, José N
Formal methods for components and objectsTheoretical computer science. 365(1-2):2-22

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
68

Towards imperative modules : Reasoning about invariants and sharing of mutable state
NAUMANN, David A ; BARNETT, Mike
Formal methods for components and objectsTheoretical computer science. 365(1-2):143-168

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
69

The specification logic vZ
HENSON, Martin C ; DEUTSCH, Moshe ; KAJTAZI, Besnik
Derivative papers from 'Refine '05Formal aspects of computing. 18(3):364-395

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Conference
Save to List
70

The ideal of verified software
HOARE, Tony
Computer aided verification (18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006)0CAV 2006. :5-16

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
71

The design of the Boost interval arithmetic library
BRÖNNIMANN, Hervé ; MELQUIOND, Guillaume ; PION, Sylvain
Real numbers and computersTheoretical computer science. 351(1):111-118

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
72

The category-theoretic solution of recursive program schemes
MILIUS, Stefan ; MOSS, Lawrence S
Algebra and coalgebra in computer scienceTheoretical computer science. 366(1-2):3-59

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Conference
Save to List
73

State space reduction for process algebra specifications
GARAVEL, Hubert ; SERWE, Wendelin
Algebraic methodology and software technologyTheoretical computer science. 351(2):131-145

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
74

Securing the .NET programming model
KENNEDY, Andrew
Applied semanticsTheoretical computer science. 364(3):311-317

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
75

Resource control for synchronous cooperative threads
AMADIO, Roberto M ; DAL ZILIO, Silvano
Concurrency Theory (CONCUR 2004)Theoretical computer science. 358(2-3):229-254

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
76

Pseudo-distributive laws and axiomatics for variable binding
TANAKA, Miki ; POWER, John
Second ACM SIGPLAN workshop MEchanized Reasoning about Languages with varIable and Names (MERΛIN 2003)Higher-order and symbolic computation. 19(2-3):305-337

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Conference
Save to List
77

Overcoming performance barriers : Efficient verification techniques for logical frameworks
PIENTKA, Brigitte
Logic programming (22nd international conference, ICLP 2006)0ICLP 2006. :3-10

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
78

Modular strategies for recursive game graphs
ALUR, Rajeev ; LA TORRE, Salvatore ; MADHUSUDAN, P
Tools and algorithms for the construction and analysis of systems (TACAS 2003)Theoretical computer science. 354(2):230-249

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
79

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection
HICKEY, Jason ; NOGIN, Aleksey ; XIN YU ; et al.
Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (ICFP'06), September 18-20, 2006 - Portland, Oregon, USAACM SIGPLAN notices. 41(9):172-183

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences …
Conference
Save to List
80

Mechanising λ-calculus using a classical first order theory of terms with permutations
NORRISH, Michael
Second ACM SIGPLAN workshop MEchanized Reasoning about Languages with varIable and Names (MERΛIN 2003)Higher-order and symbolic computation. 19(2-3):169-195

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques... …
Conference
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter