X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (66) 66
Book Chapter (59) 59
Conference Proceeding (56) 56
Magazine Article (6) 6
Book Review (3) 3
Book / eBook (1) 1
Dissertation (1) 1
Publication (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science, software engineering (40) 40
languages (22) 22
contracts (17) 17
design (16) 16
computer science (14) 14
interoperability (7) 7
programming languages (6) 6
racket (6) 6
behavioral specifications (5) 5
computer science, theory & methods (5) 5
higher-order functions (5) 5
predicate typing (5) 5
programming languages, compilers, interpreters (5) 5
programming techniques (5) 5
scheme (5) 5
java (4) 4
logics and meanings of programs (4) 4
programming (4) 4
random testing (4) 4
reliability (4) 4
software reliability (4) 4
artificial intelligence (3) 3
evaluation (3) 3
gradual typing (3) 3
macros (3) 3
mathematical logic and formal languages (3) 3
mirrors (3) 3
operational semantics (3) 3
parallelism (3) 3
programmierungssprache (3) 3
semantics (3) 3
set-based analysis (3) 3
software engineering (3) 3
static debugging (3) 3
access control (2) 2
algorithms (2) 2
augment (2) 2
authorization logic (2) 2
automated test generation (2) 2
behavioral contracts (2) 2
behavioral software contracts (2) 2
blame assignment (2) 2
blame tracking (2) 2
casts (2) 2
coercions (2) 2
compiler (2) 2
computer programming (2) 2
documentation (2) 2
dsl design (2) 2
empirical evaluation (2) 2
flussdiagramm (2) 2
functional programming (2) 2
garbage collection (2) 2
gesundheitsdienst (2) 2
higher-order programming (2) 2
inheritance (2) 2
inner (2) 2
intercession (2) 2
interposition (2) 2
introductory programming (2) 2
isa design (2) 2
lambda-calculus (2) 2
language (2) 2
language design (2) 2
libraries (2) 2
lightweight semantics engineering (2) 2
medical prescriptions (2) 2
medical programming languages (2) 2
methods (2) 2
modular analysis (2) 2
multi-language systems (2) 2
override (2) 2
parallel programming (2) 2
performance (2) 2
probabilistic spot checking (2) 2
programming language design (2) 2
proxies (2) 2
research (2) 2
runtime contracts (2) 2
runtime systems (2) 2
sequential control (2) 2
software engineering/programming and operating systems (2) 2
software testing (2) 2
specification (2) 2
specifications (2) 2
spezifikationssprache (2) 2
super (2) 2
theory (2) 2
timing speculation (2) 2
usage (2) 2
verification (2) 2
verordnung (2) 2
adb (1) 1
adp (1) 1
algebraic evaluation (1) 1
automatic data processing (1) 1
baugruppe (1) 1
berechtigungskontrolle (1) 1
bilgisayar programlama (1) 1
binding (1) 1
more...
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Journal of Functional Programming, ISSN 0956-7968, 2014, Volume 24, Issue 2-3, pp. 131 - 132
The 17th ACM SIGPLAN International Conference on Functional Programming (ICFP) took place on September 10–12, 2012 in Copenhagen, Denmark. After the... 
Journal Article
ACM Transactions on Programming Languages and Systems (TOPLAS), ISSN 0164-0925, 04/2009, Volume 31, Issue 3, pp. 1 - 44
Interoperability is big business, a fact to which .NET, the JVM, and COM can attest. Language designers are well aware of this, and they are designing... 
Operational semantics | interoperability | Interoperability | COMPUTER SCIENCE, SOFTWARE ENGINEERING | Languages | SEQUENTIAL CONTROL | Design engineering | Java (programming language) | Semantics | Representations | Programming languages | Standards | Business
Journal Article
Journal of Functional Programming, ISSN 0956-7968, 03/2012, Volume 22, Issue 2, pp. 181 - 216
Racket is a large language that is built mostly within itself. Unlike the usual approach taken by non-Lisp languages, the self-hosting of Racket is not a... 
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Journal Article
Science of Computer Programming, ISSN 0167-6423, 10/2018, Volume 164, pp. 49 - 65
This paper presents a Coq library that lifts an abstract yet precise notion of running-time into the type of a function. Our library is based on a monad that... 
Mechanized proofs | Running-time | Coq | Complexity | COMPUTER SCIENCE, SOFTWARE ENGINEERING | Libraries | Algorithms
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2009, Volume 5502, pp. 1 - 16
Conference Proceeding
ACM Transactions on Programming Languages and Systems (TOPLAS), ISSN 0164-0925, 08/2018, Volume 40, Issue 3, pp. 1 - 37
A medical prescription is a set of health care instructions that govern the plan of care for an individual patient, which may include orders for drug therapy,... 
empirical evaluation | medical prescriptions | DSL design | medical programming languages | Medical programming languages | Empirical evaluation | Medical prescriptions | COMPUTER SCIENCE, SOFTWARE ENGINEERING | SAFETY | VALIDATION | VISUAL ANALOG | HEALTH-CARE | Technology application | Usage | Algorithms | Prescription writing | Programming languages
Journal Article
Journal of Functional Programming, ISSN 0956-7968, 08/2017, Volume 27
Enumerations represented as bijections between the natural numbers and elements of some given type have recently garnered interest in property-based testing... 
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Journal Article
Leibniz International Proceedings in Informatics, LIPIcs, ISSN 1868-8969, 07/2015, Volume 37, pp. 4 - 27
Conference Proceeding
ACM Transactions on Programming Languages & Systems, ISSN 0164-0925, 04/2009, Volume 31, Issue 3, p. 12
We demonstrate our technique with a series of strategies for embedding a Scheme-like language into an ML-like language. We start by connecting very simple... 
Evaluation | Semantics | Interoperability
Journal Article
Leibniz International Proceedings in Informatics, LIPIcs, ISSN 1868-8969, 05/2017, Volume 71
Conference Proceeding
Journal of Functional Programming, ISSN 0956-7968, 3/2002, Volume 12, Issue 2, pp. 159 - 182
DrScheme is a programming environment for Scheme. It fully integrates a graphics-enriched editor, a parser for multiple variants of Scheme, a functional... 
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Journal Article
Higher-Order and Symbolic Computation, ISSN 1388-3690, 12/2012, Volume 25, Issue 2, pp. 209 - 253
We present a PLT Redex model of a substantial portion of the Racket virtual machine and bytecode verifier (formerly known as MzScheme), along with lessons... 
Computational Mathematics and Numerical Analysis | Computational Intelligence | Computer Science | Randomized testing | Bytecode verification | Symbolic and Algebraic Manipulation | Formal models | Mathematical Logic and Formal Languages
Journal Article
Journal of Functional Programming, ISSN 0956-7968, 1/2008, Volume 18, Issue 1, pp. 47 - 86
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised(5) Report on... 
COMPUTER SCIENCE, SOFTWARE ENGINEERING | SEQUENTIAL CONTROL
Journal Article
Journal of Functional Programming, ISSN 0956-7968, 03/2012, Volume 22, Issue 2, pp. 181 - 216
Racket is a large language that is built mostly within itself. Unlike the usual approach taken by non-Lisp languages, the self-hosting of Racket is not a... 
Towers | Environment management | Binding | Programming | Handles | Mathematical models | Libraries | Marketing
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2016, Volume 9613, pp. 144 - 162
Conference Proceeding
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2015, Volume 9032, pp. 383 - 405
This paper presents a generic method for randomly generating well-typed expressions. It starts from a specification of a typing judgment in PLT Redex and uses... 
Systemvetenskap | Information Science
Conference Proceeding
Journal of Functional Programming, ISSN 0956-7968, 7/2006, Volume 16, Issue 4-5, pp. 583 - 619
Among systems for creating slide presentations, the dominant ones offer essentially no abstraction capability. Slideshow represents our effort over the last... 
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Journal Article
Leibniz International Proceedings in Informatics, LIPIcs, ISSN 1868-8969, 05/2015, Volume 32, pp. 113 - 128
Conference Proceeding
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2014, Volume 8322, pp. 34 - 57
Conference Proceeding
2006, Lecture Notes in Computer Science, ISBN 9783540334385, Volume 3945, 16
Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and... 
Artificial Intelligence (incl. Robotics) | Programming Techniques | Programming Languages, Compilers, Interpreters | Logics and Meanings of Programs | Computer Science | Mathematical Logic and Formal Languages | COMPUTER SCIENCE, THEORY & METHODS
Book Chapter
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.